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 Source # readList :: ReadS [BoolSpec] Source # readPrec :: ReadPrec BoolSpec Source # readListPrec :: ReadPrec [BoolSpec] Source #
Show BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolSpec -> ShowS Source # show :: BoolSpec -> String Source # showList :: [BoolSpec] -> ShowS Source #
Eq BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolSpec -> BoolSpec -> Bool Source # (/=) :: BoolSpec -> BoolSpec -> Bool Source #
Ord BoolSpec Source #
Instance details Defined in Language.SMV.AbsSMV 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.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 Source # readList :: ReadS [NumExpr] Source # readPrec :: ReadPrec NumExpr Source # readListPrec :: ReadPrec [NumExpr] Source #
Show NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> NumExpr -> ShowS Source # show :: NumExpr -> String Source # showList :: [NumExpr] -> ShowS Source #
Eq NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: NumExpr -> NumExpr -> Bool Source # (/=) :: NumExpr -> NumExpr -> Bool Source #
Ord NumExpr Source #
Instance details Defined in Language.SMV.AbsSMV 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.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 Source # readList :: ReadS [AdditiveOp] Source # readPrec :: ReadPrec AdditiveOp Source # readListPrec :: ReadPrec [AdditiveOp] Source #
Show AdditiveOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> AdditiveOp -> ShowS Source # show :: AdditiveOp -> String Source # showList :: [AdditiveOp] -> ShowS Source #
Eq AdditiveOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: AdditiveOp -> AdditiveOp -> Bool Source # (/=) :: AdditiveOp -> AdditiveOp -> Bool Source #
Ord AdditiveOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: AdditiveOp -> AdditiveOp -> Ordering Source # (<) :: AdditiveOp -> AdditiveOp -> Bool Source # (<=) :: AdditiveOp -> AdditiveOp -> Bool Source # (>) :: AdditiveOp -> AdditiveOp -> Bool Source # (>=) :: AdditiveOp -> AdditiveOp -> Bool Source # max :: AdditiveOp -> AdditiveOp -> AdditiveOp Source # min :: AdditiveOp -> AdditiveOp -> AdditiveOp Source #
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 Source # readList :: ReadS [MultOp] Source # readPrec :: ReadPrec MultOp Source # readListPrec :: ReadPrec [MultOp] Source #
Show MultOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> MultOp -> ShowS Source # show :: MultOp -> String Source # showList :: [MultOp] -> ShowS Source #
Eq MultOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: MultOp -> MultOp -> Bool Source # (/=) :: MultOp -> MultOp -> Bool Source #
Ord MultOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: MultOp -> MultOp -> Ordering Source # (<) :: MultOp -> MultOp -> Bool Source # (<=) :: MultOp -> MultOp -> Bool Source # (>) :: MultOp -> MultOp -> Bool Source # (>=) :: MultOp -> MultOp -> Bool Source # max :: MultOp -> MultOp -> MultOp Source # min :: MultOp -> MultOp -> MultOp Source #
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 Source # readList :: ReadS [BoolConst] Source # readPrec :: ReadPrec BoolConst Source # readListPrec :: ReadPrec [BoolConst] Source #
Show BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> BoolConst -> ShowS Source # show :: BoolConst -> String Source # showList :: [BoolConst] -> ShowS Source #
Eq BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: BoolConst -> BoolConst -> Bool Source # (/=) :: BoolConst -> BoolConst -> Bool Source #
Ord BoolConst Source #
Instance details Defined in Language.SMV.AbsSMV 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.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 Source # readList :: ReadS [OpOne] Source # readPrec :: ReadPrec OpOne Source # readListPrec :: ReadPrec [OpOne] Source #
Show OpOne Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OpOne -> ShowS Source # show :: OpOne -> String Source # showList :: [OpOne] -> ShowS Source #
Eq OpOne Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OpOne -> OpOne -> Bool Source # (/=) :: OpOne -> OpOne -> Bool Source #
Ord OpOne Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OpOne -> OpOne -> Ordering Source # (<) :: OpOne -> OpOne -> Bool Source # (<=) :: OpOne -> OpOne -> Bool Source # (>) :: OpOne -> OpOne -> Bool Source # (>=) :: OpOne -> OpOne -> Bool Source # max :: OpOne -> OpOne -> OpOne Source # min :: OpOne -> OpOne -> OpOne Source #
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 Source # readList :: ReadS [Number] Source # readPrec :: ReadPrec Number Source # readListPrec :: ReadPrec [Number] Source #
Show Number Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Number -> ShowS Source # show :: Number -> String Source # showList :: [Number] -> ShowS Source #
Eq Number Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Number -> Number -> Bool Source # (/=) :: Number -> Number -> Bool Source #
Ord Number Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: Number -> Number -> Ordering Source # (<) :: Number -> Number -> Bool Source # (<=) :: Number -> Number -> Bool Source # (>) :: Number -> Number -> Bool Source # (>=) :: Number -> Number -> Bool Source # max :: Number -> Number -> Number Source # min :: Number -> Number -> Number Source #
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 Source # readList :: ReadS [OrdOp] Source # readPrec :: ReadPrec OrdOp Source # readListPrec :: ReadPrec [OrdOp] Source #
Show OrdOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OrdOp -> ShowS Source # show :: OrdOp -> String Source # showList :: [OrdOp] -> ShowS Source #
Eq OrdOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OrdOp -> OrdOp -> Bool Source # (/=) :: OrdOp -> OrdOp -> Bool Source #
Ord OrdOp Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OrdOp -> OrdOp -> Ordering Source # (<) :: OrdOp -> OrdOp -> Bool Source # (<=) :: OrdOp -> OrdOp -> Bool Source # (>) :: OrdOp -> OrdOp -> Bool Source # (>=) :: OrdOp -> OrdOp -> Bool Source # max :: OrdOp -> OrdOp -> OrdOp Source # min :: OrdOp -> OrdOp -> OrdOp Source #
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 Source # readList :: ReadS [Op1Name] Source # readPrec :: ReadPrec Op1Name Source # readListPrec :: ReadPrec [Op1Name] Source #
Show Op1Name Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> Op1Name -> ShowS Source # show :: Op1Name -> String Source # showList :: [Op1Name] -> ShowS Source #
Eq Op1Name Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Op1Name -> Op1Name -> Bool Source # (/=) :: Op1Name -> Op1Name -> Bool Source #
Ord Op1Name Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: Op1Name -> Op1Name -> Ordering Source # (<) :: Op1Name -> Op1Name -> Bool Source # (<=) :: Op1Name -> Op1Name -> Bool Source # (>) :: Op1Name -> Op1Name -> Bool Source # (>=) :: Op1Name -> Op1Name -> Bool Source # max :: Op1Name -> Op1Name -> Op1Name Source # min :: Op1Name -> Op1Name -> Op1Name Source #
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 Source # readList :: ReadS [OpTwo] Source # readPrec :: ReadPrec OpTwo Source # readListPrec :: ReadPrec [OpTwo] Source #
Show OpTwo Source #
Instance details Defined in Language.SMV.AbsSMV Methods showsPrec :: Int -> OpTwo -> ShowS Source # show :: OpTwo -> String Source # showList :: [OpTwo] -> ShowS Source #
Eq OpTwo Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: OpTwo -> OpTwo -> Bool Source # (/=) :: OpTwo -> OpTwo -> Bool Source #
Ord OpTwo Source #
Instance details Defined in Language.SMV.AbsSMV Methods compare :: OpTwo -> OpTwo -> Ordering Source # (<) :: OpTwo -> OpTwo -> Bool Source # (<=) :: OpTwo -> OpTwo -> Bool Source # (>) :: OpTwo -> OpTwo -> Bool Source # (>=) :: OpTwo -> OpTwo -> Bool Source # max :: OpTwo -> OpTwo -> OpTwo Source # min :: OpTwo -> OpTwo -> OpTwo Source #
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 Source #
Read Ident Source #
Instance details Defined in Language.SMV.AbsSMV 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.SMV.AbsSMV Methods showsPrec :: Int -> Ident -> ShowS Source # show :: Ident -> String Source # showList :: [Ident] -> ShowS Source #
Eq Ident Source #
Instance details Defined in Language.SMV.AbsSMV Methods (==) :: Ident -> Ident -> Bool Source # (/=) :: Ident -> Ident -> Bool Source #
Ord Ident Source #
Instance details Defined in Language.SMV.AbsSMV 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.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