Safe Haskell	Safe-Inferred
Language	Haskell2010

Hermod.ReCon.LTL.Formula.Parser

Synopsis

Documentation

Constructors

Context
Fields interpDomain :: [(Text, Domain)] varKinds :: Map VariableIdentifier PropKind Kinds of in-scope property variables, populated by quantifier parsers.

A typed domain for a property variable.

Constructors

IntDomain (Set IntValue)
TextDomain (Set Text)

Instances details

Show Domain Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods showsPrec :: Int -> Domain -> ShowS Source # show :: Domain -> String Source # showList :: [Domain] -> ShowS Source #
Eq Domain Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods (==) :: Domain -> Domain -> Bool Source # (/=) :: Domain -> Domain -> Bool Source #
Ord Domain Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods compare :: Domain -> Domain -> Ordering Source # (<) :: Domain -> Domain -> Bool Source # (<=) :: Domain -> Domain -> Bool Source # (>) :: Domain -> Domain -> Bool Source # (>=) :: Domain -> Domain -> Bool Source # max :: Domain -> Domain -> Domain Source # min :: Domain -> Domain -> Domain Source #

The kind of a property variable: integer or text.

Constructors

IntKind
TextKind

Instances details

Show PropKind Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods showsPrec :: Int -> PropKind -> ShowS Source # show :: PropKind -> String Source # showList :: [PropKind] -> ShowS Source #
Eq PropKind Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods (==) :: PropKind -> PropKind -> Bool Source # (/=) :: PropKind -> PropKind -> Bool Source #
Ord PropKind Source #
Instance details Defined in Hermod.ReCon.LTL.Formula.Parser Methods compare :: PropKind -> PropKind -> Ordering Source # (<) :: PropKind -> PropKind -> Bool Source # (<=) :: PropKind -> PropKind -> Bool Source # (>) :: PropKind -> PropKind -> Bool Source # (>=) :: PropKind -> PropKind -> Bool Source # max :: PropKind -> PropKind -> PropKind Source # min :: PropKind -> PropKind -> PropKind Source #

A name is either an unquoted identifier or a quoted string.