Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- expr :: Expr -> CodeExpr
- realInterval :: RealInterval Expr Expr -> RealInterval CodeExpr CodeExpr
- constraint :: ConstraintE -> Constraint CodeExpr
- class CanGenCode e where
- toCodeExpr :: e -> CodeExpr
Documentation
realInterval :: RealInterval Expr Expr -> RealInterval CodeExpr CodeExpr Source #
Convert RealInterval
Expr
Expr
s into RealInterval
CodeExpr
CodeExpr
s.
constraint :: ConstraintE -> Constraint CodeExpr Source #
Convert constrained expressions (ConstraintE
) into Constraint''CodeExpr
s.
class CanGenCode e where Source #
toCodeExpr :: e -> CodeExpr Source #
Instances
CanGenCode Expr Source # | |
Defined in Language.Drasil.CodeExpr.Convert toCodeExpr :: Expr -> CodeExpr Source # | |
CanGenCode Literal Source # | |
Defined in Language.Drasil.CodeExpr.Convert toCodeExpr :: Literal -> CodeExpr Source # |