MultiSetRewrite.RuleSyntax

Documentation

data MatchTask a

Constructors

Prop a

Simp a

Guard (IO Bool)

AtomicGuard (STM Bool)

data WITHGUARD a

Constructors

WITHGUARD a (IO Bool)

Instances

ConvertHead b a => ConvertHead (WITHGUARD b) a

data WITHATOMICGUARD a

Constructors

WITHATOMICGUARD a (STM Bool)

Instances

ConvertHead b a => ConvertHead (WITHATOMICGUARD b) a

class ConvertHead a b | a -> b where

Methods

convertHead :: a -> [MatchTask b]

Instances

ConvertHead [a] a

ConvertHead b a => ConvertHead (WITHATOMICGUARD b) a

ConvertHead b a => ConvertHead (WITHGUARD b) a

ConvertHead ([a], [a]) a