ContentsIndex
Engine.Relational
Synopsis
type RModule = Module Predicate Relational
relIsFinal :: Monad m => Relational -> m Bool
relRewrite :: (MonadIO m, MonadState RModule m) => Relational -> m Relational
invertPerm :: Perm -> Perm
permute :: Vector -> Perm -> Vector
invert :: Perm -> Perm
freezeCTVars :: Int -> Vector -> Vector
freezeTerm :: Int -> Term -> Term
tryUnify :: Vector -> Vector -> Either String Vector
Produced by Haddock version 0.6