Safe Haskell	None
Language	Haskell2010

Language.SMV.AbsSMV

Description

The abstract syntax of language SMV.

Documentation

data BoolSpec Source #

Instances

Instances details

Read BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS BoolSpec readList :: ReadS [BoolSpec] readPrec :: ReadPrec BoolSpec readListPrec :: ReadPrec [BoolSpec]
Show BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolSpec -> ShowS show :: BoolSpec -> String showList :: [BoolSpec] -> ShowS
Eq BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolSpec -> BoolSpec -> Bool (/=) :: BoolSpec -> BoolSpec -> Bool
Ord BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV 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.SMV.PrintSMV Methods prt :: Int -> BoolSpec -> Doc Source #

data NumExpr Source #

Constructors

NumId Ident
NumConstI Integer
NumConstD Double
NumAdd NumExpr AdditiveOp NumExpr
NumMult NumExpr MultOp NumExpr

Instances

Instances details

Read NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS NumExpr readList :: ReadS [NumExpr] readPrec :: ReadPrec NumExpr readListPrec :: ReadPrec [NumExpr]
Show NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> NumExpr -> ShowS show :: NumExpr -> String showList :: [NumExpr] -> ShowS
Eq NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: NumExpr -> NumExpr -> Bool (/=) :: NumExpr -> NumExpr -> Bool
Ord NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV 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.SMV.PrintSMV Methods prt :: Int -> NumExpr -> Doc Source #

data AdditiveOp Source #

Constructors

OpPlus
OpMinus

Instances

Instances details

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

data MultOp Source #

Constructors

OpTimes
OpDiv

Instances

Instances details

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

data BoolConst Source #

Constructors

BoolConstTrue
BoolConstFalse
BoolConstFTP
BoolConstLAST

Instances

Instances details

Read BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS BoolConst readList :: ReadS [BoolConst] readPrec :: ReadPrec BoolConst readListPrec :: ReadPrec [BoolConst]
Show BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolConst -> ShowS show :: BoolConst -> String showList :: [BoolConst] -> ShowS
Eq BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolConst -> BoolConst -> Bool (/=) :: BoolConst -> BoolConst -> Bool
Ord BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV 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.SMV.PrintSMV Methods prt :: Int -> BoolConst -> Doc Source #

data OpOne Source #

Constructors

Op1Alone Op1Name
Op1MTL Op1Name OrdOp Number
Op1MTLRange Op1Name Number Number

Instances

Instances details

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

data Number Source #

Constructors

NumberInt Integer

Instances

Instances details

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

data OrdOp Source #

Constructors

OrdOpLT
OrdOpLE
OrdOpEQ
OrdOpNE
OrdOpGT
OrdOpGE

Instances

Instances details

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

data Op1Name Source #

Constructors

Op1Pre
Op1X
Op1G
Op1F
Op1Y
Op1Z
Op1Hist
Op1O

Instances

Instances details

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

data OpTwo Source #

Constructors

Op2S
Op2T
Op2V
Op2U

Instances

Instances details

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

newtype Ident Source #

Constructors

Ident String

Instances

Instances details

IsString Ident Source #
Instance details Defined in Language.SMV.AbsSMV Methods fromString :: String -> Ident
Read Ident Source #
Instance details Defined in Language.SMV.AbsSMV Methods readsPrec :: Int -> ReadS Ident readList :: ReadS [Ident] readPrec :: ReadPrec Ident readListPrec :: ReadPrec [Ident]
Show Ident Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Ident -> ShowS show :: Ident -> String showList :: [Ident] -> ShowS
Eq Ident Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Ident -> Ident -> Bool (/=) :: Ident -> Ident -> Bool
Ord Ident Source #
Instance details Defined in Language.SMV.AbsSMV 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.SMV.PrintSMV Methods prt :: Int -> Ident -> Doc Source #

BoolSpecSignal Ident
BoolSpecConst BoolConst
BoolSpecNum NumExpr
BoolSpecCmp BoolSpec OrdOp BoolSpec
BoolSpecNeg BoolSpec
BoolSpecAnd BoolSpec BoolSpec
BoolSpecOr BoolSpec BoolSpec
BoolSpecXor BoolSpec BoolSpec
BoolSpecImplies BoolSpec BoolSpec
BoolSpecEquivs BoolSpec BoolSpec
BoolSpecOp1 OpOne BoolSpec
BoolSpecOp2 BoolSpec OpTwo BoolSpec