ProjectM36.Client.Simple

A simplified client interface for Project:M36 database access.

Documentation

simpleConnectProjectM36 :: ConnectionInfo -> IO (Either DbError DbConn)

Same as simpleConnectProjectM36At but always connects to the master branch.

simpleConnectProjectM36At :: HeadName -> ConnectionInfo -> IO (Either DbError DbConn)

A simple alternative to connectProjectM36 which includes simple session management.

withTransaction :: DbConn -> Db a -> IO (Either DbError a)

Runs a Db monad which may include some database updates. If an exception or error occurs, the transaction is rolled back. Otherwise, the transaction is committed to the head of the current branch.

withTransactionUsing :: DbConn -> MergeStrategy -> Db a -> IO (Either DbError a)

Same as withTransaction except that the merge strategy can be specified.

execute :: DatabaseContextExpr -> Db ()

Execute a DatabaseContextExpr in the DB monad. Database context expressions manipulate the state of the database. In case of an error, the transaction is terminated and the connection's session is rolled back.

executeOrErr :: DatabaseContextExpr -> Db (Either RelationalError ())

Run a DatabaseContextExpr update expression. If there is an error, just return it without cancelling the current transaction.

query :: RelationalExpr -> Db Relation

Run a RelationalExpr query in the DB monad. Relational expressions perform read-only queries against the current database state.

queryOrErr :: RelationalExpr -> Db (Either RelationalError Relation)

Run a RelationalExpr query expression. If there is an error, just return it without cancelling the transaction.

cancelTransaction :: DbError -> Db a

Cancel a transaction and carry some error information with it.

orCancelTransaction :: Either RelationalError a -> Db a

Converts the Either result from a Db action into an immediate cancel in the case of error.

rollback :: Db ()

Unconditionally roll back the current transaction and throw an exception to terminate the execution of the Db monad.

close :: DbConn -> IO ()

Closes the database connection.

data Atom

Database atoms are the smallest, undecomposable units of a tuple. Common examples are integers, text, or unique identity keys.

Constructors

IntegerAtom !Integer

IntAtom !Int

ScientificAtom !Scientific

DoubleAtom !Double

TextAtom !Text

DayAtom !Day

DateTimeAtom !UTCTime

ByteStringAtom !ByteString

BoolAtom !Bool

UUIDAtom !UUID

RelationAtom !Relation

RelationalExprAtom !RelationalExpr

ConstructedAtom !DataConstructorName !AtomType [Atom]

Instances

Generic Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Read Atom

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Atom

readList :: ReadS [Atom]

readPrec :: ReadPrec Atom

readListPrec :: ReadPrec [Atom]

Show Atom

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

NFData Atom

Defined in ProjectM36.Base

Methods

rnf :: Atom -> ()

Eq Atom

Defined in ProjectM36.Base

Methods

(==) :: Atom -> Atom -> Bool

(/=) :: Atom -> Atom -> Bool

Hashable Atom

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Atom -> Int

hash :: Atom -> Int

HashBytes Atom

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Atom -> Ctx -> Ctx

HashBytes AtomFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunction -> Ctx -> Ctx

HashBytes AtomFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunctions -> Ctx -> Ctx

HashBytes DatabaseContextFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunction -> Ctx -> Ctx

HashBytes DatabaseContextFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunctions -> Ctx -> Ctx

Serialise Atom

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Atom -> SchemaGen Schema

toBuilder :: Atom -> Builder

extractor :: Extractor Atom

decodeCurrent :: Decoder Atom

bundleSerialise :: BundleSerialise Atom

type Rep Atom

Defined in ProjectM36.Base

