Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lustre.AbsLustre

Description

The abstract syntax of language Lustre.

Documentation

data BoolSpec Source #

Instances

Instances details

Read BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS BoolSpec Source # readList :: ReadS [BoolSpec] Source # readPrec :: ReadPrec BoolSpec Source # readListPrec :: ReadPrec [BoolSpec] Source #
Show BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolSpec -> ShowS Source # show :: BoolSpec -> String Source # showList :: [BoolSpec] -> ShowS Source #
Eq BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolSpec -> BoolSpec -> Bool Source # (/=) :: BoolSpec -> BoolSpec -> Bool Source #
Ord BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolSpec -> BoolSpec -> Ordering Source # (<) :: BoolSpec -> BoolSpec -> Bool Source # (<=) :: BoolSpec -> BoolSpec -> Bool Source # (>) :: BoolSpec -> BoolSpec -> Bool Source # (>=) :: BoolSpec -> BoolSpec -> Bool Source # max :: BoolSpec -> BoolSpec -> BoolSpec Source # min :: BoolSpec -> BoolSpec -> BoolSpec Source #
Print BoolSpec Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> BoolSpec -> Doc Source #

data Op1Pre Source #

Constructors

Op1Once
Op1Pre
Op1YtoPre
Op1ZtoPre
Op1Hist
Op1Y
Op1Not
Op1Bang

Instances

Instances details

Read Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS Op1Pre Source # readList :: ReadS [Op1Pre] Source # readPrec :: ReadPrec Op1Pre Source # readListPrec :: ReadPrec [Op1Pre] Source #
Show Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op1Pre -> ShowS Source # show :: Op1Pre -> String Source # showList :: [Op1Pre] -> ShowS Source #
Eq Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op1Pre -> Op1Pre -> Bool Source # (/=) :: Op1Pre -> Op1Pre -> Bool Source #
Ord Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op1Pre -> Op1Pre -> Ordering Source # (<) :: Op1Pre -> Op1Pre -> Bool Source # (<=) :: Op1Pre -> Op1Pre -> Bool Source # (>) :: Op1Pre -> Op1Pre -> Bool Source # (>=) :: Op1Pre -> Op1Pre -> Bool Source # max :: Op1Pre -> Op1Pre -> Op1Pre Source # min :: Op1Pre -> Op1Pre -> Op1Pre Source #
Print Op1Pre Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> Op1Pre -> Doc Source #

data Op2In Source #

Constructors

Op2And
Op2Amp
Op2Or
Op2Impl
Op2NumOp NumOp2In
Op2NumCmp BoolNumOp
Op2InPre

Instances

Instances details

Read Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS Op2In Source # readList :: ReadS [Op2In] Source # readPrec :: ReadPrec Op2In Source # readListPrec :: ReadPrec [Op2In] Source #
Show Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op2In -> ShowS Source # show :: Op2In -> String Source # showList :: [Op2In] -> ShowS Source #
Eq Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op2In -> Op2In -> Bool Source # (/=) :: Op2In -> Op2In -> Bool Source #
Ord Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op2In -> Op2In -> Ordering Source # (<) :: Op2In -> Op2In -> Bool Source # (<=) :: Op2In -> Op2In -> Bool Source # (>) :: Op2In -> Op2In -> Bool Source # (>=) :: Op2In -> Op2In -> Bool Source # max :: Op2In -> Op2In -> Op2In Source # min :: Op2In -> Op2In -> Op2In Source #
Print Op2In Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> Op2In -> Doc Source #

data Op2Pre Source #

Constructors

Op2SI
Op2OT

Instances

Instances details

Read Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS Op2Pre Source # readList :: ReadS [Op2Pre] Source # readPrec :: ReadPrec Op2Pre Source # readListPrec :: ReadPrec [Op2Pre] Source #
Show Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op2Pre -> ShowS Source # show :: Op2Pre -> String Source # showList :: [Op2Pre] -> ShowS Source #
Eq Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op2Pre -> Op2Pre -> Bool Source # (/=) :: Op2Pre -> Op2Pre -> Bool Source #
Ord Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op2Pre -> Op2Pre -> Ordering Source # (<) :: Op2Pre -> Op2Pre -> Bool Source # (<=) :: Op2Pre -> Op2Pre -> Bool Source # (>) :: Op2Pre -> Op2Pre -> Bool Source # (>=) :: Op2Pre -> Op2Pre -> Bool Source # max :: Op2Pre -> Op2Pre -> Op2Pre Source # min :: Op2Pre -> Op2Pre -> Op2Pre Source #
Print Op2Pre Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> Op2Pre -> Doc Source #

data NumExpr Source #

Constructors

NumExprNum Integer
NumExprId Ident
NumExprPar NumExpr
NumExprOp2In NumExpr NumOp2In NumExpr

Instances

Instances details

Read NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS NumExpr Source # readList :: ReadS [NumExpr] Source # readPrec :: ReadPrec NumExpr Source # readListPrec :: ReadPrec [NumExpr] Source #
Show NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> NumExpr -> ShowS Source # show :: NumExpr -> String Source # showList :: [NumExpr] -> ShowS Source #
Eq NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: NumExpr -> NumExpr -> Bool Source # (/=) :: NumExpr -> NumExpr -> Bool Source #
Ord NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: NumExpr -> NumExpr -> Ordering Source # (<) :: NumExpr -> NumExpr -> Bool Source # (<=) :: NumExpr -> NumExpr -> Bool Source # (>) :: NumExpr -> NumExpr -> Bool Source # (>=) :: NumExpr -> NumExpr -> Bool Source # max :: NumExpr -> NumExpr -> NumExpr Source # min :: NumExpr -> NumExpr -> NumExpr Source #
Print NumExpr Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> NumExpr -> Doc Source #

