multisetrewrite-0.5: Multi-set rewrite rules with guards and a parallel execution scheme

MultiSetRewrite.RuleSyntax

Documentation

data MatchTask a Source

Constructors

Prop a 
Simp a 
Guard (IO Bool) 
AtomicGuard (STM Bool) 

data WITHGUARD a Source

Constructors

WITHGUARD a (IO Bool) 

Instances

data WITHATOMICGUARD a Source

Constructors

WITHATOMICGUARD a (STM Bool) 

Instances

class ConvertHead a b | a -> b whereSource

Methods

convertHead :: a -> [MatchTask b]Source

Instances