Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Language.SMV.AbsSMV
Description
The abstract syntax of language SMV.
Documentation
Constructors
Instances
Read BoolSpec Source # | |
Show BoolSpec Source # | |
Eq BoolSpec Source # | |
Ord BoolSpec Source # | |
Defined in Language.SMV.AbsSMV | |
Print BoolSpec Source # | |
Constructors
NumId Ident | |
NumConstI Integer | |
NumConstD Double | |
NumAdd NumExpr AdditiveOp NumExpr | |
NumMult NumExpr MultOp NumExpr |
Instances
Read NumExpr Source # | |
Show NumExpr Source # | |
Eq NumExpr Source # | |
Ord NumExpr Source # | |
Defined in Language.SMV.AbsSMV | |
Print NumExpr Source # | |
data AdditiveOp Source #
Instances
Read AdditiveOp Source # | |
Defined in Language.SMV.AbsSMV | |
Show AdditiveOp Source # | |
Defined in Language.SMV.AbsSMV | |
Eq AdditiveOp Source # | |
Defined in Language.SMV.AbsSMV Methods (==) :: AdditiveOp -> AdditiveOp -> Bool Source # (/=) :: AdditiveOp -> AdditiveOp -> Bool Source # | |
Ord AdditiveOp Source # | |
Defined in Language.SMV.AbsSMV Methods compare :: AdditiveOp -> AdditiveOp -> Ordering Source # (<) :: AdditiveOp -> AdditiveOp -> Bool Source # (<=) :: AdditiveOp -> AdditiveOp -> Bool Source # (>) :: AdditiveOp -> AdditiveOp -> Bool Source # (>=) :: AdditiveOp -> AdditiveOp -> Bool Source # max :: AdditiveOp -> AdditiveOp -> AdditiveOp Source # min :: AdditiveOp -> AdditiveOp -> AdditiveOp Source # | |
Print AdditiveOp Source # | |
Defined in Language.SMV.PrintSMV |
Instances
Read MultOp Source # | |
Show MultOp Source # | |
Eq MultOp Source # | |
Ord MultOp Source # | |
Print MultOp Source # | |
Constructors
BoolConstTrue | |
BoolConstFalse | |
BoolConstFTP | |
BoolConstLAST |
Instances
Read BoolConst Source # | |
Show BoolConst Source # | |
Eq BoolConst Source # | |
Ord BoolConst Source # | |
Defined in Language.SMV.AbsSMV | |
Print BoolConst Source # | |
Instances
Read Number Source # | |
Show Number Source # | |
Eq Number Source # | |
Ord Number Source # | |
Print Number Source # | |
Instances
Read Op1Name Source # | |
Show Op1Name Source # | |
Eq Op1Name Source # | |
Ord Op1Name Source # | |
Defined in Language.SMV.AbsSMV | |
Print Op1Name Source # | |