ProjectM36.Base

type StringType

data Atom

type OpenInterval

data AtomType

type TypeVarMap

isRelationAtomType

type AttributeName

data Attribute

type Attributes

attributesEqual

sortedAttributesIndices

data RelationTupleSet

data RelationTuple

data Relation

data RelationCardinality

type RelVarName

type RelationalExpr

data RelationalExprBase a

type NotificationName

type Notifications

data Notification

type TypeVarName

data TypeConstructorDef

data TypeConstructor

type TypeConstructorMapping

type TypeConstructorName

type TypeConstructorArgName

type DataConstructorName

type AtomTypeName

data DataConstructorDef

type DataConstructorDefs

data DataConstructorDefArg

type InclusionDependencies

type RelationVariables

type SchemaName

type Subschemas

data Schemas

data Schema

data SchemaIsomorph

type SchemaIsomorphs

data DatabaseContext

type IncDepName

data InclusionDependency

type AttributeNameAtomExprMap

type DatabaseContextExprName

data DatabaseContextExpr

data DatabaseContextIOExpr

type RestrictionPredicateExpr

data RestrictionPredicateExprBase a

type HeadName

type TransactionHeads

data TransactionGraph

transactionsForGraph

transactionHeadsForGraph

data TransactionInfo

type TransactionId

data Transaction

type DirtyFlag

data DisconnectedTransaction

transactionId

transactionInfo

type AtomExpr

data AtomExprBase a

data ExtendTupleExprBase a

type ExtendTupleExpr

type AtomFunctions

type AtomFunctionName

type AtomFunctionBodyScript

type AtomFunctionBodyType

data AtomFunctionBody

data AtomFunction

data AttributeNames

data PersistenceStrategy

type AttributeExpr

data AttributeExprBase a

data TupleExprBase a

type TupleExpr

data MergeStrategy

type DatabaseContextFunctionName

type DatabaseContextFunctionBodyScript

type DatabaseContextFunctionBodyType

data DatabaseContextFunctionBody

data DatabaseContextFunction

type DatabaseContextFunctions