Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.Lustre.AbsLustre
Description
The abstract syntax of language Lustre.
Documentation
Constructors
Instances
Read BoolSpec Source # | |
Show BoolSpec Source # | |
Eq BoolSpec Source # | |
Ord BoolSpec Source # | |
Defined in Language.Lustre.AbsLustre | |
Print BoolSpec Source # | |
Instances
Read Op1Pre Source # | |
Show Op1Pre Source # | |
Eq Op1Pre Source # | |
Ord Op1Pre Source # | |
Print Op1Pre Source # | |
Instances
Read Op2Pre Source # | |
Show Op2Pre Source # | |
Eq Op2Pre Source # | |
Ord Op2Pre Source # | |
Print Op2Pre Source # | |
Constructors
NumExprNum Integer | |
NumExprId Ident | |
NumExprPar NumExpr | |
NumExprOp2In NumExpr NumOp2In NumExpr |
Instances
Read NumExpr Source # | |
Show NumExpr Source # | |
Eq NumExpr Source # | |
Ord NumExpr Source # | |
Defined in Language.Lustre.AbsLustre | |
Print NumExpr Source # | |
Constructors
NumOp2Plus | |
NumOp2Minus | |
NumOp2Mult |
Instances
Read NumOp2In Source # | |
Show NumOp2In Source # | |
Eq NumOp2In Source # | |
Ord NumOp2In Source # | |
Defined in Language.Lustre.AbsLustre | |
Print NumOp2In Source # | |
Instances
Read BoolNumOp Source # | |
Show BoolNumOp Source # | |
Eq BoolNumOp Source # | |
Ord BoolNumOp Source # | |
Defined in Language.Lustre.AbsLustre | |
Print BoolNumOp Source # | |
Constructors
BoolConstTrue | |
BoolConstFalse | |
BoolConstFTP |
Instances
Read BoolConst Source # | |
Show BoolConst Source # | |
Eq BoolConst Source # | |
Ord BoolConst Source # | |
Defined in Language.Lustre.AbsLustre | |
Print BoolConst Source # | |