| ||||
| ||||
Documentation | ||||
trans :: Module Predicate Relational -> Module Predicate Ralog | ||||
translatePredicate :: Predicate -> Relational -> Ralog | ||||
translateR :: Relational -> Ralog | ||||
mapWithNumber :: (Int -> a -> b) -> [a] -> [b] | ||||
mapWithNumber' :: Int -> (Int -> a -> b) -> [a] -> [b] | ||||
translateKo :: Vector -> Ralog | ||||
translateK :: Vector -> Ralog | ||||
translateKUnit :: Int -> ITerm -> Ralog | ||||
translateKTerm :: ITerm -> Ralog | ||||
translateKStruct :: Const -> Int -> Int -> ITerm -> Ralog | ||||
project :: Const -> Int -> Int -> Ralog | ||||
translateP :: Int -> Ralog | ||||
translateI :: Int -> Ralog | ||||
intToP :: Int -> Ralog | ||||
translateW :: Perm -> Ralog | ||||
Produced by Haddock version 0.8 |