ProjectM36.Client

Client interface to local and remote Project:M36 databases. To get started, connect with connectProjectM36, then run some database changes with executeDatabaseContextExpr, and issue queries using executeRelationalExpr.

Documentation

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]

RemoteConnectionInfo DatabaseName Hostname ServiceName NotificationCallback

data Connection

Constructors

InProcessConnection InProcessConnectionConf

RemoteConnection RemoteConnectionConf

type Port = Word16

type Hostname = String

type ServiceName = String

Either a service name e.g., "http" or a numeric port number.

type DatabaseName = String

data ConnectionError

There are several reasons why a connection can fail.

Constructors

SetupDatabaseDirectoryError PersistenceError

IOExceptionError IOException

NoSuchDatabaseByNameError DatabaseName

DatabaseValidationError [MerkleValidationError]

LoginError

Instances

Eq ConnectionError

Defined in ProjectM36.Client

Methods

(==) :: ConnectionError -> ConnectionError -> Bool

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

Show ConnectionError

Defined in ProjectM36.Client

Methods

showsPrec :: Int -> ConnectionError -> ShowS

show :: ConnectionError -> String

showList :: [ConnectionError] -> ShowS

Generic ConnectionError

Defined in ProjectM36.Client

Associated Types

type Rep ConnectionError :: Type -> Type

Methods

from :: ConnectionError -> Rep ConnectionError x

to :: Rep ConnectionError x -> ConnectionError

type Rep ConnectionError

Defined in ProjectM36.Client

type Rep ConnectionError = D1 ('MetaData "ConnectionError" "ProjectM36.Client" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "SetupDatabaseDirectoryError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PersistenceError)) :+: C1 ('MetaCons "IOExceptionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IOException))) :+: (C1 ('MetaCons "NoSuchDatabaseByNameError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatabaseName)) :+: (C1 ('MetaCons "DatabaseValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [MerkleValidationError])) :+: C1 ('MetaCons "LoginError" 'PrefixI 'False) (U1 :: Type -> Type))))

connectProjectM36 :: ConnectionInfo -> IO (Either ConnectionError Connection)

To create a Connection to a remote or local database, create a ConnectionInfo and call connectProjectM36.

close :: Connection -> IO ()

close cleans up the database access connection and closes any relevant sockets.

closeRemote_ :: Connection -> IO ()

executeRelationalExpr :: SessionId -> Connection -> RelationalExpr -> IO (Either RelationalError Relation)

Execute a relational expression in the context of the session and connection. Relational expressions are queries and therefore cannot alter the database.

executeDatabaseContextExpr :: SessionId -> Connection -> DatabaseContextExpr -> IO (Either RelationalError ())

Execute a database context expression in the context of the session and connection. Database expressions modify the current session's disconnected transaction but cannot modify the transaction graph.

executeDatabaseContextIOExpr :: SessionId -> Connection -> DatabaseContextIOExpr -> IO (Either RelationalError ())

Execute a database context IO-monad-based expression for the given session and connection. DatabaseContextIOExprs modify the DatabaseContext but cannot be purely implemented. this is almost completely identical to executeDatabaseContextExpr above

executeDataFrameExpr :: SessionId -> Connection -> DataFrameExpr -> IO (Either RelationalError DataFrame)

executeGraphExpr :: SessionId -> Connection -> TransactionGraphOperator -> IO (Either RelationalError ())

Execute a transaction graph expression in the context of the session and connection. Transaction graph operators modify the transaction graph state.

executeSchemaExpr :: SessionId -> Connection -> SchemaExpr -> IO (Either RelationalError ())

Schema expressions manipulate the isomorphic schemas for the current DatabaseContext.

executeTransGraphRelationalExpr :: SessionId -> Connection -> TransGraphRelationalExpr -> IO (Either RelationalError Relation)

A trans-graph expression is a relational query executed against the entirety of a transaction graph.

commit :: SessionId -> Connection -> IO (Either RelationalError ())

After modifying a DatabaseContext, commit the transaction to the transaction graph at the head which the session is referencing. This will also trigger checks for any notifications which need to be propagated.

rollback :: SessionId -> Connection -> IO (Either RelationalError ())

Discard any changes made in the current Session and DatabaseContext. This resets the disconnected transaction to reference the original database context of the parent transaction and is a very cheap operation.

typeForRelationalExpr :: SessionId -> Connection -> RelationalExpr -> IO (Either RelationalError Relation)

Return a relation whose type would match that of the relational expression if it were executed. This is useful for checking types and validating a relational expression's types.

inclusionDependencies :: SessionId -> Connection -> IO (Either RelationalError InclusionDependencies)

Return a Map of the database's constraints at the context of the session and connection.

typeConstructorMapping :: SessionId -> Connection -> IO (Either RelationalError TypeConstructorMapping)

databaseContextFunctionsAsRelation :: SessionId -> Connection -> IO (Either RelationalError Relation)

planForDatabaseContextExpr :: SessionId -> Connection -> DatabaseContextExpr -> IO (Either RelationalError GraphRefDatabaseContextExpr)

Return an optimized database expression which is logically equivalent to the input database expression. This function can be used to determine which expression will actually be evaluated.

currentSchemaName :: SessionId -> Connection -> IO (Either RelationalError SchemaName)

Returns the name of the currently selected isomorphic schema.

type SchemaName = StringType

type HeadName = StringType

A transaction graph's head name references the leaves of the transaction graph and can be used during session creation to indicate at which point in the graph commits should persist.

setCurrentSchemaName :: SessionId -> Connection -> SchemaName -> IO (Either RelationalError ())

Switch to the named isomorphic schema.

transactionGraphAsRelation :: SessionId -> Connection -> IO (Either RelationalError Relation)

Return a relation which represents the current state of the global transaction graph. The attributes are * current- boolean attribute representing whether or not the current session references this transaction * head- text attribute which is a non-empty HeadName iff the transaction references a head. * id- id attribute of the transaction * parents- a relation-valued attribute which contains a relation of transaction ids which are parent transaction to the transaction

relationVariablesAsRelation :: SessionId -> Connection -> IO (Either RelationalError Relation)

Returns the names and types of the relation variables in the current Session.

atomFunctionsAsRelation :: SessionId -> Connection -> IO (Either RelationalError Relation)

Returns the names and types of the atom functions in the current Session.

disconnectedTransactionIsDirty :: SessionId -> Connection -> IO (Either RelationalError Bool)

headName :: SessionId -> Connection -> IO (Either RelationalError HeadName)

Returns Just the name of the head of the current disconnected transaction or Nothing.

remoteDBLookupName :: DatabaseName -> String

defaultServerPort :: Port

Use this for connecting to remote servers on the default port.

headTransactionId :: SessionId -> Connection -> IO (Either RelationalError TransactionId)

Returns the transaction id for the connection's disconnected transaction committed parent transaction.

defaultDatabaseName :: DatabaseName

Use this for connecting to remote servers with the default database name.

defaultRemoteConnectionInfo :: ConnectionInfo

Create a connection configuration which connects to the localhost on the default server port and default server database name. The configured notification callback is set to ignore all events.

defaultHeadName :: HeadName

Use this for connecting to remote servers with the default head name.

addClientNode :: Connection -> Locking Socket -> IO ()

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 RelationalExpr = RelationalExprBase ()

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

