Contents
Index
Engine.Tagging
Documentation
data
TagType
Constructors
Freeze
Rewrite
Instances
Eq
TagType
Show
TagType
data
Tag
ty
Constructors
CTag
ty
TagType
Instances
Eq ty => Eq (
Tag
ty)
Show ty => Show (
Tag
ty)
type
Tag1
=
Tag
Relational
data
TaggedRelational
a
Constructors
CUnion'
[
TaggedRelational
a] a
CIntersection'
[
TaggedRelational
a] a
CConcat'
[
TaggedRelational
a] a
FK'
Vector
a
FI'
Int a
FW'
Perm
a
FConv'
(
TaggedRelational
a) a
FPred'
Predicate
a
F0'
a
Instances
(Eq a, ??? a) => Eq (
TaggedRelational
a)
(Ord a, ??? a) => Ord (
TaggedRelational
a)
(Show a, ??? a) => Show (
TaggedRelational
a)
Produced by
Haddock
version 0.8