ProjectM36.Base

Documentation

type StringType = Text

type DatabaseName = String

data Atom

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

Constructors

IntegerAtom !Integer

IntAtom !Int

ScientificAtom !Scientific

DoubleAtom !Double

TextAtom !Text

DayAtom !Day

DateTimeAtom !UTCTime

ByteStringAtom !ByteString

BoolAtom !Bool

UUIDAtom !UUID

RelationAtom !Relation

RelationalExprAtom !RelationalExpr

SubrelationFoldAtom !Relation !AttributeName

ConstructedAtom !DataConstructorName !AtomType [Atom]

Instances

Generic Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Read Atom

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Atom

readList :: ReadS [Atom]

readPrec :: ReadPrec Atom

readListPrec :: ReadPrec [Atom]

Show Atom

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

NFData Atom

Defined in ProjectM36.Base

Methods

rnf :: Atom -> ()

Eq Atom

Defined in ProjectM36.Base

Methods

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

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

Hashable Atom

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Atom -> Int

hash :: Atom -> Int

HashBytes Atom

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Atom -> Ctx -> Ctx

HashBytes AtomFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunction -> Ctx -> Ctx

HashBytes AtomFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunctions -> Ctx -> Ctx

HashBytes DatabaseContextFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunction -> Ctx -> Ctx

HashBytes DatabaseContextFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunctions -> Ctx -> Ctx

Serialise Atom

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Atom -> SchemaGen Schema

toBuilder :: Atom -> Builder

extractor :: Extractor Atom

decodeCurrent :: Decoder Atom

bundleSerialise :: BundleSerialise Atom

type Rep Atom

Defined in ProjectM36.Base

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

data AtomType

The AtomType uniquely identifies the type of a atom.

Constructors

IntAtomType

IntegerAtomType

ScientificAtomType

DoubleAtomType

TextAtomType

DayAtomType

DateTimeAtomType

ByteStringAtomType

BoolAtomType

UUIDAtomType

RelationAtomType Attributes

SubrelationFoldAtomType AtomType

ConstructedAtomType TypeConstructorName TypeVarMap

RelationalExprAtomType

TypeVariableType TypeVarName

Instances

Generic AtomType

Defined in ProjectM36.Base

Associated Types

type Rep AtomType :: Type -> Type

Methods

from :: AtomType -> Rep AtomType x

to :: Rep AtomType x -> AtomType

Read AtomType

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS AtomType

readList :: ReadS [AtomType]

readPrec :: ReadPrec AtomType

readListPrec :: ReadPrec [AtomType]

Show AtomType

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomType -> ShowS

show :: AtomType -> String

showList :: [AtomType] -> ShowS

NFData AtomType

Defined in ProjectM36.Base

Methods

rnf :: AtomType -> ()

Eq AtomType

Defined in ProjectM36.Base

Methods

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

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

Hashable AtomType

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AtomType -> Int

hash :: AtomType -> Int

HashBytes AtomType

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomType -> Ctx -> Ctx

Serialise AtomType

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy AtomType -> SchemaGen Schema

toBuilder :: AtomType -> Builder

extractor :: Extractor AtomType

decodeCurrent :: Decoder AtomType

bundleSerialise :: BundleSerialise AtomType

type Rep AtomType

Defined in ProjectM36.Base

type Rep AtomType = D1 ('MetaData "AtomType" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (((C1 ('MetaCons "IntAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IntegerAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScientificAtomType" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "DoubleAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TextAtomType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DayAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DateTimeAtomType" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "ByteStringAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BoolAtomType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UUIDAtomType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelationAtomType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes)))) :+: ((C1 ('MetaCons "SubrelationFoldAtomType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType)) :+: 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))))))

type TypeVarMap = Map TypeVarName AtomType

isRelationAtomType :: AtomType -> Bool

Return True iff the atom type argument is relation-valued. If True, this indicates that the Atom contains a relation.

attributesContainRelationAtomType :: Attributes -> Bool

type AttributeName = StringType

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

data Attribute

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

Constructors

Attribute AttributeName AtomType

Instances

Generic Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: Type -> Type

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Read Attribute

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Attribute

readList :: ReadS [Attribute]

readPrec :: ReadPrec Attribute

readListPrec :: ReadPrec [Attribute]

Show Attribute

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

NFData Attribute

Defined in ProjectM36.Base

Methods

rnf :: Attribute -> ()

Eq Attribute

Defined in ProjectM36.Base

Methods

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

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

Hashable Attribute

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Attribute -> Int

hash :: Attribute -> Int

HashBytes Attribute

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Attribute -> Ctx -> Ctx

Serialise Attribute

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Attribute -> SchemaGen Schema

toBuilder :: Attribute -> Builder

extractor :: Extractor Attribute

decodeCurrent :: Decoder Attribute

bundleSerialise :: BundleSerialise Attribute

type Rep Attribute

Defined in ProjectM36.Base