type Rep Atom = D1 ('MetaData "Atom" "ProjectM36.Base" "project-m36-1.0.0-inplace" 'False) (((C1 ('MetaCons "IntegerAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "IntAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ScientificAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)))) :+: (C1 ('MetaCons "DoubleAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: (C1 ('MetaCons "TextAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "DayAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day))))) :+: ((C1 ('MetaCons "DateTimeAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime)) :+: (C1 ('MetaCons "ByteStringAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "BoolAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))) :+: ((C1 ('MetaCons "UUIDAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UUID)) :+: C1 ('MetaCons "RelationAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Relation))) :+: (C1 ('MetaCons "RelationalExprAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelationalExpr)) :+: C1 ('MetaCons "ConstructedAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Atom])))))))

data AtomType

The AtomType uniquely identifies the type of a atom.

Constructors

IntAtomType

IntegerAtomType

ScientificAtomType

DoubleAtomType

TextAtomType

DayAtomType

DateTimeAtomType

ByteStringAtomType

BoolAtomType

UUIDAtomType

RelationAtomType Attributes

ConstructedAtomType TypeConstructorName TypeVarMap

RelationalExprAtomType

TypeVariableType TypeVarName

Instances

Generic AtomType

Defined in ProjectM36.Base

Associated Types

type Rep AtomType :: Type -> Type

Methods

from :: AtomType -> Rep AtomType x

to :: Rep AtomType x -> AtomType

Read AtomType

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS AtomType

readList :: ReadS [AtomType]

readPrec :: ReadPrec AtomType

readListPrec :: ReadPrec [AtomType]

Show AtomType

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomType -> ShowS

show :: AtomType -> String

showList :: [AtomType] -> ShowS

NFData AtomType

Defined in ProjectM36.Base

Methods

rnf :: AtomType -> ()

Eq AtomType

Defined in ProjectM36.Base

Methods

(==) :: AtomType -> AtomType -> Bool

(/=) :: AtomType -> AtomType -> Bool

Hashable AtomType

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AtomType -> Int

hash :: AtomType -> Int

HashBytes AtomType

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomType -> Ctx -> Ctx

Serialise AtomType

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy AtomType -> SchemaGen Schema

toBuilder :: AtomType -> Builder

extractor :: Extractor AtomType

decodeCurrent :: Decoder AtomType

bundleSerialise :: BundleSerialise AtomType

type Rep AtomType

Defined in ProjectM36.Base

type Rep AtomType = D1 ('MetaData "AtomType" "ProjectM36.Base" "project-m36-1.0.0-inplace" 'False) (((C1 ('MetaCons "IntAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntegerAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScientificAtomType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DoubleAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TextAtomType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DayAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DateTimeAtomType" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ByteStringAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BoolAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UUIDAtomType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "RelationAtomType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes)) :+: C1 ('MetaCons "ConstructedAtomType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarMap))) :+: (C1 ('MetaCons "RelationalExprAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeVariableType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName))))))

data Db a

Instances

MonadIO Db

Defined in ProjectM36.Client.Simple

Methods

liftIO :: IO a -> Db a

Applicative Db

Defined in ProjectM36.Client.Simple

Methods

pure :: a -> Db a

(<*>) :: Db (a -> b) -> Db a -> Db b

liftA2 :: (a -> b -> c) -> Db a -> Db b -> Db c

(*>) :: Db a -> Db b -> Db b

(<*) :: Db a -> Db b -> Db a

Functor Db

Defined in ProjectM36.Client.Simple

Methods

fmap :: (a -> b) -> Db a -> Db b

(<$) :: a -> Db b -> Db a

Monad Db

Defined in ProjectM36.Client.Simple

Methods

(>>=) :: Db a -> (a -> Db b) -> Db b

(>>) :: Db a -> Db b -> Db b

return :: a -> Db a

type DbConn = (SessionId, Connection)

data DbError

A union of connection and other errors that can be returned from withTransaction.

Constructors

ConnError ConnectionError

RelError RelationalError

TransactionRolledBack

Instances

Show DbError

Defined in ProjectM36.Client.Simple

Methods

showsPrec :: Int -> DbError -> ShowS

show :: DbError -> String

showList :: [DbError] -> ShowS

Eq DbError

Defined in ProjectM36.Client.Simple

Methods

(==) :: DbError -> DbError -> Bool

(/=) :: DbError -> DbError -> Bool

data RelationalError

Constructors

NoSuchAttributeNamesError (Set AttributeName)

TupleAttributeCountMismatchError Int

EmptyAttributesError

DuplicateAttributeNamesError (Set AttributeName)

TupleAttributeTypeMismatchError Attributes

AttributeCountMismatchError Int

AttributeNamesMismatchError (Set AttributeName)

AttributeTypesMismatchError Attributes

AttributeNameInUseError AttributeName

AttributeIsNotRelationValuedError AttributeName

CouldNotInferAttributes

RelVarNotDefinedError RelVarName

RelVarAlreadyDefinedError RelVarName

RelationTypeMismatchError Attributes Attributes

InclusionDependencyCheckError IncDepName (Maybe RelationalError)

InclusionDependencyNameInUseError IncDepName

InclusionDependencyNameNotInUseError IncDepName

ParseError Text

PredicateExpressionError Text

NoCommonTransactionAncestorError TransactionId TransactionId

NoSuchTransactionError TransactionId

RootTransactionTraversalError

HeadNameSwitchingHeadProhibitedError HeadName

NoSuchHeadNameError HeadName

UnknownHeadError

NewTransactionMayNotHaveChildrenError TransactionId

ParentCountTraversalError Int Int

NewTransactionMissingParentError TransactionId

TransactionIsNotAHeadError TransactionId

TransactionGraphCycleError TransactionId

SessionIdInUseError TransactionId

NoSuchSessionError TransactionId

FailedToFindTransactionError TransactionId

TransactionIdInUseError TransactionId

NoSuchFunctionError FunctionName

NoSuchTypeConstructorName TypeConstructorName

TypeConstructorAtomTypeMismatch TypeConstructorName AtomType

AtomTypeMismatchError AtomType AtomType

TypeConstructorNameMismatch TypeConstructorName TypeConstructorName

AtomTypeTypeConstructorReconciliationError AtomType TypeConstructorName

DataConstructorNameInUseError DataConstructorName

DataConstructorUsesUndeclaredTypeVariable TypeVarName

TypeConstructorTypeVarsMismatch (Set TypeVarName) (Set TypeVarName)

TypeConstructorTypeVarMissing TypeVarName

TypeConstructorTypeVarsTypesMismatch TypeConstructorName TypeVarMap TypeVarMap

DataConstructorTypeVarsMismatch DataConstructorName TypeVarMap TypeVarMap

AtomFunctionTypeVariableResolutionError FunctionName TypeVarName

AtomFunctionTypeVariableMismatch TypeVarName AtomType AtomType

IfThenExprExpectedBooleanError AtomType

AtomTypeNameInUseError AtomTypeName

IncompletelyDefinedAtomTypeWithConstructorError

AtomTypeNameNotInUseError AtomTypeName

AttributeNotSortableError Attribute

FunctionNameInUseError FunctionName

FunctionNameNotInUseError FunctionName

EmptyCommitError

FunctionArgumentCountMismatchError Int Int

ConstructedAtomArgumentCountMismatchError Int Int

NoSuchDataConstructorError DataConstructorName

NoSuchTypeConstructorError TypeConstructorName

InvalidAtomTypeName AtomTypeName

AtomTypeNotSupported AttributeName

AtomOperatorNotSupported Text

EmptyTuplesError

AtomTypeCountError [AtomType] [AtomType]

AtomFunctionTypeError FunctionName Int AtomType AtomType

AtomFunctionUserError AtomFunctionError

PrecompiledFunctionRemoveError FunctionName

RelationValuedAttributesNotSupportedError [AttributeName]

NotificationNameInUseError NotificationName

NotificationNameNotInUseError NotificationName

ImportError ImportError'

ExportError Text

UnhandledExceptionError String

MergeTransactionError MergeError

ScriptError ScriptCompilationError

LoadFunctionError

SecurityLoadFunctionError

DatabaseContextFunctionUserError DatabaseContextFunctionError

DatabaseLoadError PersistenceError

SubschemaNameInUseError SchemaName

SubschemaNameNotInUseError SchemaName

SchemaCreationError SchemaError

ImproperDatabaseStateError

NonConcreteSchemaPlanError

NoUncommittedContextInEvalError

TupleExprsReferenceMultipleMarkersError

MerkleHashValidationError TransactionId MerkleHash MerkleHash

RegisteredQueryValidationError RegisteredQueryName RelationalError

RegisteredQueryNameInUseError RegisteredQueryName

RegisteredQueryNameNotInUseError RegisteredQueryName

SQLConversionError SQLError

MultipleErrors [RelationalError]

Instances

Generic RelationalError

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: Type -> Type

Methods

from :: RelationalError -> Rep RelationalError x

to :: Rep RelationalError x -> RelationalError

Show RelationalError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> RelationalError -> ShowS

show :: RelationalError -> String

showList :: [RelationalError] -> ShowS

NFData RelationalError

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> ()

Eq RelationalError

Defined in ProjectM36.Error

Methods

(==) :: RelationalError -> RelationalError -> Bool

(/=) :: RelationalError -> RelationalError -> Bool

Serialise RelationalError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy RelationalError -> SchemaGen Schema

toBuilder :: RelationalError -> Builder

extractor :: Extractor RelationalError

decodeCurrent :: Decoder RelationalError

bundleSerialise :: BundleSerialise RelationalError

DatabaseContextM (ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.RelationalExpression

Methods

getContext :: ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext

AskGraphContext (ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) TransactionGraph

askContext :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) DatabaseContext

AskGraphContext (ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) TransactionGraph

askContext :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext

DatabaseContextM (RWST DatabaseContextEvalEnv () DatabaseContextEvalState (ExceptT RelationalError Identity))

Defined in ProjectM36.RelationalExpression

Methods

getContext :: RWST DatabaseContextEvalEnv () DatabaseContextEvalState (ExceptT RelationalError Identity) DatabaseContext

type Rep RelationalError

Defined in ProjectM36.Error

type Rep RelationalError = D1 ('MetaData "RelationalError" "ProjectM36.Error" "project-m36-1.0.0-inplace" 'False) ((((((C1 ('MetaCons "NoSuchAttributeNamesError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 ('MetaCons "TupleAttributeCountMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) :+: (C1 ('MetaCons "EmptyAttributesError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DuplicateAttributeNamesError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 ('MetaCons "TupleAttributeTypeMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes))))) :+: ((C1 ('MetaCons "AttributeCountMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "AttributeNamesMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 ('MetaCons "AttributeTypesMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes)))) :+: (C1 ('MetaCons "AttributeNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: (C1 ('MetaCons "AttributeIsNotRelationValuedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: C1 ('MetaCons "CouldNotInferAttributes" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "RelVarNotDefinedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName)) :+: (C1 ('MetaCons "RelVarAlreadyDefinedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName)) :+: C1 ('MetaCons "RelationTypeMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes)))) :+: (C1 ('MetaCons "InclusionDependencyCheckError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncDepName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RelationalError))) :+: (C1 ('MetaCons "InclusionDependencyNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncDepName)) :+: C1 ('MetaCons "InclusionDependencyNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncDepName))))) :+: ((C1 ('MetaCons "ParseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "PredicateExpressionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "NoCommonTransactionAncestorError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)))) :+: (C1 ('MetaCons "NoSuchTransactionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: (C1 ('MetaCons "RootTransactionTraversalError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeadNameSwitchingHeadProhibitedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName))))))) :+: ((((C1 ('MetaCons "NoSuchHeadNameError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)) :+: C1 ('MetaCons "UnknownHeadError" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NewTransactionMayNotHaveChildrenError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: (C1 ('MetaCons "ParentCountTraversalError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "NewTransactionMissingParentError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId))))) :+: ((C1 ('MetaCons "TransactionIsNotAHeadError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: (C1 ('MetaCons "TransactionGraphCycleError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: C1 ('MetaCons "SessionIdInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)))) :+: (C1 ('MetaCons "NoSuchSessionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: (C1 ('MetaCons "FailedToFindTransactionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: C1 ('MetaCons "TransactionIdInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)))))) :+: (((C1 ('MetaCons "NoSuchFunctionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)) :+: (C1 ('MetaCons "NoSuchTypeConstructorName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName)) :+: C1 ('MetaCons "TypeConstructorAtomTypeMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)))) :+: (C1 ('MetaCons "AtomTypeMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)) :+: (C1 ('MetaCons "TypeConstructorNameMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName)) :+: C1 ('MetaCons "AtomTypeTypeConstructorReconciliationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName))))) :+: ((C1 ('MetaCons "DataConstructorNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName)) :+: (C1 ('MetaCons "DataConstructorUsesUndeclaredTypeVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName)) :+: C1 ('MetaCons "TypeConstructorTypeVarsMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TypeVarName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TypeVarName))))) :+: (C1 ('MetaCons "TypeConstructorTypeVarMissing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName)) :+: (C1 ('MetaCons "TypeConstructorTypeVarsTypesMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarMap) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarMap))) :+: C1 ('MetaCons "DataConstructorTypeVarsMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarMap) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarMap))))))))) :+: (((((C1 ('MetaCons "AtomFunctionTypeVariableResolutionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName)) :+: C1 ('MetaCons "AtomFunctionTypeVariableMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)))) :+: (C1 ('MetaCons "IfThenExprExpectedBooleanError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)) :+: (C1 ('MetaCons "AtomTypeNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomTypeName)) :+: C1 ('MetaCons "IncompletelyDefinedAtomTypeWithConstructorError" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AtomTypeNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomTypeName)) :+: (C1 ('MetaCons "AttributeNotSortableError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "FunctionNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)))) :+: (C1 ('MetaCons "FunctionNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)) :+: (C1 ('MetaCons "EmptyCommitError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionArgumentCountMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))) :+: (((C1 ('MetaCons "ConstructedAtomArgumentCountMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "NoSuchDataConstructorError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName)) :+: C1 ('MetaCons "NoSuchTypeConstructorError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName)))) :+: (C1 ('MetaCons "InvalidAtomTypeName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomTypeName)) :+: (C1 ('MetaCons "AtomTypeNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: C1 ('MetaCons "AtomOperatorNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))) :+: ((C1 ('MetaCons "EmptyTuplesError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AtomTypeCountError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomType])) :+: C1 ('MetaCons "AtomFunctionTypeError" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType))))) :+: (C1 ('MetaCons "AtomFunctionUserError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomFunctionError)) :+: (C1 ('MetaCons "PrecompiledFunctionRemoveError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)) :+: C1 ('MetaCons "RelationValuedAttributesNotSupportedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeName]))))))) :+: ((((C1 ('MetaCons "NotificationNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationName)) :+: (C1 ('MetaCons "NotificationNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationName)) :+: C1 ('MetaCons "ImportError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImportError')))) :+: (C1 ('MetaCons "ExportError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "UnhandledExceptionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "MergeTransactionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MergeError))))) :+: ((C1 ('MetaCons "ScriptError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptCompilationError)) :+: (C1 ('MetaCons "LoadFunctionError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SecurityLoadFunctionError" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DatabaseContextFunctionUserError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatabaseContextFunctionError)) :+: (C1 ('MetaCons "DatabaseLoadError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PersistenceError)) :+: C1 ('MetaCons "SubschemaNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SchemaName)))))) :+: (((C1 ('MetaCons "SubschemaNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SchemaName)) :+: (C1 ('MetaCons "SchemaCreationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SchemaError)) :+: C1 ('MetaCons "ImproperDatabaseStateError" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NonConcreteSchemaPlanError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoUncommittedContextInEvalError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TupleExprsReferenceMultipleMarkersError" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MerkleHashValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MerkleHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MerkleHash))) :+: (C1 ('MetaCons "RegisteredQueryValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalError)) :+: C1 ('MetaCons "RegisteredQueryNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName)))) :+: (C1 ('MetaCons "RegisteredQueryNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName)) :+: (C1 ('MetaCons "SQLConversionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SQLError)) :+: C1 ('MetaCons "MultipleErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelationalError])))))))))

data Attribute

A relation's type is composed of attribute names and types.

Constructors

Attribute AttributeName AtomType

Instances

Generic Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: Type -> Type

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Read Attribute

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Attribute

readList :: ReadS [Attribute]

readPrec :: ReadPrec Attribute

readListPrec :: ReadPrec [Attribute]

Show Attribute

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

NFData Attribute

Defined in ProjectM36.Base

Methods

rnf :: Attribute -> ()

Eq Attribute

Defined in ProjectM36.Base

Methods

(==) :: Attribute -> Attribute -> Bool

(/=) :: Attribute -> Attribute -> Bool

Hashable Attribute

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Attribute -> Int

hash :: Attribute -> Int

HashBytes Attribute

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Attribute -> Ctx -> Ctx

Serialise Attribute

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Attribute -> SchemaGen Schema

toBuilder :: Attribute -> Builder

extractor :: Extractor Attribute

decodeCurrent :: Decoder Attribute

bundleSerialise :: BundleSerialise Attribute

type Rep Attribute

Defined in ProjectM36.Base

type Rep Attribute = D1 ('MetaData "Attribute" "ProjectM36.Base" "project-m36-1.0.0-inplace" 'False) (C1 ('MetaCons "Attribute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)))

class (Eq a, NFData a, Serialise a, Show a) => Atomable a where

All database values ("atoms") adhere to the Atomable typeclass. This class is derivable allowing new datatypes to be easily marshaling between Haskell values and database values.

Minimal complete definition

Nothing

Methods

toAtom :: a -> Atom

default toAtom :: (Generic a, AtomableG (Rep a)) => a -> Atom

fromAtom :: Atom -> a

default fromAtom :: (Generic a, AtomableG (Rep a)) => Atom -> a

Instances

Atomable ByteString

Defined in ProjectM36.Atomable

Methods

toAtom :: ByteString -> Atom

fromAtom :: Atom -> ByteString

toAtomType :: proxy ByteString -> AtomType

toAddTypeExpr :: proxy ByteString -> DatabaseContextExpr

Atomable Text

Defined in ProjectM36.Atomable

Methods

toAtom :: Text -> Atom

fromAtom :: Atom -> Text

toAtomType :: proxy Text -> AtomType

toAddTypeExpr :: proxy Text -> DatabaseContextExpr

Atomable Day

Defined in ProjectM36.Atomable

Methods

toAtom :: Day -> Atom

fromAtom :: Atom -> Day

toAtomType :: proxy Day -> AtomType

toAddTypeExpr :: proxy Day -> DatabaseContextExpr

Atomable UTCTime

Defined in ProjectM36.Atomable

Methods

toAtom :: UTCTime -> Atom

fromAtom :: Atom -> UTCTime

toAtomType :: proxy UTCTime -> AtomType

toAddTypeExpr :: proxy UTCTime -> DatabaseContextExpr

Atomable UUID

Defined in ProjectM36.Atomable

Methods

toAtom :: UUID -> Atom

fromAtom :: Atom -> UUID

toAtomType :: proxy UUID -> AtomType

toAddTypeExpr :: proxy UUID -> DatabaseContextExpr

Atomable Integer

Defined in ProjectM36.Atomable

Methods

toAtom :: Integer -> Atom

fromAtom :: Atom -> Integer

toAtomType :: proxy Integer -> AtomType

toAddTypeExpr :: proxy Integer -> DatabaseContextExpr

Atomable Bool

Defined in ProjectM36.Atomable

Methods

toAtom :: Bool -> Atom

fromAtom :: Atom -> Bool

toAtomType :: proxy Bool -> AtomType

toAddTypeExpr :: proxy Bool -> DatabaseContextExpr

Atomable Double

Defined in ProjectM36.Atomable

Methods

toAtom :: Double -> Atom

fromAtom :: Atom -> Double

toAtomType :: proxy Double -> AtomType

toAddTypeExpr :: proxy Double -> DatabaseContextExpr

Atomable Int

Defined in ProjectM36.Atomable

Methods

toAtom :: Int -> Atom

fromAtom :: Atom -> Int

toAtomType :: proxy Int -> AtomType

toAddTypeExpr :: proxy Int -> DatabaseContextExpr

Atomable a => Atomable (NonEmpty a)

Defined in ProjectM36.Atomable

Methods

toAtom :: NonEmpty a -> Atom

fromAtom :: Atom -> NonEmpty a

toAtomType :: proxy (NonEmpty a) -> AtomType

toAddTypeExpr :: proxy (NonEmpty a) -> DatabaseContextExpr

Atomable a => Atomable (Maybe a)

Defined in ProjectM36.Atomable

Methods

toAtom :: Maybe a -> Atom

fromAtom :: Atom -> Maybe a

toAtomType :: proxy (Maybe a) -> AtomType

toAddTypeExpr :: proxy (Maybe a) -> DatabaseContextExpr

Atomable a => Atomable [a]

Defined in ProjectM36.Atomable

Methods

toAtom :: [a] -> Atom

fromAtom :: Atom -> [a]

toAtomType :: proxy [a] -> AtomType

toAddTypeExpr :: proxy [a] -> DatabaseContextExpr

(Atomable a, Atomable b) => Atomable (Either a b)

Defined in ProjectM36.Atomable

Methods

toAtom :: Either a b -> Atom

fromAtom :: Atom -> Either a b

toAtomType :: proxy (Either a b) -> AtomType

toAddTypeExpr :: proxy (Either a b) -> DatabaseContextExpr

data ConnectionInfo

Construct a ConnectionInfo to describe how to make the Connection. The database can be run within the current process or running remotely via RPC.

Constructors

InProcessConnectionInfo PersistenceStrategy NotificationCallback [GhcPkgPath] DatabaseContext

RemoteConnectionInfo DatabaseName Hostname ServiceName NotificationCallback

data PersistenceStrategy

The persistence strategy is a global database option which represents how to persist the database in the filesystem, if at all.

Constructors

NoPersistence

no filesystem persistence/memory-only database

MinimalPersistence FilePath

fsync off, not crash-safe

CrashSafePersistence FilePath

full fsync to disk (flushes kernel and physical drive buffers to ensure that the transaction is on non-volatile storage)

Instances

Read PersistenceStrategy

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS PersistenceStrategy

readList :: ReadS [PersistenceStrategy]

readPrec :: ReadPrec PersistenceStrategy

readListPrec :: ReadPrec [PersistenceStrategy]

Show PersistenceStrategy

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> PersistenceStrategy -> ShowS

show :: PersistenceStrategy -> String

showList :: [PersistenceStrategy] -> ShowS

type NotificationCallback = NotificationName -> EvaluatedNotification -> IO ()

The type for notifications callbacks in the client. When a registered notification fires due to a changed relational expression evaluation, the server propagates the notifications to the clients in the form of the callback.

emptyNotificationCallback :: NotificationCallback

The empty notification callback ignores all callbacks.

data DatabaseContextExprBase a

Database context expressions modify the database context.

Constructors

NoOperation

Define RelVarName [AttributeExprBase a]

Undefine RelVarName

Assign RelVarName (RelationalExprBase a)

Insert RelVarName (RelationalExprBase a)

Delete RelVarName (RestrictionPredicateExprBase a)

Update RelVarName AttributeNameAtomExprMap (RestrictionPredicateExprBase a)

AddInclusionDependency IncDepName InclusionDependency

RemoveInclusionDependency IncDepName

AddNotification NotificationName RelationalExpr RelationalExpr RelationalExpr

RemoveNotification NotificationName

AddTypeConstructor TypeConstructorDef [DataConstructorDef]

RemoveTypeConstructor TypeConstructorName

RemoveAtomFunction FunctionName

RemoveDatabaseContextFunction FunctionName

ExecuteDatabaseContextFunction FunctionName [AtomExprBase a]

AddRegisteredQuery RegisteredQueryName RelationalExpr

RemoveRegisteredQuery RegisteredQueryName

MultipleExpr [DatabaseContextExprBase a]

Instances

Hashable DatabaseContextExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DatabaseContextExpr -> Int

hash :: DatabaseContextExpr -> Int

Generic (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (DatabaseContextExprBase a) :: Type -> Type

Methods

from :: DatabaseContextExprBase a -> Rep (DatabaseContextExprBase a) x

to :: Rep (DatabaseContextExprBase a) x -> DatabaseContextExprBase a

Read a => Read (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (DatabaseContextExprBase a)

readList :: ReadS [DatabaseContextExprBase a]

readPrec :: ReadPrec (DatabaseContextExprBase a)

readListPrec :: ReadPrec [DatabaseContextExprBase a]

Show a => Show (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextExprBase a -> ShowS

show :: DatabaseContextExprBase a -> String

showList :: [DatabaseContextExprBase a] -> ShowS

NFData a => NFData (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContextExprBase a -> ()

Eq a => Eq (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

(==) :: DatabaseContextExprBase a -> DatabaseContextExprBase a -> Bool

(/=) :: DatabaseContextExprBase a -> DatabaseContextExprBase a -> Bool

Serialise a => Serialise (DatabaseContextExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy (DatabaseContextExprBase a) -> SchemaGen Schema

toBuilder :: DatabaseContextExprBase a -> Builder

extractor :: Extractor (DatabaseContextExprBase a)

decodeCurrent :: Decoder (DatabaseContextExprBase a)

bundleSerialise :: BundleSerialise (DatabaseContextExprBase a)

type Rep (DatabaseContextExprBase a)

Defined in ProjectM36.Base

type Rep (DatabaseContextExprBase a) = D1 ('MetaData "DatabaseContextExprBase" "ProjectM36.Base" "project-m36-1.0.0-inplace" 'False) ((((C1 ('MetaCons "NoOperation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Define" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeExprBase a]))) :+: (C1 ('MetaCons "Undefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName)) :+: C1 ('MetaCons "Assign" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))))) :+: ((C1 ('MetaCons "Insert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "Delete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)))) :+: (C1 ('MetaCons "Update" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeNameAtomExprMap) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)))) :+: (C1 ('MetaCons "AddInclusionDependency" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncDepName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InclusionDependency)) :+: C1 ('MetaCons "RemoveInclusionDependency" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IncDepName)))))) :+: (((C1 ('MetaCons "AddNotification" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr))) :+: C1 ('MetaCons "RemoveNotification" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationName))) :+: (C1 ('MetaCons "AddTypeConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorDef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataConstructorDef])) :+: (C1 ('MetaCons "RemoveTypeConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName)) :+: C1 ('MetaCons "RemoveAtomFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName))))) :+: ((C1 ('MetaCons "RemoveDatabaseContextFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)) :+: C1 ('MetaCons "ExecuteDatabaseContextFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomExprBase a]))) :+: (C1 ('MetaCons "AddRegisteredQuery" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr)) :+: (C1 ('MetaCons "RemoveRegisteredQuery" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName)) :+: C1 ('MetaCons "MultipleExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DatabaseContextExprBase a])))))))

type DatabaseContextExpr = DatabaseContextExprBase ()

data RelationalExprBase a

A relational expression represents query (read) operations on a database.

Constructors

MakeRelationFromExprs (Maybe [AttributeExprBase a]) (TupleExprsBase a)

MakeStaticRelation Attributes RelationTupleSet

ExistingRelation Relation

RelationVariable RelVarName a

RelationValuedAttribute AttributeName

Project (AttributeNamesBase a) (RelationalExprBase a)

Extract a relation from an Atom that is a nested relation (a relation within a relation).

Union (RelationalExprBase a) (RelationalExprBase a)

Join (RelationalExprBase a) (RelationalExprBase a)

Rename (Set (AttributeName, AttributeName)) (RelationalExprBase a)

Difference (RelationalExprBase a) (RelationalExprBase a)

Group (AttributeNamesBase a) AttributeName (RelationalExprBase a)

Ungroup AttributeName (RelationalExprBase a)

Restrict (RestrictionPredicateExprBase a) (RelationalExprBase a)

Equals (RelationalExprBase a) (RelationalExprBase a)

NotEquals (RelationalExprBase a) (RelationalExprBase a)

Extend (ExtendTupleExprBase a) (RelationalExprBase a)

With (WithNamesAssocsBase a) (RelationalExprBase a)

Instances

Foldable RelationalExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => RelationalExprBase m -> m

foldMap :: Monoid m => (a -> m) -> RelationalExprBase a -> m

foldMap' :: Monoid m => (a -> m) -> RelationalExprBase a -> m

foldr :: (a -> b -> b) -> b -> RelationalExprBase a -> b

foldr' :: (a -> b -> b) -> b -> RelationalExprBase a -> b

foldl :: (b -> a -> b) -> b -> RelationalExprBase a -> b

foldl' :: (b -> a -> b) -> b -> RelationalExprBase a -> b

foldr1 :: (a -> a -> a) -> RelationalExprBase a -> a

foldl1 :: (a -> a -> a) -> RelationalExprBase a -> a

toList :: RelationalExprBase a -> [a]

null :: RelationalExprBase a -> Bool

length :: RelationalExprBase a -> Int

elem :: Eq a => a -> RelationalExprBase a -> Bool

maximum :: Ord a => RelationalExprBase a -> a

minimum :: Ord a => RelationalExprBase a -> a

sum :: Num a => RelationalExprBase a -> a

product :: Num a => RelationalExprBase a -> a

Traversable RelationalExprBase

Defined in ProjectM36.Base

Methods

traverse :: Applicative f => (a -> f b) -> RelationalExprBase a -> f (RelationalExprBase b)

sequenceA :: Applicative f => RelationalExprBase (f a) -> f (RelationalExprBase a)

mapM :: Monad m => (a -> m b) -> RelationalExprBase a -> m (RelationalExprBase b)

sequence :: Monad m => RelationalExprBase (m a) -> m (RelationalExprBase a)

Functor RelationalExprBase

Defined in ProjectM36.Base

Methods

fmap :: (a -> b) -> RelationalExprBase a -> RelationalExprBase b

(<$) :: a -> RelationalExprBase b -> RelationalExprBase a

Hashable RelationalExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationalExpr -> Int

hash :: RelationalExpr -> Int

HashBytes RelationVariables

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationVariables -> Ctx -> Ctx

Morph RelationalExpr

Defined in ProjectM36.IsomorphicSchema

Methods

morphToSchema :: Schema -> TransactionGraph -> RelationalExpr -> Either RelationalError RelationalExpr

ReferencedTransactionIds RelationVariables

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationVariables -> TransactionIds

ResolveGraphRefTransactionMarker GraphRefRelationalExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRelationalExpr -> DatabaseContextEvalMonad GraphRefRelationalExpr

KnownSymbol x => IsLabel x RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: RelationalExpr

Convertible RelVarName RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelVarName -> ConvertResult RelationalExpr

Convertible RelationalExpr AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr

Convertible RelationalExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr

Generic (RelationalExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (RelationalExprBase a) :: Type -> Type

Methods

from :: RelationalExprBase a -> Rep (RelationalExprBase a) x

to :: Rep (RelationalExprBase a) x -> RelationalExprBase a

Read a => Read (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (RelationalExprBase a)

readList :: ReadS [RelationalExprBase a]

readPrec :: ReadPrec (RelationalExprBase a)

readListPrec :: ReadPrec [RelationalExprBase a]

Show a => Show (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationalExprBase a -> ShowS

show :: RelationalExprBase a -> String

showList :: [RelationalExprBase a] -> ShowS

NFData a => NFData (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RelationalExprBase a -> ()

Eq a => Eq (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

(==) :: RelationalExprBase a -> RelationalExprBase a -> Bool

(/=) :: RelationalExprBase a -> RelationalExprBase a -> Bool

HashBytes a => HashBytes (RelationalExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationalExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (RelationalExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationalExprBase a -> TransactionIds

Corecursive (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

embed :: Base (RelationalExprBase a) (RelationalExprBase a) -> RelationalExprBase a

ana :: (a0 -> Base (RelationalExprBase a) a0) -> a0 -> RelationalExprBase a

apo :: (a0 -> Base (RelationalExprBase a) (Either (RelationalExprBase a) a0)) -> a0 -> RelationalExprBase a

postpro :: Recursive (RelationalExprBase a) => (forall b. Base (RelationalExprBase a) b -> Base (RelationalExprBase a) b) -> (a0 -> Base (RelationalExprBase a) a0) -> a0 -> RelationalExprBase a

gpostpro :: (Recursive (RelationalExprBase a), Monad m) => (forall b. m (Base (RelationalExprBase a) b) -> Base (RelationalExprBase a) (m b)) -> (forall c. Base (RelationalExprBase a) c -> Base (RelationalExprBase a) c) -> (a0 -> Base (RelationalExprBase a) (m a0)) -> a0 -> RelationalExprBase a

Recursive (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

project :: RelationalExprBase a -> Base (RelationalExprBase a) (RelationalExprBase a)

cata :: (Base (RelationalExprBase a) a0 -> a0) -> RelationalExprBase a -> a0

para :: (Base (RelationalExprBase a) (RelationalExprBase a, a0) -> a0) -> RelationalExprBase a -> a0

gpara :: (Corecursive (RelationalExprBase a), Comonad w) => (forall b. Base (RelationalExprBase a) (w b) -> w (Base (RelationalExprBase a) b)) -> (Base (RelationalExprBase a) (EnvT (RelationalExprBase a) w a0) -> a0) -> RelationalExprBase a -> a0

prepro :: Corecursive (RelationalExprBase a) => (forall b. Base (RelationalExprBase a) b -> Base (RelationalExprBase a) b) -> (Base (RelationalExprBase a) a0 -> a0) -> RelationalExprBase a -> a0

gprepro :: (Corecursive (RelationalExprBase a), Comonad w) => (forall b. Base (RelationalExprBase a) (w b) -> w (Base (RelationalExprBase a) b)) -> (forall c. Base (RelationalExprBase a) c -> Base (RelationalExprBase a) c) -> (Base (RelationalExprBase a) (w a0) -> a0) -> RelationalExprBase a -> a0

Serialise a => Serialise (RelationalExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy (RelationalExprBase a) -> SchemaGen Schema

toBuilder :: RelationalExprBase a -> Builder

extractor :: Extractor (RelationalExprBase a)

decodeCurrent :: Decoder (RelationalExprBase a)

bundleSerialise :: BundleSerialise (RelationalExprBase a)

type Rep (RelationalExprBase a)

Defined in ProjectM36.Base

type Rep (RelationalExprBase a) = D1 ('MetaData "RelationalExprBase" "ProjectM36.Base" "project-m36-1.0.0-inplace" 'False) ((((C1 ('MetaCons "MakeRelationFromExprs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [AttributeExprBase a])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TupleExprsBase a))) :+: C1 ('MetaCons "MakeStaticRelation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationTupleSet))) :+: (C1 ('MetaCons "ExistingRelation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relation)) :+: C1 ('MetaCons "RelationVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: ((C1 ('MetaCons "RelationValuedAttribute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: C1 ('MetaCons "Project" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "Join" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))))) :+: (((C1 ('MetaCons "Rename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (AttributeName, AttributeName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "Difference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 ('MetaCons "Group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: C1 ('MetaCons "Ungroup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))))) :+: ((C1 ('MetaCons "Restrict" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "Equals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 ('MetaCons "NotEquals" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: (C1 ('MetaCons "Extend" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExtendTupleExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "With" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithNamesAssocsBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))))))))

type Base (RelationalExprBase a)

Defined in ProjectM36.Base

type Base (RelationalExprBase a) = RelationalExprBaseF a