Safe Haskell	None
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 readList :: ReadS [BoolSpec] readPrec :: ReadPrec BoolSpec readListPrec :: ReadPrec [BoolSpec]
Show BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolSpec -> ShowS show :: BoolSpec -> String showList :: [BoolSpec] -> ShowS
Eq BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolSpec -> BoolSpec -> Bool (/=) :: BoolSpec -> BoolSpec -> Bool
Ord BoolSpec Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolSpec -> BoolSpec -> Ordering (<) :: BoolSpec -> BoolSpec -> Bool (<=) :: BoolSpec -> BoolSpec -> Bool (>) :: BoolSpec -> BoolSpec -> Bool (>=) :: BoolSpec -> BoolSpec -> Bool max :: BoolSpec -> BoolSpec -> BoolSpec min :: BoolSpec -> BoolSpec -> BoolSpec
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 readList :: ReadS [Op1Pre] readPrec :: ReadPrec Op1Pre readListPrec :: ReadPrec [Op1Pre]
Show Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op1Pre -> ShowS show :: Op1Pre -> String showList :: [Op1Pre] -> ShowS
Eq Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op1Pre -> Op1Pre -> Bool (/=) :: Op1Pre -> Op1Pre -> Bool
Ord Op1Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op1Pre -> Op1Pre -> Ordering (<) :: Op1Pre -> Op1Pre -> Bool (<=) :: Op1Pre -> Op1Pre -> Bool (>) :: Op1Pre -> Op1Pre -> Bool (>=) :: Op1Pre -> Op1Pre -> Bool max :: Op1Pre -> Op1Pre -> Op1Pre min :: Op1Pre -> Op1Pre -> Op1Pre
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 readList :: ReadS [Op2In] readPrec :: ReadPrec Op2In readListPrec :: ReadPrec [Op2In]
Show Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op2In -> ShowS show :: Op2In -> String showList :: [Op2In] -> ShowS
Eq Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op2In -> Op2In -> Bool (/=) :: Op2In -> Op2In -> Bool
Ord Op2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op2In -> Op2In -> Ordering (<) :: Op2In -> Op2In -> Bool (<=) :: Op2In -> Op2In -> Bool (>) :: Op2In -> Op2In -> Bool (>=) :: Op2In -> Op2In -> Bool max :: Op2In -> Op2In -> Op2In min :: Op2In -> Op2In -> Op2In
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 readList :: ReadS [Op2Pre] readPrec :: ReadPrec Op2Pre readListPrec :: ReadPrec [Op2Pre]
Show Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Op2Pre -> ShowS show :: Op2Pre -> String showList :: [Op2Pre] -> ShowS
Eq Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Op2Pre -> Op2Pre -> Bool (/=) :: Op2Pre -> Op2Pre -> Bool
Ord Op2Pre Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Op2Pre -> Op2Pre -> Ordering (<) :: Op2Pre -> Op2Pre -> Bool (<=) :: Op2Pre -> Op2Pre -> Bool (>) :: Op2Pre -> Op2Pre -> Bool (>=) :: Op2Pre -> Op2Pre -> Bool max :: Op2Pre -> Op2Pre -> Op2Pre min :: Op2Pre -> Op2Pre -> Op2Pre
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 readList :: ReadS [NumExpr] readPrec :: ReadPrec NumExpr readListPrec :: ReadPrec [NumExpr]
Show NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> NumExpr -> ShowS show :: NumExpr -> String showList :: [NumExpr] -> ShowS
Eq NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: NumExpr -> NumExpr -> Bool (/=) :: NumExpr -> NumExpr -> Bool
Ord NumExpr Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: NumExpr -> NumExpr -> Ordering (<) :: NumExpr -> NumExpr -> Bool (<=) :: NumExpr -> NumExpr -> Bool (>) :: NumExpr -> NumExpr -> Bool (>=) :: NumExpr -> NumExpr -> Bool max :: NumExpr -> NumExpr -> NumExpr min :: NumExpr -> NumExpr -> NumExpr
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 readList :: ReadS [NumOp2In] readPrec :: ReadPrec NumOp2In readListPrec :: ReadPrec [NumOp2In]
Show NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> NumOp2In -> ShowS show :: NumOp2In -> String showList :: [NumOp2In] -> ShowS
Eq NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: NumOp2In -> NumOp2In -> Bool (/=) :: NumOp2In -> NumOp2In -> Bool
Ord NumOp2In Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: NumOp2In -> NumOp2In -> Ordering (<) :: NumOp2In -> NumOp2In -> Bool (<=) :: NumOp2In -> NumOp2In -> Bool (>) :: NumOp2In -> NumOp2In -> Bool (>=) :: NumOp2In -> NumOp2In -> Bool max :: NumOp2In -> NumOp2In -> NumOp2In min :: NumOp2In -> NumOp2In -> NumOp2In
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 readList :: ReadS [BoolNumOp] readPrec :: ReadPrec BoolNumOp readListPrec :: ReadPrec [BoolNumOp]
Show BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolNumOp -> ShowS show :: BoolNumOp -> String showList :: [BoolNumOp] -> ShowS
Eq BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolNumOp -> BoolNumOp -> Bool (/=) :: BoolNumOp -> BoolNumOp -> Bool
Ord BoolNumOp Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolNumOp -> BoolNumOp -> Ordering (<) :: BoolNumOp -> BoolNumOp -> Bool (<=) :: BoolNumOp -> BoolNumOp -> Bool (>) :: BoolNumOp -> BoolNumOp -> Bool (>=) :: BoolNumOp -> BoolNumOp -> Bool max :: BoolNumOp -> BoolNumOp -> BoolNumOp min :: BoolNumOp -> BoolNumOp -> BoolNumOp
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 readList :: ReadS [BoolConst] readPrec :: ReadPrec BoolConst readListPrec :: ReadPrec [BoolConst]
Show BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> BoolConst -> ShowS show :: BoolConst -> String showList :: [BoolConst] -> ShowS
Eq BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: BoolConst -> BoolConst -> Bool (/=) :: BoolConst -> BoolConst -> Bool
Ord BoolConst Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: BoolConst -> BoolConst -> Ordering (<) :: BoolConst -> BoolConst -> Bool (<=) :: BoolConst -> BoolConst -> Bool (>) :: BoolConst -> BoolConst -> Bool (>=) :: BoolConst -> BoolConst -> Bool max :: BoolConst -> BoolConst -> BoolConst min :: BoolConst -> BoolConst -> BoolConst
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
Read Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods readsPrec :: Int -> ReadS Ident readList :: ReadS [Ident] readPrec :: ReadPrec Ident readListPrec :: ReadPrec [Ident]
Show Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods showsPrec :: Int -> Ident -> ShowS show :: Ident -> String showList :: [Ident] -> ShowS
Eq Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods (==) :: Ident -> Ident -> Bool (/=) :: Ident -> Ident -> Bool
Ord Ident Source #
Instance details Defined in Language.Lustre.AbsLustre Methods compare :: Ident -> Ident -> Ordering (<) :: Ident -> Ident -> Bool (<=) :: Ident -> Ident -> Bool (>) :: Ident -> Ident -> Bool (>=) :: Ident -> Ident -> Bool max :: Ident -> Ident -> Ident min :: Ident -> Ident -> Ident
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