ContentsIndex
Translator.Relational.Ralog
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