Generics.MultiRec.Rewriting.Machinery

Documentation

class (Fam phi, EqS phi, HZip phi (PF phi), HFunctor phi (PF phi)) => Rewrite phi

Instances

Transform phi => Rewrite phi

rewriteM :: Rewrite phi => Rule phi a -> a -> Maybe a

match :: (Monad m, Rewrite phi) => phi ix -> Scheme phi ix -> ix -> m (Subst phi)

matchM :: (Monad m, Rewrite phi) => phi ix -> Scheme phi ix -> I0 ix -> StateT (Subst phi) m ()

checkEqual :: (Monad m, Rewrite phi) => phi ix -> ix -> Any phi -> m ()

inst :: Rewrite phi => Subst phi -> phi ix -> Scheme phi ix -> ix

type Subst phi = Map Metavar (Any phi)