SSTG-0.1.0.5: STG Symbolic Execution

Safe Haskell	Safe
Language	Haskell2010

SSTG.Core.Execution.Rules

Description

Rules

Synopsis

Documentation

data Rule Source #

Rules

Instances

Eq Rule Source #
Methods (==) :: Rule -> Rule -> Bool # (/=) :: Rule -> Rule -> Bool #
Ord Rule Source #
Methods compare :: Rule -> Rule -> Ordering # (<) :: Rule -> Rule -> Bool # (<=) :: Rule -> Rule -> Bool # (>) :: Rule -> Rule -> Bool # (>=) :: Rule -> Rule -> Bool # max :: Rule -> Rule -> Rule # min :: Rule -> Rule -> Rule #
Read Rule Source #
Methods readsPrec :: Int -> ReadS Rule # readList :: ReadS [Rule] # readPrec :: ReadPrec Rule # readListPrec :: ReadPrec [Rule] #
Show Rule Source #
Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #

reduce :: State -> Maybe (Rule, [State]) Source #

Reduce

isStateValueForm :: State -> Bool Source #

Is State Value?