ogma-language-lustre-1.15.0: Ogma: Runtime Monitor translator: Lustre Language Frontend

Safe Haskell | None
Language | Haskell2010

Language.Lustre.AbsLustre

Description

The abstract syntax of language Lustre.

# Documentation

data BoolSpec Source #

Constructors

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 |

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