| ||||
| ||||
Documentation | ||||
type RModule = Module Predicate Relational | ||||
class Rew2 a where | ||||
| ||||
rewRel :: (Relational -> Maybe Relational) -> Relational -> Maybe Relational | ||||
r2 :: (Relational -> Maybe Relational) -> [Relational] -> Maybe [Relational] | ||||
rewRel' :: (Relational -> Maybe Relational) -> Relational -> Relational | ||||
ruleP :: Relational -> Maybe Relational | ||||
mlookupCode :: Predicate -> [Relational] | ||||
generate :: Int -> Int -> [ITerm] | ||||
permute :: Vector -> Perm -> Vector | ||||
permutev :: Vector -> Perm -> Vector | ||||
tryUnify :: Vector -> Vector -> Either String Vector | ||||
Produced by Haddock version 0.8 |