ContentsIndex
Engine.Relational
Documentation
type RModule = Module Predicate Relational
class Rew2 a where
Methods
rew :: (a -> Maybe a) -> a -> a
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