hermod-recon-framework
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hermod.ReCon.Common.Types

Synopsis

Documentation

type NatValue = Word64 Source #

type IntValue = Int64 Source #

The numeric type used for integer event property values and polynomial arithmetic throughout the framework.

type VariableIdentifier = Text Source #

The type of variable identifiers used throughout the framework (LTL property variables and polynomial integer variables).

type Parser = Parsec Void Text Source #

data BinRel Source #

Binary comparison relation on an ordered type.

Constructors

Eq 
Lt 
Lte 
Gt 
Gte 

Instances

Instances details
Show BinRel Source # 
Instance details

Defined in Hermod.ReCon.Common.Types

Methods

showsPrec :: Int -> BinRel -> ShowS Source #

show :: BinRel -> String Source #

showList :: [BinRel] -> ShowS Source #

Eq BinRel Source # 
Instance details

Defined in Hermod.ReCon.Common.Types

Methods

(==) :: BinRel -> BinRel -> Bool Source #

(/=) :: BinRel -> BinRel -> Bool Source #

Ord BinRel Source # 
Instance details

Defined in Hermod.ReCon.Common.Types

Methods

compare :: BinRel -> BinRel -> Ordering Source #

(<) :: BinRel -> BinRel -> Bool Source #

(<=) :: BinRel -> BinRel -> Bool Source #

(>) :: BinRel -> BinRel -> Bool Source #

(>=) :: BinRel -> BinRel -> Bool Source #

max :: BinRel -> BinRel -> BinRel Source #

min :: BinRel -> BinRel -> BinRel Source #