eflint-3.0.0.1: Simulation interpreter for FLINT policy descriptions
Safe HaskellNone
LanguageHaskell2010

Language.EFLINT.State

Synopsis

Documentation

data Info Source #

Constructors

Info 

Fields

Instances

Instances details
Eq Info Source # 
Instance details

Defined in Language.EFLINT.State

Methods

(==) :: Info -> Info -> Bool #

(/=) :: Info -> Info -> Bool #

Read Info Source # 
Instance details

Defined in Language.EFLINT.State

Show Info Source # 
Instance details

Defined in Language.EFLINT.State

Methods

showsPrec :: Int -> Info -> ShowS #

show :: Info -> String #

showList :: [Info] -> ShowS #

data State Source #

Constructors

State 

Fields

Instances

Instances details
Eq State Source # 
Instance details

Defined in Language.EFLINT.State

Methods

(==) :: State -> State -> Bool #

(/=) :: State -> State -> Bool #

Show State Source # 
Instance details

Defined in Language.EFLINT.State

Methods

showsPrec :: Int -> State -> ShowS #

show :: State -> String #

showList :: [State] -> ShowS #

store_union :: Store -> Store -> Store Source #

based union over stores, precedence HoldsTrue > HoldsFalse > Unknown

holds :: Tagged -> State -> Bool Source #

assumes the instance of a closed type

data Error Source #

Instances

Instances details
Eq Error Source # 
Instance details

Defined in Language.EFLINT.State

Methods

(==) :: Error -> Error -> Bool #

(/=) :: Error -> Error -> Bool #

Ord Error Source # 
Instance details

Defined in Language.EFLINT.State

Methods

compare :: Error -> Error -> Ordering #

(<) :: Error -> Error -> Bool #

(<=) :: Error -> Error -> Bool #

(>) :: Error -> Error -> Bool #

(>=) :: Error -> Error -> Bool #

max :: Error -> Error -> Error #

min :: Error -> Error -> Error #

Read Error Source # 
Instance details

Defined in Language.EFLINT.State

Show Error Source # 
Instance details

Defined in Language.EFLINT.State

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #