| 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 # | |