| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Drasil.Code.CodeExpr.Convert
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 Exprs into RealInterval CodeExpr CodeExprs.
constraint :: ConstraintE -> Constraint CodeExpr Source #
Convert constrained expressions (ConstraintE) into Constraint''CodeExprs.
class CanGenCode e where Source #
Methods
toCodeExpr :: e -> CodeExpr Source #
Instances
| CanGenCode Expr Source # | |
Defined in Drasil.Code.CodeExpr.Convert Methods toCodeExpr :: Expr -> CodeExpr Source #  | |
| CanGenCode Literal Source # | |
Defined in Drasil.Code.CodeExpr.Convert Methods toCodeExpr :: Literal -> CodeExpr Source #  | |