Contents
Index
AST.Relational
Documentation
data
Relational
Constructors
CUnion
[
Relational
]
CIntersection
[
Relational
]
CConcat
[
Relational
]
FK
Vector
FI
Int
FW
Perm
FConv
Relational
FPred
Predicate
F0
Instances
Eq
Relational
Pretty
Relational
Show
Relational
(MonadIO m, MonadState
RModule
m) =>
Rewritable
m
Relational
(MonadIO m, MonadState
RModule
m) =>
Rewritable
m
Relational
Pretty
(
Module
Predicate
Relational
)
Translator
(
Module
Predicate
(
Clause
String))
Predicate
Relational
Translator
(
Module
Predicate
Relational
)
Predicate
Ralog
Produced by
Haddock
version 0.8