data NumOp2In Source #

Constructors

NumOp2Plus
NumOp2Minus
NumOp2Mult

Instances

Instances details

Read NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS NumOp2In Source # readList :: ReadS [NumOp2In] Source # readPrec :: ReadPrec NumOp2In Source # readListPrec :: ReadPrec [NumOp2In] Source #
Show NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> NumOp2In -> ShowS Source # show :: NumOp2In -> String Source # showList :: [NumOp2In] -> ShowS Source #
Eq NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: NumOp2In -> NumOp2In -> Bool Source # (/=) :: NumOp2In -> NumOp2In -> Bool Source #
Ord NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: NumOp2In -> NumOp2In -> Ordering Source # (<) :: NumOp2In -> NumOp2In -> Bool Source # (<=) :: NumOp2In -> NumOp2In -> Bool Source # (>) :: NumOp2In -> NumOp2In -> Bool Source # (>=) :: NumOp2In -> NumOp2In -> Bool Source # max :: NumOp2In -> NumOp2In -> NumOp2In Source # min :: NumOp2In -> NumOp2In -> NumOp2In Source #
Print NumOp2In Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> NumOp2In -> Doc Source #

data BoolNumOp Source #

Constructors

BoolNumOp2Eq
BoolNumOp2Ne
BoolNumOp2Le
BoolNumOp2Lt
BoolNumOp2Gt
BoolNumOp2Ge

Instances

Instances details

Read BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS BoolNumOp Source # readList :: ReadS [BoolNumOp] Source # readPrec :: ReadPrec BoolNumOp Source # readListPrec :: ReadPrec [BoolNumOp] Source #
Show BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolNumOp -> ShowS Source # show :: BoolNumOp -> String Source # showList :: [BoolNumOp] -> ShowS Source #
Eq BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolNumOp -> BoolNumOp -> Bool Source # (/=) :: BoolNumOp -> BoolNumOp -> Bool Source #
Ord BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolNumOp -> BoolNumOp -> Ordering Source # (<) :: BoolNumOp -> BoolNumOp -> Bool Source # (<=) :: BoolNumOp -> BoolNumOp -> Bool Source # (>) :: BoolNumOp -> BoolNumOp -> Bool Source # (>=) :: BoolNumOp -> BoolNumOp -> Bool Source # max :: BoolNumOp -> BoolNumOp -> BoolNumOp Source # min :: BoolNumOp -> BoolNumOp -> BoolNumOp Source #
Print BoolNumOp Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> BoolNumOp -> Doc Source #

data BoolConst Source #

Constructors

BoolConstTrue
BoolConstFalse
BoolConstFTP

Instances

Instances details

Read BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS BoolConst Source # readList :: ReadS [BoolConst] Source # readPrec :: ReadPrec BoolConst Source # readListPrec :: ReadPrec [BoolConst] Source #
Show BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolConst -> ShowS Source # show :: BoolConst -> String Source # showList :: [BoolConst] -> ShowS Source #
Eq BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolConst -> BoolConst -> Bool Source # (/=) :: BoolConst -> BoolConst -> Bool Source #
Ord BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolConst -> BoolConst -> Ordering Source # (<) :: BoolConst -> BoolConst -> Bool Source # (<=) :: BoolConst -> BoolConst -> Bool Source # (>) :: BoolConst -> BoolConst -> Bool Source # (>=) :: BoolConst -> BoolConst -> Bool Source # max :: BoolConst -> BoolConst -> BoolConst Source # min :: BoolConst -> BoolConst -> BoolConst Source #
Print BoolConst Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> BoolConst -> Doc Source #

newtype Ident Source #

Constructors

Ident String

Instances

Instances details

IsString Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods fromString :: String -> Ident Source #
Read Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS Ident Source # readList :: ReadS [Ident] Source # readPrec :: ReadPrec Ident Source # readListPrec :: ReadPrec [Ident] Source #
Show Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Ident -> ShowS Source # show :: Ident -> String Source # showList :: [Ident] -> ShowS Source #
Eq Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Ident -> Ident -> Bool Source # (/=) :: Ident -> Ident -> Bool Source #
Ord Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Ident -> Ident -> Ordering Source # (<) :: Ident -> Ident -> Bool Source # (<=) :: Ident -> Ident -> Bool Source # (>) :: Ident -> Ident -> Bool Source # (>=) :: Ident -> Ident -> Bool Source # max :: Ident -> Ident -> Ident Source # min :: Ident -> Ident -> Ident Source #
Print Ident Source #
Instance details Defined in Language.Lustre.PrintLustre Methods prt :: Int -> Ident -> Doc Source #

BoolSpecPar BoolSpec
BoolSpecConstI Integer
BoolSpecConstD Double
BoolSpecConstB BoolConst
BoolSpecSignal Ident
BoolSpecOp1Pre Op1Pre BoolSpec
BoolSpecOp2In BoolSpec Op2In BoolSpec
BoolSpecOp2Pre Op2Pre BoolSpec BoolSpec
BoolSpecOp2OT NumExpr NumExpr BoolSpec
BoolSpecOp2HT NumExpr NumExpr BoolSpec
BoolSpecOp2ST NumExpr NumExpr BoolSpec BoolSpec