Project (AttributeNamesBase a) (RelationalExprBase a)

Union (RelationalExprBase a) (RelationalExprBase a)

Join (RelationalExprBase a) (RelationalExprBase a)

Rename 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 [(WithNameExprBase a, RelationalExprBase a)] (RelationalExprBase a)

Instances

Functor RelationalExprBase

Defined in ProjectM36.Base

Methods

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

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

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)

Hashable RelationalExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationalExpr -> Int

hash :: RelationalExpr -> Int

ResolveGraphRefTransactionMarker GraphRefRelationalExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRelationalExpr -> DatabaseContextEvalMonad GraphRefRelationalExpr

KnownSymbol x => IsLabel x RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: 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

Convertible RelVarName RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelVarName -> ConvertResult RelationalExpr

Eq a => Eq (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

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

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

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

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

NFData a => NFData (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: 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

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

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-0.9.4-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 "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 AttributeName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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 [(WithNameExprBase a, RelationalExprBase 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

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]

MultipleExpr [DatabaseContextExprBase a]

Instances

Hashable DatabaseContextExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DatabaseContextExpr -> Int

hash :: DatabaseContextExpr -> Int

Eq a => Eq (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

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

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

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

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

NFData a => NFData (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContextExprBase a -> ()

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-0.9.4-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 "MultipleExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DatabaseContextExprBase a])))))))

type DatabaseContextExpr = DatabaseContextExprBase ()

data DatabaseContextIOExprBase a

Adding an atom function should be nominally a DatabaseExpr except for the fact that it cannot be performed purely. Thus, we create the DatabaseContextIOExpr.

Constructors

AddAtomFunction FunctionName [TypeConstructor] FunctionBodyScript

LoadAtomFunctions ObjModuleName ObjFunctionName FilePath

AddDatabaseContextFunction FunctionName [TypeConstructor] FunctionBodyScript

LoadDatabaseContextFunctions ObjModuleName ObjFunctionName FilePath

CreateArbitraryRelation RelVarName [AttributeExprBase a] Range

Instances

Eq a => Eq (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextIOExprBase a -> ShowS

show :: DatabaseContextIOExprBase a -> String

showList :: [DatabaseContextIOExprBase a] -> ShowS

Generic (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Serialise a => Serialise (DatabaseContextIOExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: DatabaseContextIOExprBase a -> Builder

extractor :: Extractor (DatabaseContextIOExprBase a)

decodeCurrent :: Decoder (DatabaseContextIOExprBase a)

bundleSerialise :: BundleSerialise (DatabaseContextIOExprBase a)

type Rep (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

type Rep (DatabaseContextIOExprBase a) = D1 ('MetaData "DatabaseContextIOExprBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "AddAtomFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeConstructor]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionBodyScript))) :+: C1 ('MetaCons "LoadAtomFunctions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjModuleName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjFunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))) :+: (C1 ('MetaCons "AddDatabaseContextFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeConstructor]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionBodyScript))) :+: (C1 ('MetaCons "LoadDatabaseContextFunctions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjModuleName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjFunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))) :+: C1 ('MetaCons "CreateArbitraryRelation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeExprBase a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))))

type DatabaseContextIOExpr = DatabaseContextIOExprBase ()

data Attribute

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

Constructors

Attribute AttributeName AtomType

Instances

Eq Attribute

Defined in ProjectM36.Base

Methods

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

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

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

Generic Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: Type -> Type

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Hashable Attribute

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Attribute -> Int

hash :: Attribute -> Int

NFData Attribute

Defined in ProjectM36.Base

Methods

rnf :: Attribute -> ()

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-0.9.4-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)))

data MergeStrategy

Constructors

UnionMergeStrategy

After a union merge, the merge transaction is a result of union'ing relvars of the same name, introducing all uniquely-named relvars, union of constraints, union of atom functions, notifications, and types (unless the names and definitions collide, e.g. two types of the same name with different definitions)

UnionPreferMergeStrategy HeadName

Similar to a union merge, but, on conflict, prefer the unmerged section (relvar, function, etc.) from the branch named as the argument.

SelectedBranchMergeStrategy HeadName

Similar to the our/theirs merge strategy in git, the merge transaction's context is identical to that of the last transaction in the selected branch.

Instances

Eq MergeStrategy

Defined in ProjectM36.Base

Methods

(==) :: MergeStrategy -> MergeStrategy -> Bool

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

Show MergeStrategy

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> MergeStrategy -> ShowS

show :: MergeStrategy -> String

showList :: [MergeStrategy] -> ShowS

Generic MergeStrategy

Defined in ProjectM36.Base

Associated Types

type Rep MergeStrategy :: Type -> Type

Methods

from :: MergeStrategy -> Rep MergeStrategy x

to :: Rep MergeStrategy x -> MergeStrategy

NFData MergeStrategy

Defined in ProjectM36.Base

Methods

rnf :: MergeStrategy -> ()

Serialise MergeStrategy

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy MergeStrategy -> SchemaGen Schema

toBuilder :: MergeStrategy -> Builder

extractor :: Extractor MergeStrategy

decodeCurrent :: Decoder MergeStrategy

bundleSerialise :: BundleSerialise MergeStrategy

type Rep MergeStrategy

Defined in ProjectM36.Base

type Rep MergeStrategy = D1 ('MetaData "MergeStrategy" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "UnionMergeStrategy" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnionPreferMergeStrategy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)) :+: C1 ('MetaCons "SelectedBranchMergeStrategy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName))))

attributesFromList :: [Attribute] -> Attributes

createSessionAtCommit :: Connection -> TransactionId -> IO (Either RelationalError SessionId)

Create a new session at the transaction id and return the session's Id.

createSessionAtHead :: Connection -> HeadName -> IO (Either RelationalError SessionId)

Call createSessionAtHead with a transaction graph's head's name to create a new session pinned to that head. This function returns a SessionId which can be used in other function calls to reference the point in the transaction graph.

closeSession :: SessionId -> Connection -> IO ()

Discards a session, eliminating any uncommitted changes present in the session.

callTestTimeout_ :: SessionId -> Connection -> IO Bool

data RelationCardinality

Used to represent the number of tuples in a relation.

Constructors

Countable

Finite Int

Instances

Eq RelationCardinality

Defined in ProjectM36.Base

Methods

(==) :: RelationCardinality -> RelationCardinality -> Bool

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

Ord RelationCardinality

Defined in ProjectM36.Base

Methods

compare :: RelationCardinality -> RelationCardinality -> Ordering

(<) :: RelationCardinality -> RelationCardinality -> Bool

(<=) :: RelationCardinality -> RelationCardinality -> Bool

(>) :: RelationCardinality -> RelationCardinality -> Bool

(>=) :: RelationCardinality -> RelationCardinality -> Bool

max :: RelationCardinality -> RelationCardinality -> RelationCardinality

min :: RelationCardinality -> RelationCardinality -> RelationCardinality

Show RelationCardinality

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationCardinality -> ShowS

show :: RelationCardinality -> String

showList :: [RelationCardinality] -> ShowS

Generic RelationCardinality

Defined in ProjectM36.Base

Associated Types

type Rep RelationCardinality :: Type -> Type

Methods

from :: RelationCardinality -> Rep RelationCardinality x

to :: Rep RelationCardinality x -> RelationCardinality

Serialise RelationCardinality

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy RelationCardinality -> SchemaGen Schema

toBuilder :: RelationCardinality -> Builder

extractor :: Extractor RelationCardinality

decodeCurrent :: Decoder RelationCardinality

bundleSerialise :: BundleSerialise RelationCardinality

type Rep RelationCardinality

Defined in ProjectM36.Base

type Rep RelationCardinality = D1 ('MetaData "RelationCardinality" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "Countable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Finite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data TransactionGraphOperator

Operators which manipulate a transaction graph and which transaction the current Session is based upon.

Constructors

JumpToHead HeadName

JumpToTransaction TransactionId

WalkBackToTime UTCTime

Branch HeadName

DeleteBranch HeadName

MergeTransactions MergeStrategy HeadName HeadName

Commit

Rollback

Instances

Eq TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionGraphOperator -> TransactionGraphOperator -> Bool

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

Show TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionGraphOperator -> ShowS

show :: TransactionGraphOperator -> String

showList :: [TransactionGraphOperator] -> ShowS

Generic TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionGraphOperator :: Type -> Type

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator

Serialise TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionGraphOperator -> SchemaGen Schema

toBuilder :: TransactionGraphOperator -> Builder

extractor :: Extractor TransactionGraphOperator

decodeCurrent :: Decoder TransactionGraphOperator

bundleSerialise :: BundleSerialise TransactionGraphOperator

type Rep TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

type Rep TransactionGraphOperator = D1 ('MetaData "TransactionGraphOperator" "ProjectM36.TransactionGraph" "project-m36-0.9.4-inplace" 'False) (((C1 ('MetaCons "JumpToHead" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)) :+: C1 ('MetaCons "JumpToTransaction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId))) :+: (C1 ('MetaCons "WalkBackToTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :+: C1 ('MetaCons "Branch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)))) :+: ((C1 ('MetaCons "DeleteBranch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)) :+: C1 ('MetaCons "MergeTransactions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MergeStrategy) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName)))) :+: (C1 ('MetaCons "Commit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rollback" 'PrefixI 'False) (U1 :: Type -> Type))))

autoMergeToHead :: SessionId -> Connection -> MergeStrategy -> HeadName -> IO (Either RelationalError ())

Similar to a git rebase, autoMergeToHead atomically creates a temporary branch and merges it to the latest commit of the branch referred to by the HeadName and commits the merge. This is useful to reduce incidents of TransactionIsNotAHeadErrors but at the risk of merge errors (thus making it similar to rebasing). Alternatively, as an optimization, if a simple commit is possible (meaning that the head has not changed), then a fast-forward commit takes place instead.

transactionGraph_ :: Connection -> IO TransactionGraph

disconnectedTransaction_ :: SessionId -> Connection -> IO DisconnectedTransaction

type TransGraphRelationalExpr = RelationalExprBase TransactionIdLookup

The TransGraphRelationalExpression is equivalent to a relational expression except that relation variables can reference points in the transaction graph (at previous points in time).

data TransactionIdLookup

Record a lookup for a specific transaction in the graph.

Constructors

TransactionIdLookup TransactionId

TransactionIdHeadNameLookup HeadName [TransactionIdHeadBacktrack]

Instances

Eq TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionIdLookup -> TransactionIdLookup -> Bool

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

Show TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdLookup -> ShowS

show :: TransactionIdLookup -> String

showList :: [TransactionIdLookup] -> ShowS

Generic TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdLookup :: Type -> Type

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x

to :: Rep TransactionIdLookup x -> TransactionIdLookup

Serialise TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionIdLookup -> SchemaGen Schema

toBuilder :: TransactionIdLookup -> Builder

extractor :: Extractor TransactionIdLookup

decodeCurrent :: Decoder TransactionIdLookup

bundleSerialise :: BundleSerialise TransactionIdLookup

type Rep TransactionIdLookup

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdLookup = D1 ('MetaData "TransactionIdLookup" "ProjectM36.TransactionGraph" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "TransactionIdLookup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: C1 ('MetaCons "TransactionIdHeadNameLookup" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TransactionIdHeadBacktrack])))

data TransactionIdHeadBacktrack

Used for git-style head backtracking such as topic~3^2.

Constructors

TransactionIdHeadParentBacktrack Int

git equivalent of ~v: walk back n parents, arbitrarily choosing a parent when a choice must be made

TransactionIdHeadBranchBacktrack Int

git equivalent of ^: walk back one parent level to the nth arbitrarily-chosen parent

TransactionStampHeadBacktrack UTCTime

git equivalent of 'git-rev-list -n 1 --before X' find the first transaction which was created before the timestamp

Instances

Eq TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionIdHeadBacktrack -> TransactionIdHeadBacktrack -> Bool

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

Show TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdHeadBacktrack -> ShowS

show :: TransactionIdHeadBacktrack -> String

showList :: [TransactionIdHeadBacktrack] -> ShowS

Generic TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdHeadBacktrack :: Type -> Type

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack

Serialise TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionIdHeadBacktrack -> SchemaGen Schema

toBuilder :: TransactionIdHeadBacktrack -> Builder

extractor :: Extractor TransactionIdHeadBacktrack

decodeCurrent :: Decoder TransactionIdHeadBacktrack

bundleSerialise :: BundleSerialise TransactionIdHeadBacktrack

type Rep TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdHeadBacktrack = D1 ('MetaData "TransactionIdHeadBacktrack" "ProjectM36.TransactionGraph" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "TransactionIdHeadParentBacktrack" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "TransactionIdHeadBranchBacktrack" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "TransactionStampHeadBacktrack" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))))

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

DoubleAtom Double

TextAtom Text

DayAtom Day

DateTimeAtom UTCTime

ByteStringAtom ByteString

BoolAtom Bool

UUIDAtom UUID

RelationAtom Relation

RelationalExprAtom RelationalExpr

ConstructedAtom DataConstructorName AtomType [Atom]

Instances

Eq Atom

Defined in ProjectM36.Base

Methods

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

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

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

Generic Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Hashable Atom

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Atom -> Int

hash :: Atom -> Int

NFData Atom

Defined in ProjectM36.Base

Methods

rnf :: Atom -> ()

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-0.9.4-inplace" 'False) (((C1 ('MetaCons "IntegerAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: (C1 ('MetaCons "IntAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "DoubleAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :+: (C1 ('MetaCons "TextAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "DayAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day)) :+: C1 ('MetaCons "DateTimeAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))))) :+: ((C1 ('MetaCons "ByteStringAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: (C1 ('MetaCons "BoolAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "UUIDAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UUID)))) :+: (C1 ('MetaCons "RelationAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relation)) :+: (C1 ('MetaCons "RelationalExprAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr)) :+: C1 ('MetaCons "ConstructedAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Atom])))))))

data Session

Represents a pointer into the database's transaction graph which the DatabaseContextExprs can then modify subsequently be committed to extend the transaction graph. The session contains staged (uncommitted) database changes as well as the means to switch between isomorphic schemas.

type SessionId = UUID

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 EvaluatedNotification

When a notification is fired, the reportOldExpr is evaluated in the commit's pre-change context while the reportNewExpr is evaluated in the post-change context and they are returned along with the original notification.

Constructors

EvaluatedNotification

Fields

• notification :: Notification
• reportOldRelation :: Either RelationalError Relation
• reportNewRelation :: Either RelationalError Relation

Instances

Eq EvaluatedNotification

Defined in ProjectM36.Client

Methods

(==) :: EvaluatedNotification -> EvaluatedNotification -> Bool

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

Show EvaluatedNotification

Defined in ProjectM36.Client

Methods

showsPrec :: Int -> EvaluatedNotification -> ShowS

show :: EvaluatedNotification -> String

showList :: [EvaluatedNotification] -> ShowS

Generic EvaluatedNotification

Defined in ProjectM36.Client

Associated Types

type Rep EvaluatedNotification :: Type -> Type

Methods

from :: EvaluatedNotification -> Rep EvaluatedNotification x

to :: Rep EvaluatedNotification x -> EvaluatedNotification

Serialise EvaluatedNotification

Defined in ProjectM36.Client

Methods

schemaGen :: Proxy EvaluatedNotification -> SchemaGen Schema

toBuilder :: EvaluatedNotification -> Builder

extractor :: Extractor EvaluatedNotification

decodeCurrent :: Decoder EvaluatedNotification

bundleSerialise :: BundleSerialise EvaluatedNotification

type Rep EvaluatedNotification

Defined in ProjectM36.Client

type Rep EvaluatedNotification = D1 ('MetaData "EvaluatedNotification" "ProjectM36.Client" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "EvaluatedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "notification") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Notification) :*: (S1 ('MetaSel ('Just "reportOldRelation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either RelationalError Relation)) :*: S1 ('MetaSel ('Just "reportNewRelation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either RelationalError Relation)))))

atomTypesAsRelation :: SessionId -> Connection -> IO (Either RelationalError Relation)

Returns a listing of all available atom types.

type AttributeExpr = AttributeExprBase ()

inclusionDependencyForKey :: AttributeNames -> RelationalExpr -> InclusionDependency

Create a uniqueness constraint for the attribute names and relational expression. Note that constraint can span multiple relation variables.

databaseContextExprForUniqueKey :: RelVarName -> [AttributeName] -> DatabaseContextExpr

Create a DatabaseContextExpr which can be used to add a uniqueness constraint to attributes on one relation variable.

databaseContextExprForForeignKey :: IncDepName -> (RelVarName, [AttributeName]) -> (RelVarName, [AttributeName]) -> DatabaseContextExpr

Create a foreign key constraint from the first relation variable and attributes to the second.

createScriptedAtomFunction :: FunctionName -> [TypeConstructor] -> TypeConstructor -> FunctionBodyScript -> DatabaseContextIOExpr

Create a DatabaseContextIOExpr which can be used to load a new atom function written in Haskell and loaded at runtime.

validateMerkleHashes :: SessionId -> Connection -> IO (Either RelationalError ())

data AttributeExprBase a

Create attributes dynamically.

Constructors

AttributeAndTypeNameExpr AttributeName TypeConstructor a

NakedAttributeExpr Attribute

Instances

Functor AttributeExprBase

Defined in ProjectM36.Base

Methods

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

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

Foldable AttributeExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => AttributeExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> AttributeExprBase a -> a

foldl1 :: (a -> a -> a) -> AttributeExprBase a -> a

toList :: AttributeExprBase a -> [a]

null :: AttributeExprBase a -> Bool

length :: AttributeExprBase a -> Int

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

maximum :: Ord a => AttributeExprBase a -> a

minimum :: Ord a => AttributeExprBase a -> a

sum :: Num a => AttributeExprBase a -> a

product :: Num a => AttributeExprBase a -> a

Traversable AttributeExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

(KnownSymbol x, Atomable a) => IsLabel x (HaskAtomType a -> AttributeExpr)

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: HaskAtomType a -> AttributeExpr

Eq a => Eq (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (AttributeExprBase a)

readList :: ReadS [AttributeExprBase a]

readPrec :: ReadPrec (AttributeExprBase a)

readListPrec :: ReadPrec [AttributeExprBase a]

Show a => Show (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AttributeExprBase a -> ShowS

show :: AttributeExprBase a -> String

showList :: [AttributeExprBase a] -> ShowS

Generic (AttributeExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Hashable a => Hashable (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AttributeExprBase a -> Int

hash :: AttributeExprBase a -> Int

NFData a => NFData (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeExprBase a -> ()

Serialise a => Serialise (AttributeExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: AttributeExprBase a -> Builder

extractor :: Extractor (AttributeExprBase a)

decodeCurrent :: Decoder (AttributeExprBase a)

bundleSerialise :: BundleSerialise (AttributeExprBase a)

type Rep (AttributeExprBase a)

Defined in ProjectM36.Base

type Rep (AttributeExprBase a) = D1 ('MetaData "AttributeExprBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "AttributeAndTypeNameExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "NakedAttributeExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)))

data TypeConstructorBase a

Constructors

ADTypeConstructor TypeConstructorName [TypeConstructor]

PrimitiveTypeConstructor TypeConstructorName AtomType

RelationAtomTypeConstructor [AttributeExprBase a]

TypeVariable TypeVarName

Instances

Eq a => Eq (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (TypeConstructorBase a)

readList :: ReadS [TypeConstructorBase a]

readPrec :: ReadPrec (TypeConstructorBase a)

readListPrec :: ReadPrec [TypeConstructorBase a]

Show a => Show (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TypeConstructorBase a -> ShowS

show :: TypeConstructorBase a -> String

showList :: [TypeConstructorBase a] -> ShowS

Generic (TypeConstructorBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Hashable a => Hashable (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TypeConstructorBase a -> Int

hash :: TypeConstructorBase a -> Int

NFData a => NFData (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorBase a -> ()

Serialise a => Serialise (TypeConstructorBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: TypeConstructorBase a -> Builder

extractor :: Extractor (TypeConstructorBase a)

decodeCurrent :: Decoder (TypeConstructorBase a)

bundleSerialise :: BundleSerialise (TypeConstructorBase a)

type Rep (TypeConstructorBase a)

Defined in ProjectM36.Base

type Rep (TypeConstructorBase a) = D1 ('MetaData "TypeConstructorBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "ADTypeConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeConstructor])) :+: C1 ('MetaCons "PrimitiveTypeConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType))) :+: (C1 ('MetaCons "RelationAtomTypeConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeExprBase a])) :+: C1 ('MetaCons "TypeVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName))))

data TypeConstructorDef

Metadata definition for type constructors such as data Either a b.

Constructors

ADTypeConstructorDef TypeConstructorName [TypeVarName]

PrimitiveTypeConstructorDef TypeConstructorName AtomType

Instances

Eq TypeConstructorDef

Defined in ProjectM36.Base

Methods

(==) :: TypeConstructorDef -> TypeConstructorDef -> Bool

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

Read TypeConstructorDef

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS TypeConstructorDef

readList :: ReadS [TypeConstructorDef]

readPrec :: ReadPrec TypeConstructorDef

readListPrec :: ReadPrec [TypeConstructorDef]

Show TypeConstructorDef

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TypeConstructorDef -> ShowS

show :: TypeConstructorDef -> String

showList :: [TypeConstructorDef] -> ShowS

Generic TypeConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep TypeConstructorDef :: Type -> Type

Methods

from :: TypeConstructorDef -> Rep TypeConstructorDef x

to :: Rep TypeConstructorDef x -> TypeConstructorDef

Hashable TypeConstructorDef

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TypeConstructorDef -> Int

hash :: TypeConstructorDef -> Int

NFData TypeConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorDef -> ()

Serialise TypeConstructorDef

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy TypeConstructorDef -> SchemaGen Schema

toBuilder :: TypeConstructorDef -> Builder

extractor :: Extractor TypeConstructorDef

decodeCurrent :: Decoder TypeConstructorDef

bundleSerialise :: BundleSerialise TypeConstructorDef

type Rep TypeConstructorDef

Defined in ProjectM36.Base

type Rep TypeConstructorDef = D1 ('MetaData "TypeConstructorDef" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "ADTypeConstructorDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeVarName])) :+: C1 ('MetaCons "PrimitiveTypeConstructorDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)))

data DataConstructorDef

Used to define a data constructor in a type constructor context such as Left a | Right b

Constructors

DataConstructorDef DataConstructorName [DataConstructorDefArg]

Instances

Eq DataConstructorDef

Defined in ProjectM36.Base

Methods

(==) :: DataConstructorDef -> DataConstructorDef -> Bool

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

Read DataConstructorDef

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS DataConstructorDef

readList :: ReadS [DataConstructorDef]

readPrec :: ReadPrec DataConstructorDef

readListPrec :: ReadPrec [DataConstructorDef]

Show DataConstructorDef

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DataConstructorDef -> ShowS

show :: DataConstructorDef -> String

showList :: [DataConstructorDef] -> ShowS

Generic DataConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDef :: Type -> Type

Methods

from :: DataConstructorDef -> Rep DataConstructorDef x

to :: Rep DataConstructorDef x -> DataConstructorDef

Hashable DataConstructorDef

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DataConstructorDef -> Int

hash :: DataConstructorDef -> Int

NFData DataConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: DataConstructorDef -> ()

Serialise DataConstructorDef

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy DataConstructorDef -> SchemaGen Schema

toBuilder :: DataConstructorDef -> Builder

extractor :: Extractor DataConstructorDef

decodeCurrent :: Decoder DataConstructorDef

bundleSerialise :: BundleSerialise DataConstructorDef

type Rep DataConstructorDef

Defined in ProjectM36.Base

type Rep DataConstructorDef = D1 ('MetaData "DataConstructorDef" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "DataConstructorDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataConstructorDefArg])))

data AttributeNamesBase a

An AtomFunction has a name, a type, and a function body to execute when called.

The AttributeNames structure represents a set of attribute names or the same set of names but inverted in the context of a relational expression. For example, if a relational expression has attributes named "a", "b", and "c", the InvertedAttributeNames of ("a","c") is ("b").

Constructors

AttributeNames (Set AttributeName)

InvertedAttributeNames (Set AttributeName)

UnionAttributeNames (AttributeNamesBase a) (AttributeNamesBase a)

IntersectAttributeNames (AttributeNamesBase a) (AttributeNamesBase a)

RelationalExprAttributeNames (RelationalExprBase a)

Instances

Functor AttributeNamesBase

Defined in ProjectM36.Base

Methods

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

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

Foldable AttributeNamesBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => AttributeNamesBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> AttributeNamesBase a -> a

foldl1 :: (a -> a -> a) -> AttributeNamesBase a -> a

toList :: AttributeNamesBase a -> [a]

null :: AttributeNamesBase a -> Bool

length :: AttributeNamesBase a -> Int

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

maximum :: Ord a => AttributeNamesBase a -> a

minimum :: Ord a => AttributeNamesBase a -> a

sum :: Num a => AttributeNamesBase a -> a

product :: Num a => AttributeNamesBase a -> a

Traversable AttributeNamesBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Hashable AttributeNames

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AttributeNames -> Int

hash :: AttributeNames -> Int

ResolveGraphRefTransactionMarker GraphRefAttributeNames

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefAttributeNames -> DatabaseContextEvalMonad GraphRefAttributeNames

IsList (AttributeNamesBase ())

Defined in ProjectM36.Shortcuts

Associated Types

type Item (AttributeNamesBase ())

Methods

fromList :: [Item (AttributeNamesBase ())] -> AttributeNamesBase ()

fromListN :: Int -> [Item (AttributeNamesBase ())] -> AttributeNamesBase ()

toList :: AttributeNamesBase () -> [Item (AttributeNamesBase ())]

Eq a => Eq (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (AttributeNamesBase a)

readList :: ReadS [AttributeNamesBase a]

readPrec :: ReadPrec (AttributeNamesBase a)

readListPrec :: ReadPrec [AttributeNamesBase a]

Show a => Show (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AttributeNamesBase a -> ShowS

show :: AttributeNamesBase a -> String

showList :: [AttributeNamesBase a] -> ShowS

Generic (AttributeNamesBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeNamesBase a -> ()

Serialise a => Serialise (AttributeNamesBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: AttributeNamesBase a -> Builder

extractor :: Extractor (AttributeNamesBase a)

decodeCurrent :: Decoder (AttributeNamesBase a)

bundleSerialise :: BundleSerialise (AttributeNamesBase a)

type Rep (AttributeNamesBase a)

Defined in ProjectM36.Base

type Rep (AttributeNamesBase a) = D1 ('MetaData "AttributeNamesBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "AttributeNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 ('MetaCons "InvertedAttributeNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AttributeName)))) :+: (C1 ('MetaCons "UnionAttributeNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a))) :+: (C1 ('MetaCons "IntersectAttributeNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttributeNamesBase a))) :+: C1 ('MetaCons "RelationalExprAttributeNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))))))

type Item (AttributeNamesBase ())

Defined in ProjectM36.Shortcuts

type Item (AttributeNamesBase ()) = AttributeName

type RelVarName = StringType

Relation variables are identified by their names.

type IncDepName = StringType

data InclusionDependency

Inclusion dependencies represent every possible database constraint. Constraints enforce specific, arbitrarily-complex rules to which the database context's relation variables must adhere unconditionally.

Constructors

InclusionDependency RelationalExpr RelationalExpr

Instances

Eq InclusionDependency

Defined in ProjectM36.Base

Methods

(==) :: InclusionDependency -> InclusionDependency -> Bool

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

Read InclusionDependency

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS InclusionDependency

readList :: ReadS [InclusionDependency]

readPrec :: ReadPrec InclusionDependency

readListPrec :: ReadPrec [InclusionDependency]

Show InclusionDependency

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> InclusionDependency -> ShowS

show :: InclusionDependency -> String

showList :: [InclusionDependency] -> ShowS

Generic InclusionDependency

Defined in ProjectM36.Base

Associated Types

type Rep InclusionDependency :: Type -> Type

Methods

from :: InclusionDependency -> Rep InclusionDependency x

to :: Rep InclusionDependency x -> InclusionDependency

Hashable InclusionDependency

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> InclusionDependency -> Int

hash :: InclusionDependency -> Int

NFData InclusionDependency

Defined in ProjectM36.Base

Methods

rnf :: InclusionDependency -> ()

Serialise InclusionDependency

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy InclusionDependency -> SchemaGen Schema

toBuilder :: InclusionDependency -> Builder

extractor :: Extractor InclusionDependency

decodeCurrent :: Decoder InclusionDependency

bundleSerialise :: BundleSerialise InclusionDependency

type Rep InclusionDependency

Defined in ProjectM36.Base

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

type AttributeName = StringType

The AttributeName is the name of an attribute in a relation.

data DataFrame

Instances

Show DataFrame

Defined in ProjectM36.DataFrame

Methods

showsPrec :: Int -> DataFrame -> ShowS

show :: DataFrame -> String

showList :: [DataFrame] -> ShowS

Generic DataFrame

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrame :: Type -> Type

Methods

from :: DataFrame -> Rep DataFrame x

to :: Rep DataFrame x -> DataFrame

Serialise DataFrame

Defined in ProjectM36.Serialise.DataFrame

Methods

schemaGen :: Proxy DataFrame -> SchemaGen Schema

toBuilder :: DataFrame -> Builder

extractor :: Extractor DataFrame

decodeCurrent :: Decoder DataFrame

bundleSerialise :: BundleSerialise DataFrame

type Rep DataFrame

Defined in ProjectM36.DataFrame

type Rep DataFrame = D1 ('MetaData "DataFrame" "ProjectM36.DataFrame" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "DataFrame" 'PrefixI 'True) (S1 ('MetaSel ('Just "orders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeOrder]) :*: (S1 ('MetaSel ('Just "attributes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Just "tuples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataFrameTuple]))))

data DataFrameExpr

A Relation can be converted to a DataFrame for sorting, limits, and offsets.

Instances

Show DataFrameExpr

Defined in ProjectM36.DataFrame

Methods

showsPrec :: Int -> DataFrameExpr -> ShowS

show :: DataFrameExpr -> String

showList :: [DataFrameExpr] -> ShowS

Generic DataFrameExpr

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrameExpr :: Type -> Type

Methods

from :: DataFrameExpr -> Rep DataFrameExpr x

to :: Rep DataFrameExpr x -> DataFrameExpr

Serialise DataFrameExpr

Defined in ProjectM36.Serialise.DataFrame

Methods

schemaGen :: Proxy DataFrameExpr -> SchemaGen Schema

toBuilder :: DataFrameExpr -> Builder

extractor :: Extractor DataFrameExpr

decodeCurrent :: Decoder DataFrameExpr

bundleSerialise :: BundleSerialise DataFrameExpr

type Rep DataFrameExpr

Defined in ProjectM36.DataFrame

type Rep DataFrameExpr = D1 ('MetaData "DataFrameExpr" "ProjectM36.DataFrame" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "DataFrameExpr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "convertExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr) :*: S1 ('MetaSel ('Just "orderExprs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AttributeOrderExpr])) :*: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)) :*: S1 ('MetaSel ('Just "limit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)))))

data AttributeOrderExpr

Instances

Show AttributeOrderExpr

Defined in ProjectM36.DataFrame

Methods

showsPrec :: Int -> AttributeOrderExpr -> ShowS

show :: AttributeOrderExpr -> String

showList :: [AttributeOrderExpr] -> ShowS

Generic AttributeOrderExpr

Defined in ProjectM36.DataFrame

Associated Types

type Rep AttributeOrderExpr :: Type -> Type

Methods

from :: AttributeOrderExpr -> Rep AttributeOrderExpr x

to :: Rep AttributeOrderExpr x -> AttributeOrderExpr

Serialise AttributeOrderExpr

Defined in ProjectM36.Serialise.DataFrame

Methods

schemaGen :: Proxy AttributeOrderExpr -> SchemaGen Schema

toBuilder :: AttributeOrderExpr -> Builder

extractor :: Extractor AttributeOrderExpr

decodeCurrent :: Decoder AttributeOrderExpr

bundleSerialise :: BundleSerialise AttributeOrderExpr

type Rep AttributeOrderExpr

Defined in ProjectM36.DataFrame

type Rep AttributeOrderExpr = D1 ('MetaData "AttributeOrderExpr" "ProjectM36.DataFrame" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "AttributeOrderExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Order)))

data Order

Constructors

AscendingOrder

DescendingOrder

Instances

Eq Order

Defined in ProjectM36.DataFrame

Methods

(==) :: Order -> Order -> Bool

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

Show Order

Defined in ProjectM36.DataFrame

Methods

showsPrec :: Int -> Order -> ShowS

show :: Order -> String

showList :: [Order] -> ShowS

Generic Order

Defined in ProjectM36.DataFrame

Associated Types

type Rep Order :: Type -> Type

Methods

from :: Order -> Rep Order x

to :: Rep Order x -> Order

Serialise Order

Defined in ProjectM36.Serialise.DataFrame

Methods

schemaGen :: Proxy Order -> SchemaGen Schema

toBuilder :: Order -> Builder

extractor :: Extractor Order

decodeCurrent :: Decoder Order

bundleSerialise :: BundleSerialise Order

type Rep Order

Defined in ProjectM36.DataFrame

type Rep Order = D1 ('MetaData "Order" "ProjectM36.DataFrame" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "AscendingOrder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DescendingOrder" 'PrefixI 'False) (U1 :: Type -> Type))

data RelationalError

Constructors

NoSuchAttributeNamesError (Set AttributeName)

TupleAttributeCountMismatchError Int

EmptyAttributesError

DuplicateAttributeNamesError (Set AttributeName)

TupleAttributeTypeMismatchError Attributes

AttributeCountMismatchError Int

AttributeNamesMismatchError (Set AttributeName)

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

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

MultipleErrors [RelationalError]

Instances

Eq RelationalError

Defined in ProjectM36.Error

Methods

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

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

Show RelationalError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> RelationalError -> ShowS

show :: RelationalError -> String

showList :: [RelationalError] -> ShowS

Generic RelationalError

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: Type -> Type

Methods

from :: RelationalError -> Rep RelationalError x

to :: Rep RelationalError x -> RelationalError

NFData RelationalError

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> ()

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-0.9.4-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 "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 "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 "MultipleErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelationalError])))))))))

data RequestTimeoutException

Constructors

RequestTimeoutException

Instances

Eq RequestTimeoutException

Defined in ProjectM36.Client

Methods

(==) :: RequestTimeoutException -> RequestTimeoutException -> Bool

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

Show RequestTimeoutException

Defined in ProjectM36.Client

Methods

showsPrec :: Int -> RequestTimeoutException -> ShowS

show :: RequestTimeoutException -> String

showList :: [RequestTimeoutException] -> ShowS

Exception RequestTimeoutException

Defined in ProjectM36.Client

Methods

toException :: RequestTimeoutException -> SomeException

fromException :: SomeException -> Maybe RequestTimeoutException

displayException :: RequestTimeoutException -> String

data RemoteProcessDiedException

Constructors

RemoteProcessDiedException

Instances

Eq RemoteProcessDiedException

Defined in ProjectM36.Client

Methods

(==) :: RemoteProcessDiedException -> RemoteProcessDiedException -> Bool

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

Show RemoteProcessDiedException

Defined in ProjectM36.Client

Methods

showsPrec :: Int -> RemoteProcessDiedException -> ShowS

show :: RemoteProcessDiedException -> String

showList :: [RemoteProcessDiedException] -> ShowS

Exception RemoteProcessDiedException

Defined in ProjectM36.Client

Methods

toException :: RemoteProcessDiedException -> SomeException

fromException :: SomeException -> Maybe RemoteProcessDiedException

displayException :: RemoteProcessDiedException -> String

data AtomType

The AtomType uniquely identifies the type of a atom.

Constructors

IntAtomType

IntegerAtomType

DoubleAtomType

TextAtomType

DayAtomType

DateTimeAtomType

ByteStringAtomType

BoolAtomType

UUIDAtomType

RelationAtomType Attributes

ConstructedAtomType TypeConstructorName TypeVarMap

RelationalExprAtomType

TypeVariableType TypeVarName

Instances

Eq AtomType

Defined in ProjectM36.Base

Methods

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

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

Ord AtomType

Defined in ProjectM36.Base

Methods

compare :: AtomType -> AtomType -> Ordering

(<) :: AtomType -> AtomType -> Bool

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

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

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

max :: AtomType -> AtomType -> AtomType

min :: AtomType -> AtomType -> 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

Generic AtomType

Defined in ProjectM36.Base

Associated Types

type Rep AtomType :: Type -> Type

Methods

from :: AtomType -> Rep AtomType x

to :: Rep AtomType x -> AtomType

Hashable AtomType

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AtomType -> Int

hash :: AtomType -> Int

NFData AtomType

Defined in ProjectM36.Base

Methods

rnf :: AtomType -> ()

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-0.9.4-inplace" 'False) (((C1 ('MetaCons "IntAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntegerAtomType" '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))))))

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

toAtomType :: proxy a -> AtomType

default toAtomType :: (Generic a, AtomableG (Rep a)) => proxy a -> AtomType

toAddTypeExpr :: proxy a -> DatabaseContextExpr

Creates DatabaseContextExpr necessary to load the type constructor and data constructor into the database.

default toAddTypeExpr :: (Generic a, AtomableG (Rep a)) => proxy a -> DatabaseContextExpr

Instances

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 Integer

Defined in ProjectM36.Atomable

Methods

toAtom :: Integer -> Atom

fromAtom :: Atom -> Integer

toAtomType :: proxy Integer -> AtomType

toAddTypeExpr :: proxy Integer -> DatabaseContextExpr

Atomable ByteString

Defined in ProjectM36.Atomable

Methods

toAtom :: ByteString -> Atom

fromAtom :: Atom -> ByteString

toAtomType :: proxy ByteString -> AtomType

toAddTypeExpr :: proxy ByteString -> DatabaseContextExpr

Atomable UTCTime

Defined in ProjectM36.Atomable

Methods

toAtom :: UTCTime -> Atom

fromAtom :: Atom -> UTCTime

toAtomType :: proxy UTCTime -> AtomType

toAddTypeExpr :: proxy UTCTime -> 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 UUID

Defined in ProjectM36.Atomable

Methods

toAtom :: UUID -> Atom

fromAtom :: Atom -> UUID

toAtomType :: proxy UUID -> AtomType

toAddTypeExpr :: proxy UUID -> 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 (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 (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 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

newtype TupleExprBase a

Dynamically create a tuple from attribute names and AtomExprs.

Constructors

TupleExpr (Map AttributeName (AtomExprBase a))

Instances

IsList TupleExpr

Defined in ProjectM36.Shortcuts

Associated Types

type Item TupleExpr

Methods

fromList :: [Item TupleExpr] -> TupleExpr

fromListN :: Int -> [Item TupleExpr] -> TupleExpr

toList :: TupleExpr -> [Item TupleExpr]

Functor TupleExprBase

Defined in ProjectM36.Base

Methods

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

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

Foldable TupleExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => TupleExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> TupleExprBase a -> a

foldl1 :: (a -> a -> a) -> TupleExprBase a -> a

toList :: TupleExprBase a -> [a]

null :: TupleExprBase a -> Bool

length :: TupleExprBase a -> Int

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

maximum :: Ord a => TupleExprBase a -> a

minimum :: Ord a => TupleExprBase a -> a

sum :: Num a => TupleExprBase a -> a

product :: Num a => TupleExprBase a -> a

Traversable TupleExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Hashable TupleExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TupleExpr -> Int

hash :: TupleExpr -> Int

ResolveGraphRefTransactionMarker GraphRefTupleExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefTupleExpr -> DatabaseContextEvalMonad GraphRefTupleExpr

Eq a => Eq (TupleExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (TupleExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (TupleExprBase a)

readList :: ReadS [TupleExprBase a]

readPrec :: ReadPrec (TupleExprBase a)

readListPrec :: ReadPrec [TupleExprBase a]

Show a => Show (TupleExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TupleExprBase a -> ShowS

show :: TupleExprBase a -> String

showList :: [TupleExprBase a] -> ShowS

Generic (TupleExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (TupleExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: TupleExprBase a -> ()

Serialise a => Serialise (TupleExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: TupleExprBase a -> Builder

extractor :: Extractor (TupleExprBase a)

decodeCurrent :: Decoder (TupleExprBase a)

bundleSerialise :: BundleSerialise (TupleExprBase a)

type Item TupleExpr

Defined in ProjectM36.Shortcuts

type Item TupleExpr = (AttributeName, AtomExpr)

type Rep (TupleExprBase a)

Defined in ProjectM36.Base

type Rep (TupleExprBase a) = D1 ('MetaData "TupleExprBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'True) (C1 ('MetaCons "TupleExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AttributeName (AtomExprBase a)))))

data TupleExprsBase a

Constructors

TupleExprs a [TupleExprBase a]

Instances

Functor TupleExprsBase

Defined in ProjectM36.Base

Methods

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

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

Foldable TupleExprsBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => TupleExprsBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> TupleExprsBase a -> a

foldl1 :: (a -> a -> a) -> TupleExprsBase a -> a

toList :: TupleExprsBase a -> [a]

null :: TupleExprsBase a -> Bool

length :: TupleExprsBase a -> Int

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

maximum :: Ord a => TupleExprsBase a -> a

minimum :: Ord a => TupleExprsBase a -> a

sum :: Num a => TupleExprsBase a -> a

product :: Num a => TupleExprsBase a -> a

Traversable TupleExprsBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Hashable TupleExprs

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TupleExprs -> Int

hash :: TupleExprs -> Int

ResolveGraphRefTransactionMarker GraphRefTupleExprs

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefTupleExprs -> DatabaseContextEvalMonad GraphRefTupleExprs

IsList (TupleExprsBase ())

Defined in ProjectM36.Shortcuts

Associated Types

type Item (TupleExprsBase ())

Methods

fromList :: [Item (TupleExprsBase ())] -> TupleExprsBase ()

fromListN :: Int -> [Item (TupleExprsBase ())] -> TupleExprsBase ()

toList :: TupleExprsBase () -> [Item (TupleExprsBase ())]

Eq a => Eq (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (TupleExprsBase a)

readList :: ReadS [TupleExprsBase a]

readPrec :: ReadPrec (TupleExprsBase a)

readListPrec :: ReadPrec [TupleExprsBase a]

Show a => Show (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TupleExprsBase a -> ShowS

show :: TupleExprsBase a -> String

showList :: [TupleExprsBase a] -> ShowS

Generic (TupleExprsBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

rnf :: TupleExprsBase a -> ()

Serialise a => Serialise (TupleExprsBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: TupleExprsBase a -> Builder

extractor :: Extractor (TupleExprsBase a)

decodeCurrent :: Decoder (TupleExprsBase a)

bundleSerialise :: BundleSerialise (TupleExprsBase a)

type Item TupleExprs

Defined in ProjectM36.Shortcuts

type Item TupleExprs = TupleExpr

type Rep (TupleExprsBase a)

Defined in ProjectM36.Base

type Rep (TupleExprsBase a) = D1 ('MetaData "TupleExprsBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) (C1 ('MetaCons "TupleExprs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TupleExprBase a])))

data AtomExprBase a

An atom expression represents an action to take when extending a relation or when statically defining a relation or a new tuple.

Constructors

AttributeAtomExpr AttributeName

NakedAtomExpr Atom

FunctionAtomExpr FunctionName [AtomExprBase a] a

RelationAtomExpr (RelationalExprBase a)

ConstructedAtomExpr DataConstructorName [AtomExprBase a] a

Instances

Functor AtomExprBase

Defined in ProjectM36.Base

Methods

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

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

Foldable AtomExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => AtomExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> AtomExprBase a -> a

foldl1 :: (a -> a -> a) -> AtomExprBase a -> a

toList :: AtomExprBase a -> [a]

null :: AtomExprBase a -> Bool

length :: AtomExprBase a -> Int

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

maximum :: Ord a => AtomExprBase a -> a

minimum :: Ord a => AtomExprBase a -> a

sum :: Num a => AtomExprBase a -> a

product :: Num a => AtomExprBase a -> a

Traversable AtomExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Hashable AtomExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AtomExpr -> Int

hash :: AtomExpr -> Int

ResolveGraphRefTransactionMarker GraphRefAtomExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefAtomExpr -> DatabaseContextEvalMonad GraphRefAtomExpr

KnownSymbol x => IsLabel x AtomExpr

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: AtomExpr

Atomable a => Convertible a AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: a -> ConvertResult AtomExpr

Convertible AtomExpr AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: AtomExpr -> ConvertResult AtomExpr

Convertible AtomExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr

Convertible RelationalExpr AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr

Convertible RelVarName AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelVarName -> ConvertResult AtomExpr

(KnownSymbol x, Convertible a AtomExpr) => IsLabel x ([a] -> AtomExpr)

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: [a] -> AtomExpr

(Convertible a AtomExpr, KnownSymbol x) => IsLabel x (a -> (AttributeName, AtomExpr))

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: a -> (AttributeName, AtomExpr)

Eq a => Eq (AtomExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (AtomExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (AtomExprBase a)

readList :: ReadS [AtomExprBase a]

readPrec :: ReadPrec (AtomExprBase a)

readListPrec :: ReadPrec [AtomExprBase a]

Show a => Show (AtomExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomExprBase a -> ShowS

show :: AtomExprBase a -> String

showList :: [AtomExprBase a] -> ShowS

Generic (AtomExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (AtomExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AtomExprBase a -> ()

Serialise a => Serialise (AtomExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: AtomExprBase a -> Builder

extractor :: Extractor (AtomExprBase a)

decodeCurrent :: Decoder (AtomExprBase a)

bundleSerialise :: BundleSerialise (AtomExprBase a)

type Rep (AtomExprBase a)

Defined in ProjectM36.Base

type Rep (AtomExprBase a) = D1 ('MetaData "AtomExprBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "AttributeAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: C1 ('MetaCons "NakedAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Atom))) :+: (C1 ('MetaCons "FunctionAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomExprBase a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "RelationAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 ('MetaCons "ConstructedAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DataConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomExprBase a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))))

data RestrictionPredicateExprBase a

Restriction predicates are boolean algebra components which, when composed, indicate whether or not a tuple should be retained during a restriction (filtering) operation.

Constructors

TruePredicate

AndPredicate (RestrictionPredicateExprBase a) (RestrictionPredicateExprBase a)

OrPredicate (RestrictionPredicateExprBase a) (RestrictionPredicateExprBase a)

NotPredicate (RestrictionPredicateExprBase a)

RelationalExprPredicate (RelationalExprBase a)

AtomExprPredicate (AtomExprBase a)

AttributeEqualityPredicate AttributeName (AtomExprBase a)

Instances

Functor RestrictionPredicateExprBase

Defined in ProjectM36.Base

Methods

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

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

Foldable RestrictionPredicateExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => RestrictionPredicateExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> RestrictionPredicateExprBase a -> a

foldl1 :: (a -> a -> a) -> RestrictionPredicateExprBase a -> a

toList :: RestrictionPredicateExprBase a -> [a]

null :: RestrictionPredicateExprBase a -> Bool

length :: RestrictionPredicateExprBase a -> Int

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

maximum :: Ord a => RestrictionPredicateExprBase a -> a

minimum :: Ord a => RestrictionPredicateExprBase a -> a

sum :: Num a => RestrictionPredicateExprBase a -> a

product :: Num a => RestrictionPredicateExprBase a -> a

Traversable RestrictionPredicateExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Hashable RestrictionPredicateExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RestrictionPredicateExpr -> Int

hash :: RestrictionPredicateExpr -> Int

ResolveGraphRefTransactionMarker GraphRefRestrictionPredicateExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRestrictionPredicateExpr -> DatabaseContextEvalMonad GraphRefRestrictionPredicateExpr

Atomable a => Convertible a RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: a -> ConvertResult RestrictionPredicateExpr

Convertible AtomExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr

Convertible RestrictionPredicateExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RestrictionPredicateExpr -> ConvertResult RestrictionPredicateExpr

Convertible RelationalExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr

Eq a => Eq (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Read a => Read (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (RestrictionPredicateExprBase a)

readList :: ReadS [RestrictionPredicateExprBase a]

readPrec :: ReadPrec (RestrictionPredicateExprBase a)

readListPrec :: ReadPrec [RestrictionPredicateExprBase a]

Show a => Show (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RestrictionPredicateExprBase a -> ShowS

show :: RestrictionPredicateExprBase a -> String

showList :: [RestrictionPredicateExprBase a] -> ShowS

Generic (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RestrictionPredicateExprBase a -> ()

Serialise a => Serialise (RestrictionPredicateExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: RestrictionPredicateExprBase a -> Builder

extractor :: Extractor (RestrictionPredicateExprBase a)

decodeCurrent :: Decoder (RestrictionPredicateExprBase a)

bundleSerialise :: BundleSerialise (RestrictionPredicateExprBase a)

type Rep (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

type Rep (RestrictionPredicateExprBase a) = D1 ('MetaData "RestrictionPredicateExprBase" "ProjectM36.Base" "project-m36-0.9.4-inplace" 'False) ((C1 ('MetaCons "TruePredicate" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AndPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a))) :+: C1 ('MetaCons "OrPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a))))) :+: ((C1 ('MetaCons "NotPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RestrictionPredicateExprBase a))) :+: C1 ('MetaCons "RelationalExprPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 ('MetaCons "AtomExprPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AtomExprBase a))) :+: C1 ('MetaCons "AttributeEqualityPredicate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AtomExprBase a))))))

withTransaction :: SessionId -> Connection -> IO (Either RelationalError a) -> IO (Either RelationalError ()) -> IO (Either RelationalError a)

Runs an IO monad, commits the result when the monad returns no errors, otherwise, rolls back the changes and the error.