ogma-language-lustre-1.7.0: Ogma: Runtime Monitor translator: Lustre Language Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lustre.AbsLustre

Description

The abstract syntax of language Lustre.

Documentation

data BoolSpec Source #

newtype Ident Source #

Constructors

Ident String 

Instances

Instances details
IsString Ident Source # 
Instance details

Defined in Language.Lustre.AbsLustre

Read Ident Source # 
Instance details

Defined in Language.Lustre.AbsLustre

Show Ident Source # 
Instance details

Defined in Language.Lustre.AbsLustre

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

Print Ident Source # 
Instance details

Defined in Language.Lustre.PrintLustre

Methods

prt :: Int -> Ident -> Doc Source #