Tip.Utils.Specialiser

Documentation

specialise :: forall d c a. (Ord d, Ord c, Ord a) => [(d, [Rule c a])] -> ([(d, Subst a Void c)], [d])

safeRule :: Eq a => Rule c a -> Maybe (Rule c a)

data Rule c a

Constructors

Rule

Fields

rule_pre :: [Expr c a]

The trigger(s).

rule_post :: Expr c a

The action. The variables here must be a subset of those in pre.

Instances

Functor (Rule c)

Foldable (Rule c)

Traversable (Rule c)

(Eq c, Eq a) => Eq (Rule c a)

(Ord c, Ord a) => Ord (Rule c a)

(Show c, Show a) => Show (Rule c a)

(Eq a, Pretty a, Pretty c) => Pretty (Rule c a)

data Expr c a

Constructors

Var a

Con c [Expr c a]

Instances

Functor (Expr c)

Foldable (Expr c)

Traversable (Expr c)

(Eq c, Eq a) => Eq (Expr c a)

(Ord c, Ord a) => Ord (Expr c a)

(Show c, Show a) => Show (Expr c a)

(Pretty a, Pretty c) => Pretty (Expr c a)

data Void

Instances

Eq Void

Ord Void

Show Void

Pretty Void

absurd :: Void -> a

type Closed c = Expr c Void

subtermRules :: Rule c a -> [Rule c a]

subterms :: Expr c a -> [Expr c a]

type Subst a b c = [(a, Expr c b)]

type Inst a c = (Subst a Void c, Closed c)