type Rep Attribute = D1 ('MetaData "Attribute" "ProjectM36.Base" "project-m36-1.0.1-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)))

type AttributesHash = Int

newtype Attributes

Attributes represent the head of a relation.

Constructors

Attributes

Fields

• attributesVec :: Vector Attribute

Instances

Monoid Attributes

Defined in ProjectM36.Attribute

Methods

mempty :: Attributes

mappend :: Attributes -> Attributes -> Attributes

mconcat :: [Attributes] -> Attributes

Semigroup Attributes

Defined in ProjectM36.Attribute

Methods

(<>) :: Attributes -> Attributes -> Attributes

sconcat :: NonEmpty Attributes -> Attributes

stimes :: Integral b => b -> Attributes -> Attributes

Generic Attributes

Defined in ProjectM36.Base

Associated Types

type Rep Attributes :: Type -> Type

Methods

from :: Attributes -> Rep Attributes x

to :: Rep Attributes x -> Attributes

Read Attributes

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Attributes

readList :: ReadS [Attributes]

readPrec :: ReadPrec Attributes

readListPrec :: ReadPrec [Attributes]

Show Attributes

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Attributes -> ShowS

show :: Attributes -> String

showList :: [Attributes] -> ShowS

NFData Attributes

Defined in ProjectM36.Base

Methods

rnf :: Attributes -> ()

Eq Attributes

Defined in ProjectM36.Base

Methods

(==) :: Attributes -> Attributes -> Bool

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

Hashable Attributes

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Attributes -> Int

hash :: Attributes -> Int

HashBytes Attributes

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Attributes -> Ctx -> Ctx

Serialise Attributes

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Attributes -> SchemaGen Schema

toBuilder :: Attributes -> Builder

extractor :: Extractor Attributes

decodeCurrent :: Decoder Attributes

bundleSerialise :: BundleSerialise Attributes

type Rep Attributes

Defined in ProjectM36.Base

type Rep Attributes = D1 ('MetaData "Attributes" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'True) (C1 ('MetaCons "Attributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "attributesVec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Attribute))))

attributesSet :: Attributes -> HashSet Attribute

sortedAttributesIndices :: Attributes -> [(Int, Attribute)]

newtype RelationTupleSet

The relation's tuple set is the body of the relation.

Constructors

RelationTupleSet

Fields

• asList :: [RelationTuple]

Instances

Generic RelationTupleSet

Defined in ProjectM36.Base

Associated Types

type Rep RelationTupleSet :: Type -> Type

Methods

from :: RelationTupleSet -> Rep RelationTupleSet x

to :: Rep RelationTupleSet x -> RelationTupleSet

Read RelationTupleSet

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS RelationTupleSet

readList :: ReadS [RelationTupleSet]

readPrec :: ReadPrec RelationTupleSet

readListPrec :: ReadPrec [RelationTupleSet]

Show RelationTupleSet

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationTupleSet -> ShowS

show :: RelationTupleSet -> String

showList :: [RelationTupleSet] -> ShowS

NFData RelationTupleSet

Defined in ProjectM36.Base

Methods

rnf :: RelationTupleSet -> ()

Eq RelationTupleSet

Defined in ProjectM36.Base

Methods

(==) :: RelationTupleSet -> RelationTupleSet -> Bool

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

Hashable RelationTupleSet

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationTupleSet -> Int

hash :: RelationTupleSet -> Int

HashBytes RelationTupleSet

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationTupleSet -> Ctx -> Ctx

Serialise RelationTupleSet

A special instance of Serialise which cuts down on duplicate attributes- we should only serialise the attributes at the top-level and not duplicate them per tuple. If we have an empty tupleset, we lack all attributes which is fine in this case.

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy RelationTupleSet -> SchemaGen Schema

toBuilder :: RelationTupleSet -> Builder

extractor :: Extractor RelationTupleSet

decodeCurrent :: Decoder RelationTupleSet

bundleSerialise :: BundleSerialise RelationTupleSet

type Rep RelationTupleSet

Defined in ProjectM36.Base

type Rep RelationTupleSet = D1 ('MetaData "RelationTupleSet" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'True) (C1 ('MetaCons "RelationTupleSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "asList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RelationTuple])))

data RelationTuple

A tuple is a set of attributes mapped to their Atom values.

Constructors

RelationTuple Attributes (Vector Atom)

Instances

Generic RelationTuple

Defined in ProjectM36.Base

Associated Types

type Rep RelationTuple :: Type -> Type

Methods

from :: RelationTuple -> Rep RelationTuple x

to :: Rep RelationTuple x -> RelationTuple

Read RelationTuple

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS RelationTuple

readList :: ReadS [RelationTuple]

readPrec :: ReadPrec RelationTuple

readListPrec :: ReadPrec [RelationTuple]

Show RelationTuple

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationTuple -> ShowS

show :: RelationTuple -> String

showList :: [RelationTuple] -> ShowS

NFData RelationTuple

Defined in ProjectM36.Base

Methods

rnf :: RelationTuple -> ()

Eq RelationTuple

Defined in ProjectM36.Base

Methods

(==) :: RelationTuple -> RelationTuple -> Bool

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

Hashable RelationTuple

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationTuple -> Int

hash :: RelationTuple -> Int

HashBytes RelationTuple

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationTuple -> Ctx -> Ctx

Serialise RelationTuple

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy RelationTuple -> SchemaGen Schema

toBuilder :: RelationTuple -> Builder

extractor :: Extractor RelationTuple

decodeCurrent :: Decoder RelationTuple

bundleSerialise :: BundleSerialise RelationTuple

type Rep RelationTuple

Defined in ProjectM36.Base

type Rep RelationTuple = D1 ('MetaData "RelationTuple" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "RelationTuple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Atom))))

data Relation

Constructors

Relation Attributes RelationTupleSet

Instances

Generic Relation

Defined in ProjectM36.Base

Associated Types

type Rep Relation :: Type -> Type

Methods

from :: Relation -> Rep Relation x

to :: Rep Relation x -> Relation

Read Relation

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS Relation

readList :: ReadS [Relation]

readPrec :: ReadPrec Relation

readListPrec :: ReadPrec [Relation]

Show Relation

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

NFData Relation

Defined in ProjectM36.Base

Methods

rnf :: Relation -> ()

Eq Relation

Defined in ProjectM36.Base

Methods

(==) :: Relation -> Relation -> Bool

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

Hashable Relation

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Relation -> Int

hash :: Relation -> Int

HashBytes Relation

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Relation -> Ctx -> Ctx

Serialise Relation

A special instance of Serialise which cuts down on duplicate attributes- we should only serialise the attributes at the top-level and not duplicate them per tuple.

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Relation -> SchemaGen Schema

toBuilder :: Relation -> Builder

extractor :: Extractor Relation

decodeCurrent :: Decoder Relation

bundleSerialise :: BundleSerialise Relation

HashBytes (Map RelVarName Relation)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Map RelVarName Relation -> Ctx -> Ctx

type Rep Relation

Defined in ProjectM36.Base

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

data RelationCardinality

Used to represent the number of tuples in a relation.

Constructors

Countable

Finite Int

Instances

Generic RelationCardinality

Defined in ProjectM36.Base

Associated Types

type Rep RelationCardinality :: Type -> Type

Methods

from :: RelationCardinality -> Rep RelationCardinality x

to :: Rep RelationCardinality x -> RelationCardinality

Show RelationCardinality

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationCardinality -> ShowS

show :: RelationCardinality -> String

showList :: [RelationCardinality] -> ShowS

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

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

type RelVarName = StringType

Relation variables are identified by their names.

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

RelationValuedAttribute AttributeName

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

Project (AttributeNamesBase a) (RelationalExprBase a)

Union (RelationalExprBase a) (RelationalExprBase a)

Join (RelationalExprBase a) (RelationalExprBase a)

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

Difference (RelationalExprBase a) (RelationalExprBase a)

Group (AttributeNamesBase a) AttributeName (RelationalExprBase a)

Ungroup AttributeName (RelationalExprBase a)

Restrict (RestrictionPredicateExprBase a) (RelationalExprBase a)

Equals (RelationalExprBase a) (RelationalExprBase a)

NotEquals (RelationalExprBase a) (RelationalExprBase a)

Extend (ExtendTupleExprBase a) (RelationalExprBase a)

With (WithNamesAssocsBase a) (RelationalExprBase a)

Instances

Foldable RelationalExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

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

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

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

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

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

toList :: RelationalExprBase a -> [a]

null :: RelationalExprBase a -> Bool

length :: RelationalExprBase a -> Int

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

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

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

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

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

Traversable RelationalExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Functor RelationalExprBase

Defined in ProjectM36.Base

Methods

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

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

Hashable RelationalExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationalExpr -> Int

hash :: RelationalExpr -> Int

HashBytes RelationVariables

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationVariables -> Ctx -> Ctx

Morph RelationalExpr

Defined in ProjectM36.IsomorphicSchema

Methods

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

ReferencedTransactionIds RelationVariables

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationVariables -> TransactionIds

ResolveGraphRefTransactionMarker GraphRefRelationalExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRelationalExpr -> DatabaseContextEvalMonad GraphRefRelationalExpr

KnownSymbol x => IsLabel x RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: RelationalExpr

Convertible RelVarName RelationalExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelVarName -> ConvertResult RelationalExpr

Convertible RelationalExpr AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr

Convertible RelationalExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr

Generic (RelationalExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Read a => Read (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (RelationalExprBase a)

readList :: ReadS [RelationalExprBase a]

readPrec :: ReadPrec (RelationalExprBase a)

readListPrec :: ReadPrec [RelationalExprBase a]

Show a => Show (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationalExprBase a -> ShowS

show :: RelationalExprBase a -> String

showList :: [RelationalExprBase a] -> ShowS

NFData a => NFData (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RelationalExprBase a -> ()

Eq a => Eq (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (RelationalExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationalExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (RelationalExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationalExprBase a -> TransactionIds

Corecursive (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

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

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

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

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

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

Recursive (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

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

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

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

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

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

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

Serialise a => Serialise (RelationalExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: RelationalExprBase a -> Builder

extractor :: Extractor (RelationalExprBase a)

decodeCurrent :: Decoder (RelationalExprBase a)

bundleSerialise :: BundleSerialise (RelationalExprBase a)

type Rep (RelationalExprBase a)

Defined in ProjectM36.Base

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

type Base (RelationalExprBase a)

Defined in ProjectM36.Base

type Base (RelationalExprBase a) = RelationalExprBaseF a

type WithNamesAssocs = WithNamesAssocsBase ()

type WithNamesAssocsBase a = [(WithNameExprBase a, RelationalExprBase a)]

type GraphRefWithNameAssocs = [(GraphRefWithNameExpr, GraphRefRelationalExpr)]

data WithNameExprBase a

Constructors

WithNameExpr RelVarName a

Instances

Foldable WithNameExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => WithNameExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> WithNameExprBase a -> a

foldl1 :: (a -> a -> a) -> WithNameExprBase a -> a

toList :: WithNameExprBase a -> [a]

null :: WithNameExprBase a -> Bool

length :: WithNameExprBase a -> Int

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

maximum :: Ord a => WithNameExprBase a -> a

minimum :: Ord a => WithNameExprBase a -> a

sum :: Num a => WithNameExprBase a -> a

product :: Num a => WithNameExprBase a -> a

Traversable WithNameExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Functor WithNameExprBase

Defined in ProjectM36.Base

Methods

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

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

ResolveGraphRefTransactionMarker GraphRefWithNameExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefWithNameExpr -> DatabaseContextEvalMonad GraphRefWithNameExpr

Generic (WithNameExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Read a => Read (WithNameExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (WithNameExprBase a)

readList :: ReadS [WithNameExprBase a]

readPrec :: ReadPrec (WithNameExprBase a)

readListPrec :: ReadPrec [WithNameExprBase a]

Show a => Show (WithNameExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> WithNameExprBase a -> ShowS

show :: WithNameExprBase a -> String

showList :: [WithNameExprBase a] -> ShowS

NFData a => NFData (WithNameExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: WithNameExprBase a -> ()

Eq a => Eq (WithNameExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Hashable a => Hashable (WithNameExprBase a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> WithNameExprBase a -> Int

hash :: WithNameExprBase a -> Int

HashBytes a => HashBytes (WithNameExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: WithNameExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (WithNameExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: WithNameExprBase a -> TransactionIds

Serialise a => Serialise (WithNameExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: WithNameExprBase a -> Builder

extractor :: Extractor (WithNameExprBase a)

decodeCurrent :: Decoder (WithNameExprBase a)

bundleSerialise :: BundleSerialise (WithNameExprBase a)

type Rep (WithNameExprBase a)

Defined in ProjectM36.Base

type Rep (WithNameExprBase a) = D1 ('MetaData "WithNameExprBase" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "WithNameExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type WithNameExpr = WithNameExprBase ()

type GraphRefWithNameExpr = WithNameExprBase GraphRefTransactionMarker

type NotificationName = StringType

type Notifications = Map NotificationName Notification

data Notification

When the changeExpr returns a different result in the database context, then the reportExpr is triggered and sent asynchronously to all clients.

Constructors

Notification

Fields

• changeExpr :: RelationalExpr
• reportOldExpr :: RelationalExpr
• reportNewExpr :: RelationalExpr

Instances

Generic Notification

Defined in ProjectM36.Base

Associated Types

type Rep Notification :: Type -> Type

Methods

from :: Notification -> Rep Notification x

to :: Rep Notification x -> Notification

Show Notification

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Notification -> ShowS

show :: Notification -> String

showList :: [Notification] -> ShowS

NFData Notification

Defined in ProjectM36.Base

Methods

rnf :: Notification -> ()

Eq Notification

Defined in ProjectM36.Base

Methods

(==) :: Notification -> Notification -> Bool

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

HashBytes Notification

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Notification -> Ctx -> Ctx

HashBytes Notifications

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Notifications -> Ctx -> Ctx

Serialise Notification

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Notification -> SchemaGen Schema

toBuilder :: Notification -> Builder

extractor :: Extractor Notification

decodeCurrent :: Decoder Notification

bundleSerialise :: BundleSerialise Notification

type Rep Notification

Defined in ProjectM36.Base

type Rep Notification = D1 ('MetaData "Notification" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "Notification" 'PrefixI 'True) (S1 ('MetaSel ('Just "changeExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr) :*: (S1 ('MetaSel ('Just "reportOldExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr) :*: S1 ('MetaSel ('Just "reportNewExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr))))

type TypeVarName = StringType

data TypeConstructorDef

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

Constructors

ADTypeConstructorDef TypeConstructorName [TypeVarName]

PrimitiveTypeConstructorDef TypeConstructorName AtomType

Instances

Generic TypeConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep TypeConstructorDef :: Type -> Type

Methods

from :: TypeConstructorDef -> Rep TypeConstructorDef x

to :: Rep TypeConstructorDef x -> TypeConstructorDef

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

NFData TypeConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorDef -> ()

Eq TypeConstructorDef

Defined in ProjectM36.Base

Methods

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

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

Hashable TypeConstructorDef

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TypeConstructorDef -> Int

hash :: TypeConstructorDef -> Int

HashBytes TypeConstructorDef

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TypeConstructorDef -> Ctx -> Ctx

HashBytes TypeConstructorMapping

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TypeConstructorMapping -> Ctx -> Ctx

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

type TypeConstructor = TypeConstructorBase ()

Found in data constructors and type declarations: Left (Either Int Text) | Right Int

data TypeConstructorBase a

Constructors

ADTypeConstructor TypeConstructorName [TypeConstructor]

PrimitiveTypeConstructor TypeConstructorName AtomType

RelationAtomTypeConstructor [AttributeExprBase a]

TypeVariable TypeVarName

Instances

HashBytes TypeConstructor

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TypeConstructor -> Ctx -> Ctx

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

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

NFData a => NFData (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorBase a -> ()

Eq a => Eq (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

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

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

Hashable a => Hashable (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TypeConstructorBase a -> Int

hash :: TypeConstructorBase a -> Int

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

type TypeConstructorMapping = [(TypeConstructorDef, DataConstructorDefs)]

type TypeConstructorName = StringType

type TypeConstructorArgName = StringType

type DataConstructorName = StringType

type AtomTypeName = StringType

data DataConstructorDef

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

Constructors

DataConstructorDef DataConstructorName [DataConstructorDefArg]

Instances

Generic DataConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDef :: Type -> Type

Methods

from :: DataConstructorDef -> Rep DataConstructorDef x

to :: Rep DataConstructorDef x -> DataConstructorDef

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

NFData DataConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: DataConstructorDef -> ()

Eq DataConstructorDef

Defined in ProjectM36.Base

Methods

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

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

Hashable DataConstructorDef

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DataConstructorDef -> Int

hash :: DataConstructorDef -> Int

HashBytes DataConstructorDef

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DataConstructorDef -> Ctx -> Ctx

HashBytes TypeConstructorMapping

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TypeConstructorMapping -> Ctx -> Ctx

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

HashBytes [DataConstructorDef]

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: [DataConstructorDef] -> Ctx -> Ctx

type Rep DataConstructorDef

Defined in ProjectM36.Base

type Rep DataConstructorDef = D1 ('MetaData "DataConstructorDef" "ProjectM36.Base" "project-m36-1.0.1-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])))

type DataConstructorDefs = [DataConstructorDef]

data DataConstructorDefArg

Constructors

DataConstructorDefTypeConstructorArg TypeConstructor

DataConstructorDefTypeVarNameArg TypeVarName

Instances

Generic DataConstructorDefArg

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDefArg :: Type -> Type

Methods

from :: DataConstructorDefArg -> Rep DataConstructorDefArg x

to :: Rep DataConstructorDefArg x -> DataConstructorDefArg

Read DataConstructorDefArg

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS DataConstructorDefArg

readList :: ReadS [DataConstructorDefArg]

readPrec :: ReadPrec DataConstructorDefArg

readListPrec :: ReadPrec [DataConstructorDefArg]

Show DataConstructorDefArg

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DataConstructorDefArg -> ShowS

show :: DataConstructorDefArg -> String

showList :: [DataConstructorDefArg] -> ShowS

NFData DataConstructorDefArg

Defined in ProjectM36.Base

Methods

rnf :: DataConstructorDefArg -> ()

Eq DataConstructorDefArg

Defined in ProjectM36.Base

Methods

(==) :: DataConstructorDefArg -> DataConstructorDefArg -> Bool

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

Hashable DataConstructorDefArg

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DataConstructorDefArg -> Int

hash :: DataConstructorDefArg -> Int

HashBytes DataConstructorDefArg

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DataConstructorDefArg -> Ctx -> Ctx

Serialise DataConstructorDefArg

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy DataConstructorDefArg -> SchemaGen Schema

toBuilder :: DataConstructorDefArg -> Builder

extractor :: Extractor DataConstructorDefArg

decodeCurrent :: Decoder DataConstructorDefArg

bundleSerialise :: BundleSerialise DataConstructorDefArg

type Rep DataConstructorDefArg

Defined in ProjectM36.Base

type Rep DataConstructorDefArg = D1 ('MetaData "DataConstructorDefArg" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "DataConstructorDefTypeConstructorArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructor)) :+: C1 ('MetaCons "DataConstructorDefTypeVarNameArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeVarName)))

type InclusionDependencies = Map IncDepName InclusionDependency

type RelationVariables = Map RelVarName GraphRefRelationalExpr

data GraphRefTransactionMarker

Constructors

TransactionMarker TransactionId

UncommittedContextMarker

Instances

Generic GraphRefTransactionMarker

Defined in ProjectM36.Base

Associated Types

type Rep GraphRefTransactionMarker :: Type -> Type

Methods

from :: GraphRefTransactionMarker -> Rep GraphRefTransactionMarker x

to :: Rep GraphRefTransactionMarker x -> GraphRefTransactionMarker

Show GraphRefTransactionMarker

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> GraphRefTransactionMarker -> ShowS

show :: GraphRefTransactionMarker -> String

showList :: [GraphRefTransactionMarker] -> ShowS

NFData GraphRefTransactionMarker

Defined in ProjectM36.Base

Methods

rnf :: GraphRefTransactionMarker -> ()

Eq GraphRefTransactionMarker

Defined in ProjectM36.Base

Methods

(==) :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> Bool

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

Ord GraphRefTransactionMarker

Defined in ProjectM36.Base

Methods

compare :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> Ordering

(<) :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> Bool

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

(>) :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> Bool

(>=) :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> Bool

max :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> GraphRefTransactionMarker

min :: GraphRefTransactionMarker -> GraphRefTransactionMarker -> GraphRefTransactionMarker

HashBytes GraphRefTransactionMarker

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: GraphRefTransactionMarker -> Ctx -> Ctx

HashBytes RelationVariables

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RelationVariables -> Ctx -> Ctx

ReferencedTransactionIds GraphRefTransactionMarker

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: GraphRefTransactionMarker -> TransactionIds

ReferencedTransactionIds RelationVariables

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationVariables -> TransactionIds

ResolveGraphRefTransactionMarker GraphRefAtomExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefAtomExpr -> DatabaseContextEvalMonad GraphRefAtomExpr

ResolveGraphRefTransactionMarker GraphRefAttributeNames

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefAttributeNames -> DatabaseContextEvalMonad GraphRefAttributeNames

ResolveGraphRefTransactionMarker GraphRefExtendTupleExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefExtendTupleExpr -> DatabaseContextEvalMonad GraphRefExtendTupleExpr

ResolveGraphRefTransactionMarker GraphRefRelationalExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRelationalExpr -> DatabaseContextEvalMonad GraphRefRelationalExpr

ResolveGraphRefTransactionMarker GraphRefRestrictionPredicateExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefRestrictionPredicateExpr -> DatabaseContextEvalMonad GraphRefRestrictionPredicateExpr

ResolveGraphRefTransactionMarker GraphRefTupleExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefTupleExpr -> DatabaseContextEvalMonad GraphRefTupleExpr

ResolveGraphRefTransactionMarker GraphRefTupleExprs

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefTupleExprs -> DatabaseContextEvalMonad GraphRefTupleExprs

ResolveGraphRefTransactionMarker GraphRefWithNameExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefWithNameExpr -> DatabaseContextEvalMonad GraphRefWithNameExpr

Serialise GraphRefTransactionMarker

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy GraphRefTransactionMarker -> SchemaGen Schema

toBuilder :: GraphRefTransactionMarker -> Builder

extractor :: Extractor GraphRefTransactionMarker

decodeCurrent :: Decoder GraphRefTransactionMarker

bundleSerialise :: BundleSerialise GraphRefTransactionMarker

type Rep GraphRefTransactionMarker

Defined in ProjectM36.Base

type Rep GraphRefTransactionMarker = D1 ('MetaData "GraphRefTransactionMarker" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "TransactionMarker" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId)) :+: C1 ('MetaCons "UncommittedContextMarker" 'PrefixI 'False) (U1 :: Type -> Type))

type GraphRefRelationalExpr = RelationalExprBase GraphRefTransactionMarker

type SchemaName = StringType

type Subschemas = Map SchemaName Schema

data Schemas

Every transaction has one concrete database context and any number of isomorphic subschemas.

Constructors

Schemas DatabaseContext Subschemas

Instances

Generic Schemas

Defined in ProjectM36.Base

Associated Types

type Rep Schemas :: Type -> Type

Methods

from :: Schemas -> Rep Schemas x

to :: Rep Schemas x -> Schemas

type Rep Schemas

Defined in ProjectM36.Base

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

newtype Schema

The DatabaseContext is a snapshot of a database's evolving state and contains everything a database client can change over time. I spent some time thinking about whether the VirtualDatabaseContext/Schema and DatabaseContext data constructors should be the same constructor, but that would allow relation variables to be created in a "virtual" context which would appear to defeat the isomorphisms of the contexts. It should be possible to switch to an alternative schema to view the same equivalent information without information loss. However, allowing all contexts to reference another context while maintaining its own relation variables, new types, etc. could be interesting from a security perspective. For example, if a user creates a new relvar in a virtual context, then does it necessarily appear in all linked contexts? After deliberation, I think the relvar should appear in *all* linked contexts to retain the isomorphic properties, even when the isomorphism is for a subset of the context. This hints that the IsoMorphs should allow for "fall-through"; that is, when a relvar is not defined in the virtual context (for morphing), then the lookup should fall through to the underlying context.

Constructors

Schema SchemaIsomorphs

Instances

Generic Schema

Defined in ProjectM36.Base

Associated Types

type Rep Schema :: Type -> Type

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

HashBytes Schema

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Schema -> Ctx -> Ctx

Serialise Schema

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy Schema -> SchemaGen Schema0

toBuilder :: Schema -> Builder

extractor :: Extractor Schema

decodeCurrent :: Decoder Schema

bundleSerialise :: BundleSerialise Schema

type Rep Schema

Defined in ProjectM36.Base

type Rep Schema = D1 ('MetaData "Schema" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'True) (C1 ('MetaCons "Schema" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SchemaIsomorphs)))

data SchemaIsomorph

Constructors

IsoRestrict RelVarName RestrictionPredicateExpr (RelVarName, RelVarName)

IsoRename RelVarName RelVarName

IsoUnion (RelVarName, RelVarName) RestrictionPredicateExpr RelVarName

Instances

Generic SchemaIsomorph

Defined in ProjectM36.Base

Associated Types

type Rep SchemaIsomorph :: Type -> Type

Methods

from :: SchemaIsomorph -> Rep SchemaIsomorph x

to :: Rep SchemaIsomorph x -> SchemaIsomorph

Show SchemaIsomorph

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> SchemaIsomorph -> ShowS

show :: SchemaIsomorph -> String

showList :: [SchemaIsomorph] -> ShowS

HashBytes SchemaIsomorph

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: SchemaIsomorph -> Ctx -> Ctx

Serialise SchemaIsomorph

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy SchemaIsomorph -> SchemaGen Schema

toBuilder :: SchemaIsomorph -> Builder

extractor :: Extractor SchemaIsomorph

decodeCurrent :: Decoder SchemaIsomorph

bundleSerialise :: BundleSerialise SchemaIsomorph

type Rep SchemaIsomorph

Defined in ProjectM36.Base

type Rep SchemaIsomorph = D1 ('MetaData "SchemaIsomorph" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "IsoRestrict" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RestrictionPredicateExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelVarName, RelVarName)))) :+: (C1 ('MetaCons "IsoRename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName)) :+: C1 ('MetaCons "IsoUnion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RelVarName, RelVarName)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RestrictionPredicateExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelVarName)))))

type SchemaIsomorphs = [SchemaIsomorph]

type RegisteredQueryName = StringType

type RegisteredQueries = Map RegisteredQueryName RelationalExpr

data DatabaseContext

Constructors

DatabaseContext

Fields

• inclusionDependencies :: InclusionDependencies
• relationVariables :: RelationVariables
• atomFunctions :: AtomFunctions
• dbcFunctions :: DatabaseContextFunctions
• notifications :: Notifications
• typeConstructorMapping :: TypeConstructorMapping
• registeredQueries :: RegisteredQueries

Instances

Generic DatabaseContext

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContext :: Type -> Type

Methods

from :: DatabaseContext -> Rep DatabaseContext x

to :: Rep DatabaseContext x -> DatabaseContext

NFData DatabaseContext

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContext -> ()

HashBytes DatabaseContext

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContext -> Ctx -> Ctx

HashBytes DatabaseContextFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunction -> Ctx -> Ctx

HashBytes DatabaseContextFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunctions -> Ctx -> Ctx

ReferencedTransactionIds DatabaseContext

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: DatabaseContext -> TransactionIds

type Rep DatabaseContext

Defined in ProjectM36.Base

type Rep DatabaseContext = D1 ('MetaData "DatabaseContext" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "DatabaseContext" 'PrefixI 'True) ((S1 ('MetaSel ('Just "inclusionDependencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InclusionDependencies) :*: (S1 ('MetaSel ('Just "relationVariables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationVariables) :*: S1 ('MetaSel ('Just "atomFunctions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomFunctions))) :*: ((S1 ('MetaSel ('Just "dbcFunctions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatabaseContextFunctions) :*: S1 ('MetaSel ('Just "notifications") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Notifications)) :*: (S1 ('MetaSel ('Just "typeConstructorMapping") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeConstructorMapping) :*: S1 ('MetaSel ('Just "registeredQueries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueries)))))

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

Generic InclusionDependency

Defined in ProjectM36.Base

Associated Types

type Rep InclusionDependency :: Type -> Type

Methods

from :: InclusionDependency -> Rep InclusionDependency x

to :: Rep InclusionDependency x -> InclusionDependency

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

NFData InclusionDependency

Defined in ProjectM36.Base

Methods

rnf :: InclusionDependency -> ()

Eq InclusionDependency

Defined in ProjectM36.Base

Methods

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

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

Hashable InclusionDependency

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> InclusionDependency -> Int

hash :: InclusionDependency -> Int

HashBytes InclusionDependencies

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: InclusionDependencies -> Ctx -> Ctx

HashBytes InclusionDependency

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: InclusionDependency -> Ctx -> Ctx

Morph InclusionDependencies

Defined in ProjectM36.IsomorphicSchema

Methods

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

Morph InclusionDependency

The names of inclusion dependencies might leak context about a different schema, but that's arbitrary and cannot be altered without having the user provide a renaming function or a new set of incDep names- seems extraneous.

Defined in ProjectM36.IsomorphicSchema

Methods

morphToSchema :: Schema -> TransactionGraph -> InclusionDependency -> Either RelationalError 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-1.0.1-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 AttributeNameAtomExprMap = Map AttributeName AtomExpr

type DatabaseContextExprName = StringType

type DatabaseContextExpr = DatabaseContextExprBase ()

type GraphRefDatabaseContextExpr = DatabaseContextExprBase GraphRefTransactionMarker

data DatabaseContextExprBase a

Database context expressions modify the database context.

Constructors

NoOperation

Define RelVarName [AttributeExprBase a]

Undefine RelVarName

Assign RelVarName (RelationalExprBase a)

Insert RelVarName (RelationalExprBase a)

Delete RelVarName (RestrictionPredicateExprBase a)

Update RelVarName AttributeNameAtomExprMap (RestrictionPredicateExprBase a)

AddInclusionDependency IncDepName InclusionDependency

RemoveInclusionDependency IncDepName

AddNotification NotificationName RelationalExpr RelationalExpr RelationalExpr

RemoveNotification NotificationName

AddTypeConstructor TypeConstructorDef [DataConstructorDef]

RemoveTypeConstructor TypeConstructorName

RemoveAtomFunction FunctionName

RemoveDatabaseContextFunction FunctionName

ExecuteDatabaseContextFunction FunctionName [AtomExprBase a]

AddRegisteredQuery RegisteredQueryName RelationalExpr

RemoveRegisteredQuery RegisteredQueryName

MultipleExpr [DatabaseContextExprBase a]

Instances

Hashable DatabaseContextExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DatabaseContextExpr -> Int

hash :: DatabaseContextExpr -> Int

Generic (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Read a => Read (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (DatabaseContextExprBase a)

readList :: ReadS [DatabaseContextExprBase a]

readPrec :: ReadPrec (DatabaseContextExprBase a)

readListPrec :: ReadPrec [DatabaseContextExprBase a]

Show a => Show (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextExprBase a -> ShowS

show :: DatabaseContextExprBase a -> String

showList :: [DatabaseContextExprBase a] -> ShowS

NFData a => NFData (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContextExprBase a -> ()

Eq a => Eq (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Serialise a => Serialise (DatabaseContextExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: DatabaseContextExprBase a -> Builder

extractor :: Extractor (DatabaseContextExprBase a)

decodeCurrent :: Decoder (DatabaseContextExprBase a)

bundleSerialise :: BundleSerialise (DatabaseContextExprBase a)

type Rep (DatabaseContextExprBase a)

Defined in ProjectM36.Base

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

type ObjModuleName = StringType

type ObjFunctionName = StringType

type Range = (Int, Int)

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

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

Show a => Show (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextIOExprBase a -> ShowS

show :: DatabaseContextIOExprBase a -> String

showList :: [DatabaseContextIOExprBase a] -> ShowS

Eq a => Eq (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Methods

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

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

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-1.0.1-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 GraphRefDatabaseContextIOExpr = DatabaseContextIOExprBase GraphRefTransactionMarker

type DatabaseContextIOExpr = DatabaseContextIOExprBase ()

type RestrictionPredicateExpr = RestrictionPredicateExprBase ()

type GraphRefRestrictionPredicateExpr = RestrictionPredicateExprBase GraphRefTransactionMarker

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

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)

Functor RestrictionPredicateExprBase

Defined in ProjectM36.Base

Methods

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

(<$) :: a -> RestrictionPredicateExprBase b -> 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

Convertible AtomExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: AtomExpr -> ConvertResult RestrictionPredicateExpr

Convertible RelationalExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult RestrictionPredicateExpr

Convertible RestrictionPredicateExpr RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RestrictionPredicateExpr -> ConvertResult RestrictionPredicateExpr

Atomable a => Convertible a RestrictionPredicateExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: a -> ConvertResult RestrictionPredicateExpr

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

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

NFData a => NFData (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RestrictionPredicateExprBase a -> ()

Eq a => Eq (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (RestrictionPredicateExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: RestrictionPredicateExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (RestrictionPredicateExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RestrictionPredicateExprBase a -> TransactionIds

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

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.

type TransactionHeads = Map HeadName Transaction

data TransactionGraph

The transaction graph is the global database's state which references every committed transaction.

Constructors

TransactionGraph TransactionHeads (Set Transaction)

Instances

Generic TransactionGraph

Defined in ProjectM36.Base

Associated Types

type Rep TransactionGraph :: Type -> Type

Methods

from :: TransactionGraph -> Rep TransactionGraph x

to :: Rep TransactionGraph x -> TransactionGraph

type Rep TransactionGraph

Defined in ProjectM36.Base

type Rep TransactionGraph = D1 ('MetaData "TransactionGraph" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "TransactionGraph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionHeads) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Transaction))))

transactionHeadsForGraph :: TransactionGraph -> TransactionHeads

transactionsForGraph :: TransactionGraph -> Set Transaction

transactionIdsForGraph :: TransactionGraph -> Set TransactionId

data TransactionInfo

Every transaction has context-specific information attached to it. The TransactionDiffs represent child/edge relationships to previous transactions (branches or continuations of the same branch).

Constructors

TransactionInfo

Fields

• parents :: TransactionParents
• stamp :: UTCTime
• merkleHash :: MerkleHash

Instances

Generic TransactionInfo

Defined in ProjectM36.Base

Associated Types

type Rep TransactionInfo :: Type -> Type

Methods

from :: TransactionInfo -> Rep TransactionInfo x

to :: Rep TransactionInfo x -> TransactionInfo

Show TransactionInfo

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TransactionInfo -> ShowS

show :: TransactionInfo -> String

showList :: [TransactionInfo] -> ShowS

Serialise TransactionInfo

Defined in ProjectM36.Serialise.Base

Methods

schemaGen :: Proxy TransactionInfo -> SchemaGen Schema

toBuilder :: TransactionInfo -> Builder

extractor :: Extractor TransactionInfo

decodeCurrent :: Decoder TransactionInfo

bundleSerialise :: BundleSerialise TransactionInfo

type Rep TransactionInfo

Defined in ProjectM36.Base

type Rep TransactionInfo = D1 ('MetaData "TransactionInfo" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "TransactionInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "parents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionParents) :*: (S1 ('MetaSel ('Just "stamp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "merkleHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MerkleHash))))

type TransactionParents = NonEmpty TransactionId

type TransactionId = UUID

Every set of modifications made to the database are atomically committed to the transaction graph as a transaction.

data Transaction

Constructors

Transaction TransactionId TransactionInfo Schemas

Instances

Generic Transaction

Defined in ProjectM36.Base

Associated Types

type Rep Transaction :: Type -> Type

Methods

from :: Transaction -> Rep Transaction x

to :: Rep Transaction x -> Transaction

Eq Transaction

Defined in ProjectM36.Base

Methods

(==) :: Transaction -> Transaction -> Bool

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

Ord Transaction

Defined in ProjectM36.Base

Methods

compare :: Transaction -> Transaction -> Ordering

(<) :: Transaction -> Transaction -> Bool

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

(>) :: Transaction -> Transaction -> Bool

(>=) :: Transaction -> Transaction -> Bool

max :: Transaction -> Transaction -> Transaction

min :: Transaction -> Transaction -> Transaction

type Rep Transaction

Defined in ProjectM36.Base

type Rep Transaction = D1 ('MetaData "Transaction" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "Transaction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionInfo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Schemas))))

data DisconnectedTransaction

The disconnected transaction represents an in-progress workspace used by sessions before changes are committed. This is similar to git's "index". After a transaction is committed, it is "connected" in the transaction graph and can no longer be modified.

Constructors

DisconnectedTransaction TransactionId Schemas DirtyFlag

type DirtyFlag = Bool

type TransactionDiffExpr = DatabaseContextExpr

transactionId :: Transaction -> TransactionId

transactionInfo :: Transaction -> TransactionInfo

type AtomExpr = AtomExprBase ()

type GraphRefAtomExpr = AtomExprBase GraphRefTransactionMarker

type AggAtomFuncExprInfo = (AttributeName, AttributeName)

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

SubrelationAttributeAtomExpr AttributeName AttributeName

NakedAtomExpr !Atom

FunctionAtomExpr !FunctionName [AtomExprBase a] a

RelationAtomExpr (RelationalExprBase a)

IfThenAtomExpr (AtomExprBase a) (AtomExprBase a) (AtomExprBase a)

ConstructedAtomExpr DataConstructorName [AtomExprBase a] a

Instances

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)

Functor AtomExprBase

Defined in ProjectM36.Base

Methods

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

(<$) :: a -> AtomExprBase b -> 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

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 RelVarName AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelVarName -> ConvertResult AtomExpr

Convertible RelationalExpr AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: RelationalExpr -> ConvertResult AtomExpr

Atomable a => Convertible a AtomExpr

Defined in ProjectM36.Shortcuts

Methods

safeConvert :: a -> 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)

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

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

NFData a => NFData (AtomExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AtomExprBase a -> ()

Eq a => Eq (AtomExprBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (AtomExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (AtomExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AtomExprBase a -> TransactionIds

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-1.0.1-inplace" 'False) ((C1 ('MetaCons "AttributeAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: (C1 ('MetaCons "SubrelationAttributeAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttributeName)) :+: C1 ('MetaCons "NakedAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Atom)))) :+: ((C1 ('MetaCons "FunctionAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 "IfThenAtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AtomExprBase a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AtomExprBase a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AtomExprBase 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 ExtendTupleExprBase a

Used in tuple creation when creating a relation.

Constructors

AttributeExtendTupleExpr AttributeName (AtomExprBase a)

Instances

Foldable ExtendTupleExprBase

Defined in ProjectM36.Base

Methods

fold :: Monoid m => ExtendTupleExprBase m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> ExtendTupleExprBase a -> a

foldl1 :: (a -> a -> a) -> ExtendTupleExprBase a -> a

toList :: ExtendTupleExprBase a -> [a]

null :: ExtendTupleExprBase a -> Bool

length :: ExtendTupleExprBase a -> Int

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

maximum :: Ord a => ExtendTupleExprBase a -> a

minimum :: Ord a => ExtendTupleExprBase a -> a

sum :: Num a => ExtendTupleExprBase a -> a

product :: Num a => ExtendTupleExprBase a -> a

Traversable ExtendTupleExprBase

Defined in ProjectM36.Base

Methods

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

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

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

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

Functor ExtendTupleExprBase

Defined in ProjectM36.Base

Methods

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

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

Hashable ExtendTupleExpr

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> ExtendTupleExpr -> Int

hash :: ExtendTupleExpr -> Int

ResolveGraphRefTransactionMarker GraphRefExtendTupleExpr

Defined in ProjectM36.RelationalExpression

Methods

resolve :: GraphRefExtendTupleExpr -> DatabaseContextEvalMonad GraphRefExtendTupleExpr

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

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: a -> ExtendTupleExpr

Generic (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Read a => Read (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS (ExtendTupleExprBase a)

readList :: ReadS [ExtendTupleExprBase a]

readPrec :: ReadPrec (ExtendTupleExprBase a)

readListPrec :: ReadPrec [ExtendTupleExprBase a]

Show a => Show (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> ExtendTupleExprBase a -> ShowS

show :: ExtendTupleExprBase a -> String

showList :: [ExtendTupleExprBase a] -> ShowS

NFData a => NFData (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: ExtendTupleExprBase a -> ()

Eq a => Eq (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (ExtendTupleExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: ExtendTupleExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (ExtendTupleExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: ExtendTupleExprBase a -> TransactionIds

Serialise a => Serialise (ExtendTupleExprBase a)

Defined in ProjectM36.Serialise.Base

Methods

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

toBuilder :: ExtendTupleExprBase a -> Builder

extractor :: Extractor (ExtendTupleExprBase a)

decodeCurrent :: Decoder (ExtendTupleExprBase a)

bundleSerialise :: BundleSerialise (ExtendTupleExprBase a)

type Rep (ExtendTupleExprBase a)

Defined in ProjectM36.Base

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

type ExtendTupleExpr = ExtendTupleExprBase ()

type GraphRefExtendTupleExpr = ExtendTupleExprBase GraphRefTransactionMarker

type AtomFunctions = HashSet AtomFunction

type AtomFunctionBodyType = [Atom] -> Either AtomFunctionError Atom

type ObjectFileEntryFunctionName = String

type ObjectFilePath = FilePath

type ObjectModuleName = String

data AttributeNamesBase a

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

The AttributeNamesBase 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

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)

Functor AttributeNamesBase

Defined in ProjectM36.Base

Methods

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

(<$) :: a -> AttributeNamesBase b -> 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 ())]

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

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

NFData a => NFData (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeNamesBase a -> ()

Eq a => Eq (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (AttributeNamesBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AttributeNamesBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (AttributeNamesBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AttributeNamesBase a -> TransactionIds

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 Item (AttributeNamesBase ())

Defined in ProjectM36.Shortcuts

type Item (AttributeNamesBase ()) = AttributeName

type Rep (AttributeNamesBase a)

Defined in ProjectM36.Base

type Rep (AttributeNamesBase a) = D1 ('MetaData "AttributeNamesBase" "ProjectM36.Base" "project-m36-1.0.1-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 AttributeNames = AttributeNamesBase ()

type GraphRefAttributeNames = AttributeNamesBase GraphRefTransactionMarker

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

persistenceDirectory :: PersistenceStrategy -> Maybe FilePath

type AttributeExpr = AttributeExprBase ()

type GraphRefAttributeExpr = AttributeExprBase GraphRefTransactionMarker

data AttributeExprBase a

Create attributes dynamically.

Constructors

AttributeAndTypeNameExpr AttributeName TypeConstructor a

NakedAttributeExpr Attribute

Instances

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)

Functor AttributeExprBase

Defined in ProjectM36.Base

Methods

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

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

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

Defined in ProjectM36.Shortcuts

Methods

fromLabel :: HaskAtomType a -> AttributeExpr

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

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

NFData a => NFData (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeExprBase a -> ()

Eq a => Eq (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Hashable a => Hashable (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AttributeExprBase a -> Int

hash :: AttributeExprBase a -> Int

HashBytes a => HashBytes (AttributeExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AttributeExprBase a -> Ctx -> Ctx

HashBytes a => HashBytes (Maybe [AttributeExprBase a])

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: Maybe [AttributeExprBase a] -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (AttributeExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AttributeExprBase a -> TransactionIds

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

newtype TupleExprBase a

Dynamically create a tuple from attribute names and AtomExprs.

Constructors

TupleExpr (Map AttributeName (AtomExprBase a))

Instances

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)

Functor TupleExprBase

Defined in ProjectM36.Base

Methods

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

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

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]

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

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

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

NFData a => NFData (TupleExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: TupleExprBase a -> ()

Eq a => Eq (TupleExprBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (TupleExprBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TupleExprBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (TupleExprBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: TupleExprBase a -> TransactionIds

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-1.0.1-inplace" 'True) (C1 ('MetaCons "TupleExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AttributeName (AtomExprBase a)))))

type TupleExpr = TupleExprBase ()

type GraphRefTupleExpr = TupleExprBase GraphRefTransactionMarker

data TupleExprsBase a

Constructors

TupleExprs a [TupleExprBase a]

Instances

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)

Functor TupleExprsBase

Defined in ProjectM36.Base

Methods

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

(<$) :: a -> TupleExprsBase b -> 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 ())]

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

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

NFData a => NFData (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

rnf :: TupleExprsBase a -> ()

Eq a => Eq (TupleExprsBase a)

Defined in ProjectM36.Base

Methods

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

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

HashBytes a => HashBytes (TupleExprsBase a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: TupleExprsBase a -> Ctx -> Ctx

ReferencedTransactionIds a => ReferencedTransactionIds (TupleExprsBase a)

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: TupleExprsBase a -> TransactionIds

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-1.0.1-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])))

type GraphRefTupleExprs = TupleExprsBase GraphRefTransactionMarker

type TupleExprs = TupleExprsBase ()

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

Generic MergeStrategy

Defined in ProjectM36.Base

Associated Types

type Rep MergeStrategy :: Type -> Type

Methods

from :: MergeStrategy -> Rep MergeStrategy x

to :: Rep MergeStrategy x -> MergeStrategy

Show MergeStrategy

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> MergeStrategy -> ShowS

show :: MergeStrategy -> String

showList :: [MergeStrategy] -> ShowS

NFData MergeStrategy

Defined in ProjectM36.Base

Methods

rnf :: MergeStrategy -> ()

Eq MergeStrategy

Defined in ProjectM36.Base

Methods

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

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

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

type DatabaseContextFunctionBodyType = [Atom] -> DatabaseContext -> Either DatabaseContextFunctionError DatabaseContext

type DatabaseContextFunctions = HashSet DatabaseContextFunction

type FunctionName = StringType

type FunctionBodyScript = StringType

data Function a

Represents stored, user-created or built-in functions which can operates of types such as Atoms or DatabaseContexts.

Constructors

Function

Fields

• funcName :: FunctionName
• funcType :: [AtomType]
• funcBody :: FunctionBody a

Instances

HashBytes AtomFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunction -> Ctx -> Ctx

HashBytes AtomFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: AtomFunctions -> Ctx -> Ctx

HashBytes DatabaseContextFunction

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunction -> Ctx -> Ctx

HashBytes DatabaseContextFunctions

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: DatabaseContextFunctions -> Ctx -> Ctx

Generic (Function a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (Function a)

Defined in ProjectM36.Base

Methods

rnf :: Function a -> ()

Eq (Function a)

Defined in ProjectM36.Base

Methods

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

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

Hashable (Function a)

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Function a -> Int

hash :: Function a -> Int

type Rep (Function a)

Defined in ProjectM36.Base

type Rep (Function a) = D1 ('MetaData "Function" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "Function" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName) :*: (S1 ('MetaSel ('Just "funcType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AtomType]) :*: S1 ('MetaSel ('Just "funcBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunctionBody a)))))

data FunctionBody a

Constructors

FunctionScriptBody FunctionBodyScript a

FunctionBuiltInBody a

FunctionObjectLoadedBody FilePath ObjectModuleName ObjectFileEntryFunctionName a

Instances

Generic (FunctionBody a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (FunctionBody a)

Defined in ProjectM36.Base

Methods

rnf :: FunctionBody a -> ()

HashBytes (FunctionBody a)

Defined in ProjectM36.HashSecurely

Methods

hashBytes :: FunctionBody a -> Ctx -> Ctx

type Rep (FunctionBody a)

Defined in ProjectM36.Base

type Rep (FunctionBody a) = D1 ('MetaData "FunctionBody" "ProjectM36.Base" "project-m36-1.0.1-inplace" 'False) (C1 ('MetaCons "FunctionScriptBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionBodyScript) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "FunctionBuiltInBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "FunctionObjectLoadedBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectModuleName)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectFileEntryFunctionName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))))

type AtomFunction = Function AtomFunctionBodyType

type AtomFunctionBody = FunctionBody AtomFunctionBodyType

type DatabaseContextFunction = Function DatabaseContextFunctionBodyType

type DatabaseContextFunctionBody = FunctionBody DatabaseContextFunctionBodyType

attrTypeVars :: Attribute -> Set TypeVarName

typeVars :: TypeConstructor -> Set TypeVarName

attrExprTypeVars :: AttributeExprBase a -> Set TypeVarName

atomTypeVars :: AtomType -> Set TypeVarName

unimplemented :: HasCallStack => a

data RelationalExprBaseF (a :: Type) r

Constructors

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

MakeStaticRelationF Attributes RelationTupleSet

ExistingRelationF Relation

RelationVariableF Text a

RelationValuedAttributeF Text

ProjectF (AttributeNamesBase a) r

UnionF r r

JoinF r r

RenameF (Set (Text, Text)) r

DifferenceF r r

GroupF (AttributeNamesBase a) Text r

UngroupF Text r

RestrictF (RestrictionPredicateExprBase a) r

EqualsF r r

NotEqualsF r r

ExtendF (ExtendTupleExprBase a) r

WithF [(WithNameExprBase a, r)] r

Instances

Foldable (RelationalExprBaseF a)

Defined in ProjectM36.Base

Methods

fold :: Monoid m => RelationalExprBaseF a m -> m

foldMap :: Monoid m => (a0 -> m) -> RelationalExprBaseF a a0 -> m

foldMap' :: Monoid m => (a0 -> m) -> RelationalExprBaseF a a0 -> m

foldr :: (a0 -> b -> b) -> b -> RelationalExprBaseF a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> RelationalExprBaseF a a0 -> b

foldl :: (b -> a0 -> b) -> b -> RelationalExprBaseF a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> RelationalExprBaseF a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> RelationalExprBaseF a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> RelationalExprBaseF a a0 -> a0

toList :: RelationalExprBaseF a a0 -> [a0]

null :: RelationalExprBaseF a a0 -> Bool

length :: RelationalExprBaseF a a0 -> Int

elem :: Eq a0 => a0 -> RelationalExprBaseF a a0 -> Bool

maximum :: Ord a0 => RelationalExprBaseF a a0 -> a0

minimum :: Ord a0 => RelationalExprBaseF a a0 -> a0

sum :: Num a0 => RelationalExprBaseF a a0 -> a0

product :: Num a0 => RelationalExprBaseF a a0 -> a0

Traversable (RelationalExprBaseF a)

Defined in ProjectM36.Base

Methods

traverse :: Applicative f => (a0 -> f b) -> RelationalExprBaseF a a0 -> f (RelationalExprBaseF a b)

sequenceA :: Applicative f => RelationalExprBaseF a (f a0) -> f (RelationalExprBaseF a a0)

mapM :: Monad m => (a0 -> m b) -> RelationalExprBaseF a a0 -> m (RelationalExprBaseF a b)

sequence :: Monad m => RelationalExprBaseF a (m a0) -> m (RelationalExprBaseF a a0)

Functor (RelationalExprBaseF a)

Defined in ProjectM36.Base

Methods

fmap :: (a0 -> b) -> RelationalExprBaseF a a0 -> RelationalExprBaseF a b

(<$) :: a0 -> RelationalExprBaseF a b -> RelationalExprBaseF a a0

Orphan instances

Hashable Day

Methods

hashWithSalt :: Int -> Day -> Int

hash :: Day -> Int

Hashable DiffTime

Methods

hashWithSalt :: Int -> DiffTime -> Int

hash :: DiffTime -> Int

Hashable UTCTime

Methods

hashWithSalt :: Int -> UTCTime -> Int

hash :: UTCTime -> Int