Contents
Index
Translator.Relational.Ralog
Synopsis
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 ->
Term
->
Ralog
translateKTerm
::
Term
->
Ralog
translateKStruct
::
Const
-> Int -> Int ->
Term
->
Ralog
project
::
Const
-> Int -> Int ->
Ralog
translateP
:: Int ->
Ralog
translateI
:: Int ->
Ralog
intToP
:: Int ->
Ralog
translateW
::
Perm
->
Ralog
Produced by
Haddock
version 0.6