| ||||
| ||||
Documentation | ||||
type RModule = Module Predicate Relational | ||||
relIsFinal :: Monad m => Relational -> m Bool | ||||
relRewrite :: (MonadIO m, MonadState RModule m) => Relational -> m Relational | ||||
generate :: Int -> Int -> [ITerm] | ||||
permute :: Vector -> Perm -> Vector | ||||
fixvars :: [Int] -> Vector -> Vector | ||||
renn :: [Int] -> Int -> Int | ||||
freshAndReduce :: Int -> Vector -> Vector | ||||
tryUnify2 :: Vector -> Vector -> Either String Vector | ||||
unVars :: STerm -> ITerm | ||||
tterm :: ITerm -> STerm | ||||
Produced by Haddock version 0.8 |