ProjectM36.Base

Documentation

type StringType = Text

data Atom

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

Constructors

IntegerAtom Integer

IntAtom Int

DoubleAtom Double

TextAtom Text

DayAtom Day

DateTimeAtom UTCTime

ByteStringAtom ByteString

BoolAtom Bool

RelationAtom Relation

ConstructedAtom DataConstructorName AtomType [Atom]

Instances

Eq Atom

Defined in ProjectM36.Base

Methods

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

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

Show Atom

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

Generic Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: * -> *

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Hashable Atom

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Atom -> Int

hash :: Atom -> Int

Binary Atom

Defined in ProjectM36.Base

Methods

put :: Atom -> Put

get :: Get Atom

putList :: [Atom] -> Put

NFData Atom

Defined in ProjectM36.Base

Methods

rnf :: Atom -> ()

type Rep Atom

Defined in ProjectM36.Base

type Rep Atom = D1 (MetaData "Atom" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (((C1 (MetaCons "IntegerAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) :+: C1 (MetaCons "IntAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "DoubleAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) :+: (C1 (MetaCons "TextAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "DayAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day))))) :+: ((C1 (MetaCons "DateTimeAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)) :+: C1 (MetaCons "ByteStringAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) :+: (C1 (MetaCons "BoolAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: (C1 (MetaCons "RelationAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Relation)) :+: C1 (MetaCons "ConstructedAtom" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Atom])))))))

data AtomType

The AtomType uniquely identifies the type of a atom.

Constructors

IntAtomType

IntegerAtomType

DoubleAtomType

TextAtomType

DayAtomType

DateTimeAtomType

ByteStringAtomType

BoolAtomType

RelationAtomType Attributes

ConstructedAtomType TypeConstructorName TypeVarMap

TypeVariableType TypeVarName

Instances

Eq AtomType

Defined in ProjectM36.Base

Methods

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

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

Show AtomType

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomType -> ShowS

show :: AtomType -> String

showList :: [AtomType] -> ShowS

Generic AtomType

Defined in ProjectM36.Base

Associated Types

type Rep AtomType :: * -> *

Methods

from :: AtomType -> Rep AtomType x

to :: Rep AtomType x -> AtomType

Hashable TypeVarMap

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> TypeVarMap -> Int

hash :: TypeVarMap -> Int

Binary AtomType

Defined in ProjectM36.Base

Methods

put :: AtomType -> Put

get :: Get AtomType

putList :: [AtomType] -> Put

NFData AtomType

Defined in ProjectM36.Base

Methods

rnf :: AtomType -> ()

type Rep AtomType

Defined in ProjectM36.Base

type Rep AtomType = D1 (MetaData "AtomType" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (((C1 (MetaCons "IntAtomType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "IntegerAtomType" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "DoubleAtomType" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "TextAtomType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "DayAtomType" PrefixI False) (U1 :: * -> *)))) :+: ((C1 (MetaCons "DateTimeAtomType" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "ByteStringAtomType" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "BoolAtomType" PrefixI False) (U1 :: * -> *))) :+: (C1 (MetaCons "RelationAtomType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes)) :+: (C1 (MetaCons "ConstructedAtomType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap)) :+: C1 (MetaCons "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.

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

Eq Attribute

Defined in ProjectM36.Base

Methods

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

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

Show Attribute

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Attribute -> ShowS

show :: Attribute -> String

showList :: [Attribute] -> ShowS

Generic Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: * -> *

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Hashable Attribute

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Attribute -> Int

hash :: Attribute -> Int

Binary Attribute

Defined in ProjectM36.Base

Methods

put :: Attribute -> Put

get :: Get Attribute

putList :: [Attribute] -> Put

NFData Attribute

Defined in ProjectM36.Base

Methods

rnf :: Attribute -> ()

type Rep Attribute

Defined in ProjectM36.Base

type Rep Attribute = D1 (MetaData "Attribute" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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 Attributes = Vector Attribute

Attributes represent the head of a relation.

attributesEqual :: Attributes -> Attributes -> Bool

Equality function for a set of attributes.

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

newtype RelationTupleSet

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

Constructors

RelationTupleSet

Fields

• asList :: [RelationTuple]

Instances

Eq RelationTupleSet

Defined in ProjectM36.Base

Methods

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

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

Show RelationTupleSet

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationTupleSet -> ShowS

show :: RelationTupleSet -> String

showList :: [RelationTupleSet] -> ShowS

Generic RelationTupleSet

Defined in ProjectM36.Base

Associated Types

type Rep RelationTupleSet :: * -> *

Methods

from :: RelationTupleSet -> Rep RelationTupleSet x

to :: Rep RelationTupleSet x -> RelationTupleSet

Hashable RelationTupleSet

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationTupleSet -> Int

hash :: RelationTupleSet -> Int

Binary RelationTupleSet

Defined in ProjectM36.Base

Methods

put :: RelationTupleSet -> Put

get :: Get RelationTupleSet

putList :: [RelationTupleSet] -> Put

NFData RelationTupleSet

Defined in ProjectM36.Base

Methods

rnf :: RelationTupleSet -> ()

type Rep RelationTupleSet

Defined in ProjectM36.Base

type Rep RelationTupleSet = D1 (MetaData "RelationTupleSet" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq RelationTuple

Defined in ProjectM36.Base

Methods

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

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

Show RelationTuple

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationTuple -> ShowS

show :: RelationTuple -> String

showList :: [RelationTuple] -> ShowS

Generic RelationTuple

Defined in ProjectM36.Base

Associated Types

type Rep RelationTuple :: * -> *

Methods

from :: RelationTuple -> Rep RelationTuple x

to :: Rep RelationTuple x -> RelationTuple

Hashable RelationTuple

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> RelationTuple -> Int

hash :: RelationTuple -> Int

Binary RelationTuple

Defined in ProjectM36.Base

Methods

put :: RelationTuple -> Put

get :: Get RelationTuple

putList :: [RelationTuple] -> Put

NFData RelationTuple

Defined in ProjectM36.Base

Methods

rnf :: RelationTuple -> ()

type Rep RelationTuple

Defined in ProjectM36.Base

type Rep RelationTuple = D1 (MetaData "RelationTuple" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq Relation

Defined in ProjectM36.Base

Methods

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

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

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

Generic Relation

Defined in ProjectM36.Base

Associated Types

type Rep Relation :: * -> *

Methods

from :: Relation -> Rep Relation x

to :: Rep Relation x -> Relation

Hashable Relation

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> Relation -> Int

hash :: Relation -> Int

Binary Relation

Defined in ProjectM36.Base

Methods

put :: Relation -> Put

get :: Get Relation

putList :: [Relation] -> Put

NFData Relation

Defined in ProjectM36.Base

Methods

rnf :: Relation -> ()

type Rep Relation

Defined in ProjectM36.Base

type Rep Relation = D1 (MetaData "Relation" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq RelationCardinality

Defined in ProjectM36.Base

Methods

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

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

Ord RelationCardinality

Defined in ProjectM36.Base

Methods

compare :: RelationCardinality -> RelationCardinality -> Ordering

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

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

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

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

max :: RelationCardinality -> RelationCardinality -> RelationCardinality

min :: RelationCardinality -> RelationCardinality -> RelationCardinality

Show RelationCardinality

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationCardinality -> ShowS

show :: RelationCardinality -> String

showList :: [RelationCardinality] -> ShowS

Generic RelationCardinality

Defined in ProjectM36.Base

Associated Types

type Rep RelationCardinality :: * -> *

Methods

from :: RelationCardinality -> Rep RelationCardinality x

to :: Rep RelationCardinality x -> RelationCardinality

type Rep RelationCardinality

Defined in ProjectM36.Base

type Rep RelationCardinality = D1 (MetaData "RelationCardinality" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "Countable" PrefixI False) (U1 :: * -> *) :+: 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]) [TupleExprBase a]

MakeStaticRelation Attributes RelationTupleSet

ExistingRelation Relation

RelationVariable RelVarName a

Project (AttributeNamesBase a) (RelationalExprBase a)

Union (RelationalExprBase a) (RelationalExprBase a)

Join (RelationalExprBase a) (RelationalExprBase a)

Rename AttributeName AttributeName (RelationalExprBase a)

Difference (RelationalExprBase a) (RelationalExprBase a)

Group (AttributeNamesBase a) AttributeName (RelationalExprBase a)

Ungroup AttributeName (RelationalExprBase a)

Restrict (RestrictionPredicateExprBase a) (RelationalExprBase a)

Equals (RelationalExprBase a) (RelationalExprBase a)

NotEquals (RelationalExprBase a) (RelationalExprBase a)

Extend (ExtendTupleExprBase a) (RelationalExprBase a)

With [(RelVarName, RelationalExprBase a)] (RelationalExprBase a)

Instances

Binary RelationalExpr

Defined in ProjectM36.Base

Methods

put :: RelationalExpr -> Put

get :: Get RelationalExpr

putList :: [RelationalExpr] -> Put

Binary TransGraphRelationalExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRelationalExpr -> Put

get :: Get TransGraphRelationalExpr

putList :: [TransGraphRelationalExpr] -> Put

Eq a => Eq (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RelationalExprBase a -> ShowS

show :: RelationalExprBase a -> String

showList :: [RelationalExprBase a] -> ShowS

Generic (RelationalExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (RelationalExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RelationalExprBase a -> ()

type Rep (RelationalExprBase a)

Defined in ProjectM36.Base

type Rep (RelationalExprBase a) = D1 (MetaData "RelationalExprBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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 [TupleExprBase a])) :+: C1 (MetaCons "MakeStaticRelation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelationTupleSet))) :+: (C1 (MetaCons "ExistingRelation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Relation)) :+: C1 (MetaCons "RelationVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: ((C1 (MetaCons "Project" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "Union" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 (MetaCons "Join" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "Rename" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))))))) :+: (((C1 (MetaCons "Difference" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "Group" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AttributeNamesBase a)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))))) :+: (C1 (MetaCons "Ungroup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "Restrict" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RestrictionPredicateExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))))) :+: ((C1 (MetaCons "Equals" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "NotEquals" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)))) :+: (C1 (MetaCons "Extend" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExtendTupleExprBase a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a))) :+: C1 (MetaCons "With" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(RelVarName, RelationalExprBase a)]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RelationalExprBase a)))))))

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

Eq Notification

Defined in ProjectM36.Base

Methods

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

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

Show Notification

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> Notification -> ShowS

show :: Notification -> String

showList :: [Notification] -> ShowS

Generic Notification

Defined in ProjectM36.Base

Associated Types

type Rep Notification :: * -> *

Methods

from :: Notification -> Rep Notification x

to :: Rep Notification x -> Notification

Binary Notification

Defined in ProjectM36.Base

Methods

put :: Notification -> Put

get :: Get Notification

putList :: [Notification] -> Put

NFData Notification

Defined in ProjectM36.Base

Methods

rnf :: Notification -> ()

type Rep Notification

Defined in ProjectM36.Base

type Rep Notification = D1 (MetaData "Notification" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq TypeConstructorDef

Defined in ProjectM36.Base

Methods

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

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

Show TypeConstructorDef

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TypeConstructorDef -> ShowS

show :: TypeConstructorDef -> String

showList :: [TypeConstructorDef] -> ShowS

Generic TypeConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep TypeConstructorDef :: * -> *

Methods

from :: TypeConstructorDef -> Rep TypeConstructorDef x

to :: Rep TypeConstructorDef x -> TypeConstructorDef

Binary TypeConstructorDef

Defined in ProjectM36.Base

Methods

put :: TypeConstructorDef -> Put

get :: Get TypeConstructorDef

putList :: [TypeConstructorDef] -> Put

NFData TypeConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorDef -> ()

type Rep TypeConstructorDef

Defined in ProjectM36.Base

type Rep TypeConstructorDef = D1 (MetaData "TypeConstructorDef" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq a => Eq (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TypeConstructorBase a -> ShowS

show :: TypeConstructorBase a -> String

showList :: [TypeConstructorBase a] -> ShowS

Generic (TypeConstructorBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Binary a => Binary (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

put :: TypeConstructorBase a -> Put

get :: Get (TypeConstructorBase a)

putList :: [TypeConstructorBase a] -> Put

NFData a => NFData (TypeConstructorBase a)

Defined in ProjectM36.Base

Methods

rnf :: TypeConstructorBase a -> ()

type Rep (TypeConstructorBase a)

Defined in ProjectM36.Base

type Rep (TypeConstructorBase a) = D1 (MetaData "TypeConstructorBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq DataConstructorDef

Defined in ProjectM36.Base

Methods

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

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

Show DataConstructorDef

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DataConstructorDef -> ShowS

show :: DataConstructorDef -> String

showList :: [DataConstructorDef] -> ShowS

Generic DataConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDef :: * -> *

Methods

from :: DataConstructorDef -> Rep DataConstructorDef x

to :: Rep DataConstructorDef x -> DataConstructorDef

Binary DataConstructorDef

Defined in ProjectM36.Base

Methods

put :: DataConstructorDef -> Put

get :: Get DataConstructorDef

putList :: [DataConstructorDef] -> Put

NFData DataConstructorDef

Defined in ProjectM36.Base

Methods

rnf :: DataConstructorDef -> ()

type Rep DataConstructorDef

Defined in ProjectM36.Base

type Rep DataConstructorDef = D1 (MetaData "DataConstructorDef" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Eq DataConstructorDefArg

Defined in ProjectM36.Base

Methods

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

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

Show DataConstructorDefArg

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DataConstructorDefArg -> ShowS

show :: DataConstructorDefArg -> String

showList :: [DataConstructorDefArg] -> ShowS

Generic DataConstructorDefArg

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDefArg :: * -> *

Methods

from :: DataConstructorDefArg -> Rep DataConstructorDefArg x

to :: Rep DataConstructorDefArg x -> DataConstructorDefArg

Binary DataConstructorDefArg

Defined in ProjectM36.Base

Methods

put :: DataConstructorDefArg -> Put

get :: Get DataConstructorDefArg

putList :: [DataConstructorDefArg] -> Put

NFData DataConstructorDefArg

Defined in ProjectM36.Base

Methods

rnf :: DataConstructorDefArg -> ()

type Rep DataConstructorDefArg

Defined in ProjectM36.Base

type Rep DataConstructorDefArg = D1 (MetaData "DataConstructorDefArg" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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 Relation

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

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

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

Binary Schema

Defined in ProjectM36.Base

Methods

put :: Schema -> Put

get :: Get Schema

putList :: [Schema] -> Put

type Rep Schema

Defined in ProjectM36.Base

type Rep Schema = D1 (MetaData "Schema" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Show SchemaIsomorph

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> SchemaIsomorph -> ShowS

show :: SchemaIsomorph -> String

showList :: [SchemaIsomorph] -> ShowS

Generic SchemaIsomorph

Defined in ProjectM36.Base

Associated Types

type Rep SchemaIsomorph :: * -> *

Methods

from :: SchemaIsomorph -> Rep SchemaIsomorph x

to :: Rep SchemaIsomorph x -> SchemaIsomorph

Binary SchemaIsomorph

Defined in ProjectM36.Base

Methods

put :: SchemaIsomorph -> Put

get :: Get SchemaIsomorph

putList :: [SchemaIsomorph] -> Put

type Rep SchemaIsomorph

Defined in ProjectM36.Base

type Rep SchemaIsomorph = D1 (MetaData "SchemaIsomorph" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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]

data DatabaseContext

Constructors

DatabaseContext

Fields

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

Instances

Generic DatabaseContext

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContext :: * -> *

Methods

from :: DatabaseContext -> Rep DatabaseContext x

to :: Rep DatabaseContext x -> DatabaseContext

NFData DatabaseContext

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContext -> ()

type Rep DatabaseContext

Defined in ProjectM36.Base

type Rep DatabaseContext = D1 (MetaData "DatabaseContext" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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)))))

type IncDepName = StringType

data InclusionDependency

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

Constructors

InclusionDependency RelationalExpr RelationalExpr

Instances

Eq InclusionDependency

Defined in ProjectM36.Base

Methods

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

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

Show InclusionDependency

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> InclusionDependency -> ShowS

show :: InclusionDependency -> String

showList :: [InclusionDependency] -> ShowS

Generic InclusionDependency

Defined in ProjectM36.Base

Associated Types

type Rep InclusionDependency :: * -> *

Methods

from :: InclusionDependency -> Rep InclusionDependency x

to :: Rep InclusionDependency x -> InclusionDependency

Binary InclusionDependency

Defined in ProjectM36.Base

Methods

put :: InclusionDependency -> Put

get :: Get InclusionDependency

putList :: [InclusionDependency] -> Put

NFData InclusionDependency

Defined in ProjectM36.Base

Methods

rnf :: InclusionDependency -> ()

type Rep InclusionDependency

Defined in ProjectM36.Base

type Rep InclusionDependency = D1 (MetaData "InclusionDependency" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

data DatabaseContextExpr

Database context expressions modify the database context.

Constructors

NoOperation

Define RelVarName [AttributeExpr]

Undefine RelVarName

Assign RelVarName RelationalExpr

Insert RelVarName RelationalExpr

Delete RelVarName RestrictionPredicateExpr

Update RelVarName AttributeNameAtomExprMap RestrictionPredicateExpr

AddInclusionDependency IncDepName InclusionDependency

RemoveInclusionDependency IncDepName

AddNotification NotificationName RelationalExpr RelationalExpr RelationalExpr

RemoveNotification NotificationName

AddTypeConstructor TypeConstructorDef [DataConstructorDef]

RemoveTypeConstructor TypeConstructorName

RemoveAtomFunction AtomFunctionName

RemoveDatabaseContextFunction DatabaseContextFunctionName

ExecuteDatabaseContextFunction DatabaseContextFunctionName [AtomExpr]

MultipleExpr [DatabaseContextExpr]

Instances

Eq DatabaseContextExpr

Defined in ProjectM36.Base

Methods

(==) :: DatabaseContextExpr -> DatabaseContextExpr -> Bool

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

Show DatabaseContextExpr

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextExpr -> ShowS

show :: DatabaseContextExpr -> String

showList :: [DatabaseContextExpr] -> ShowS

Generic DatabaseContextExpr

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContextExpr :: * -> *

Methods

from :: DatabaseContextExpr -> Rep DatabaseContextExpr x

to :: Rep DatabaseContextExpr x -> DatabaseContextExpr

Binary DatabaseContextExpr

Defined in ProjectM36.Base

Methods

put :: DatabaseContextExpr -> Put

get :: Get DatabaseContextExpr

putList :: [DatabaseContextExpr] -> Put

type Rep DatabaseContextExpr

Defined in ProjectM36.Base

type Rep DatabaseContextExpr = D1 (MetaData "DatabaseContextExpr" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) ((((C1 (MetaCons "NoOperation" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Define" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AttributeExpr]))) :+: (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 RelationalExpr)))) :+: ((C1 (MetaCons "Insert" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelationalExpr)) :+: C1 (MetaCons "Delete" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RestrictionPredicateExpr))) :+: (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 RestrictionPredicateExpr))) :+: 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 AtomFunctionName))) :+: (C1 (MetaCons "RemoveDatabaseContextFunction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionName)) :+: (C1 (MetaCons "ExecuteDatabaseContextFunction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomExpr])) :+: C1 (MetaCons "MultipleExpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DatabaseContextExpr])))))))

type ObjModuleName = StringType

type ObjFunctionName = StringType

type Range = (Int, Int)

data DatabaseContextIOExpr

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 AtomFunctionName [TypeConstructor] AtomFunctionBodyScript

LoadAtomFunctions ObjModuleName ObjFunctionName FilePath

AddDatabaseContextFunction DatabaseContextFunctionName [TypeConstructor] DatabaseContextFunctionBodyScript

LoadDatabaseContextFunctions ObjModuleName ObjFunctionName FilePath

CreateArbitraryRelation RelVarName [AttributeExpr] Range

Instances

Eq DatabaseContextIOExpr

Defined in ProjectM36.Base

Methods

(==) :: DatabaseContextIOExpr -> DatabaseContextIOExpr -> Bool

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

Show DatabaseContextIOExpr

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> DatabaseContextIOExpr -> ShowS

show :: DatabaseContextIOExpr -> String

showList :: [DatabaseContextIOExpr] -> ShowS

Generic DatabaseContextIOExpr

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContextIOExpr :: * -> *

Methods

from :: DatabaseContextIOExpr -> Rep DatabaseContextIOExpr x

to :: Rep DatabaseContextIOExpr x -> DatabaseContextIOExpr

Binary DatabaseContextIOExpr

Defined in ProjectM36.Base

Methods

put :: DatabaseContextIOExpr -> Put

get :: Get DatabaseContextIOExpr

putList :: [DatabaseContextIOExpr] -> Put

type Rep DatabaseContextIOExpr

Defined in ProjectM36.Base

type Rep DatabaseContextIOExpr = D1 (MetaData "DatabaseContextIOExpr" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) ((C1 (MetaCons "AddAtomFunction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeConstructor]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionBodyScript))) :+: 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 DatabaseContextFunctionName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeConstructor]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionBodyScript))) :+: (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 [AttributeExpr]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Range))))))

type RestrictionPredicateExpr = RestrictionPredicateExprBase ()

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

Binary RestrictionPredicateExpr

Defined in ProjectM36.Base

Methods

put :: RestrictionPredicateExpr -> Put

get :: Get RestrictionPredicateExpr

putList :: [RestrictionPredicateExpr] -> Put

Binary TransGraphRestrictionPredicateExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRestrictionPredicateExpr -> Put

get :: Get TransGraphRestrictionPredicateExpr

putList :: [TransGraphRestrictionPredicateExpr] -> Put

Eq a => Eq (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> RestrictionPredicateExprBase a -> ShowS

show :: RestrictionPredicateExprBase a -> String

showList :: [RestrictionPredicateExprBase a] -> ShowS

Generic (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: RestrictionPredicateExprBase a -> ()

type Rep (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

type Rep (RestrictionPredicateExprBase a) = D1 (MetaData "RestrictionPredicateExprBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) ((C1 (MetaCons "TruePredicate" PrefixI False) (U1 :: * -> *) :+: (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)

transactionsForGraph :: TransactionGraph -> Set Transaction

transactionHeadsForGraph :: TransactionGraph -> TransactionHeads

data TransactionInfo

Every transaction has context-specific information attached to it.

Constructors

TransactionInfo TransactionId (Set TransactionId) UTCTime

MergeTransactionInfo TransactionId TransactionId (Set TransactionId) UTCTime

Instances

Show TransactionInfo

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TransactionInfo -> ShowS

show :: TransactionInfo -> String

showList :: [TransactionInfo] -> ShowS

Generic TransactionInfo

Defined in ProjectM36.Base

Associated Types

type Rep TransactionInfo :: * -> *

Methods

from :: TransactionInfo -> Rep TransactionInfo x

to :: Rep TransactionInfo x -> TransactionInfo

Binary TransactionInfo

Defined in ProjectM36.Base

Methods

put :: TransactionInfo -> Put

get :: Get TransactionInfo

putList :: [TransactionInfo] -> Put

type Rep TransactionInfo

Defined in ProjectM36.Base

type Rep TransactionInfo = D1 (MetaData "TransactionInfo" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "TransactionInfo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TransactionId)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime))) :+: C1 (MetaCons "MergeTransactionInfo" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TransactionId)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime))))

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

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 DirtyFlag = Bool

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

transactionId :: Transaction -> TransactionId

transactionInfo :: Transaction -> TransactionInfo

type AtomExpr = AtomExprBase ()

data AtomExprBase a

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

Constructors

AttributeAtomExpr AttributeName

NakedAtomExpr Atom

FunctionAtomExpr AtomFunctionName [AtomExprBase a] a

RelationAtomExpr (RelationalExprBase a)

ConstructedAtomExpr DataConstructorName [AtomExprBase a] a

Instances

Binary AtomExpr

Defined in ProjectM36.Base

Methods

put :: AtomExpr -> Put

get :: Get AtomExpr

putList :: [AtomExpr] -> Put

Binary TransGraphAtomExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAtomExpr -> Put

get :: Get TransGraphAtomExpr

putList :: [TransGraphAtomExpr] -> Put

Eq a => Eq (AtomExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (AtomExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomExprBase a -> ShowS

show :: AtomExprBase a -> String

showList :: [AtomExprBase a] -> ShowS

Generic (AtomExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (AtomExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AtomExprBase a -> ()

type Rep (AtomExprBase a)

Defined in ProjectM36.Base

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

data ExtendTupleExprBase a

Used in tuple creation when creating a relation.

Constructors

AttributeExtendTupleExpr AttributeName (AtomExprBase a)

Instances

Binary ExtendTupleExpr

Defined in ProjectM36.Base

Methods

put :: ExtendTupleExpr -> Put

get :: Get ExtendTupleExpr

putList :: [ExtendTupleExpr] -> Put

Binary TransGraphExtendTupleExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphExtendTupleExpr -> Put

get :: Get TransGraphExtendTupleExpr

putList :: [TransGraphExtendTupleExpr] -> Put

Eq a => Eq (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> ExtendTupleExprBase a -> ShowS

show :: ExtendTupleExprBase a -> String

showList :: [ExtendTupleExprBase a] -> ShowS

Generic (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: ExtendTupleExprBase a -> ()

type Rep (ExtendTupleExprBase a)

Defined in ProjectM36.Base

type Rep (ExtendTupleExprBase a) = D1 (MetaData "ExtendTupleExprBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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 AtomFunctions = HashSet AtomFunction

type AtomFunctionName = StringType

type AtomFunctionBodyScript = StringType

type AtomFunctionBodyType = [Atom] -> Either AtomFunctionError Atom

data AtomFunctionBody

Constructors

AtomFunctionBody (Maybe AtomFunctionBodyScript) AtomFunctionBodyType

Instances

Show AtomFunctionBody

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomFunctionBody -> ShowS

show :: AtomFunctionBody -> String

showList :: [AtomFunctionBody] -> ShowS

NFData AtomFunctionBody

Defined in ProjectM36.Base

Methods

rnf :: AtomFunctionBody -> ()

data AtomFunction

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

Constructors

AtomFunction

Fields

• atomFuncName :: AtomFunctionName
• atomFuncType :: [AtomType]
• atomFuncBody :: AtomFunctionBody

Instances

Eq AtomFunction

Defined in ProjectM36.Base

Methods

(==) :: AtomFunction -> AtomFunction -> Bool

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

Show AtomFunction

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AtomFunction -> ShowS

show :: AtomFunction -> String

showList :: [AtomFunction] -> ShowS

Generic AtomFunction

Defined in ProjectM36.Base

Associated Types

type Rep AtomFunction :: * -> *

Methods

from :: AtomFunction -> Rep AtomFunction x

to :: Rep AtomFunction x -> AtomFunction

Hashable AtomFunction

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> AtomFunction -> Int

hash :: AtomFunction -> Int

NFData AtomFunction

Defined in ProjectM36.Base

Methods

rnf :: AtomFunction -> ()

type Rep AtomFunction

Defined in ProjectM36.Base

type Rep AtomFunction = D1 (MetaData "AtomFunction" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "AtomFunction" PrefixI True) (S1 (MetaSel (Just "atomFuncName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName) :*: (S1 (MetaSel (Just "atomFuncType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType]) :*: S1 (MetaSel (Just "atomFuncBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionBody))))

data AttributeNamesBase a

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

Constructors

AttributeNames (Set AttributeName)

InvertedAttributeNames (Set AttributeName)

UnionAttributeNames (AttributeNamesBase a) (AttributeNamesBase a)

IntersectAttributeNames (AttributeNamesBase a) (AttributeNamesBase a)

RelationalExprAttributeNames (RelationalExprBase a)

Instances

Binary AttributeNames

Defined in ProjectM36.Base

Methods

put :: AttributeNames -> Put

get :: Get AttributeNames

putList :: [AttributeNames] -> Put

Binary TransGraphAttributeNames

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAttributeNames -> Put

get :: Get TransGraphAttributeNames

putList :: [TransGraphAttributeNames] -> Put

Eq a => Eq (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AttributeNamesBase a -> ShowS

show :: AttributeNamesBase a -> String

showList :: [AttributeNamesBase a] -> ShowS

Generic (AttributeNamesBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (AttributeNamesBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeNamesBase a -> ()

type Rep (AttributeNamesBase a)

Defined in ProjectM36.Base

type Rep (AttributeNamesBase a) = D1 (MetaData "AttributeNamesBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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 ()

data PersistenceStrategy

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

Constructors

NoPersistence

no filesystem persistence/memory-only database

MinimalPersistence FilePath

fsync off, not crash-safe

CrashSafePersistence FilePath

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

Instances

Read PersistenceStrategy

Defined in ProjectM36.Base

Methods

readsPrec :: Int -> ReadS PersistenceStrategy

readList :: ReadS [PersistenceStrategy]

readPrec :: ReadPrec PersistenceStrategy

readListPrec :: ReadPrec [PersistenceStrategy]

Show PersistenceStrategy

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> PersistenceStrategy -> ShowS

show :: PersistenceStrategy -> String

showList :: [PersistenceStrategy] -> ShowS

type AttributeExpr = AttributeExprBase ()

data AttributeExprBase a

Create attributes dynamically.

Constructors

AttributeAndTypeNameExpr AttributeName TypeConstructor a

NakedAttributeExpr Attribute

Instances

Eq a => Eq (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> AttributeExprBase a -> ShowS

show :: AttributeExprBase a -> String

showList :: [AttributeExprBase a] -> ShowS

Generic (AttributeExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

Binary a => Binary (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

put :: AttributeExprBase a -> Put

get :: Get (AttributeExprBase a)

putList :: [AttributeExprBase a] -> Put

NFData a => NFData (AttributeExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: AttributeExprBase a -> ()

type Rep (AttributeExprBase a)

Defined in ProjectM36.Base

type Rep (AttributeExprBase a) = D1 (MetaData "AttributeExprBase" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" 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

Binary TupleExpr

Defined in ProjectM36.Base

Methods

put :: TupleExpr -> Put

get :: Get TupleExpr

putList :: [TupleExpr] -> Put

Binary TransGraphTupleExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphTupleExpr -> Put

get :: Get TransGraphTupleExpr

putList :: [TransGraphTupleExpr] -> Put

Eq a => Eq (TupleExprBase a)

Defined in ProjectM36.Base

Methods

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

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

Show a => Show (TupleExprBase a)

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> TupleExprBase a -> ShowS

show :: TupleExprBase a -> String

showList :: [TupleExprBase a] -> ShowS

Generic (TupleExprBase a)

Defined in ProjectM36.Base

Associated Types

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

Methods

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

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

NFData a => NFData (TupleExprBase a)

Defined in ProjectM36.Base

Methods

rnf :: TupleExprBase a -> ()

type Rep (TupleExprBase a)

Defined in ProjectM36.Base

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

type TupleExpr = TupleExprBase ()

data MergeStrategy

Constructors

UnionMergeStrategy

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

UnionPreferMergeStrategy HeadName

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

SelectedBranchMergeStrategy HeadName

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

Instances

Eq MergeStrategy

Defined in ProjectM36.Base

Methods

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

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

Show MergeStrategy

Defined in ProjectM36.Base

Methods

showsPrec :: Int -> MergeStrategy -> ShowS

show :: MergeStrategy -> String

showList :: [MergeStrategy] -> ShowS

Generic MergeStrategy

Defined in ProjectM36.Base

Associated Types

type Rep MergeStrategy :: * -> *

Methods

from :: MergeStrategy -> Rep MergeStrategy x

to :: Rep MergeStrategy x -> MergeStrategy

Binary MergeStrategy

Defined in ProjectM36.Base

Methods

put :: MergeStrategy -> Put

get :: Get MergeStrategy

putList :: [MergeStrategy] -> Put

NFData MergeStrategy

Defined in ProjectM36.Base

Methods

rnf :: MergeStrategy -> ()

type Rep MergeStrategy

Defined in ProjectM36.Base

type Rep MergeStrategy = D1 (MetaData "MergeStrategy" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "UnionMergeStrategy" PrefixI False) (U1 :: * -> *) :+: (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 DatabaseContextFunctionName = StringType

type DatabaseContextFunctionBodyScript = StringType

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

data DatabaseContextFunctionBody

Constructors

DatabaseContextFunctionBody (Maybe DatabaseContextFunctionBodyScript) DatabaseContextFunctionBodyType

Instances

NFData DatabaseContextFunctionBody

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContextFunctionBody -> ()

data DatabaseContextFunction

Constructors

DatabaseContextFunction

Fields

• dbcFuncName :: DatabaseContextFunctionName
• dbcFuncType :: [AtomType]
• dbcFuncBody :: DatabaseContextFunctionBody

Instances

Eq DatabaseContextFunction

Defined in ProjectM36.Base

Methods

(==) :: DatabaseContextFunction -> DatabaseContextFunction -> Bool

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

Generic DatabaseContextFunction

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContextFunction :: * -> *

Methods

from :: DatabaseContextFunction -> Rep DatabaseContextFunction x

to :: Rep DatabaseContextFunction x -> DatabaseContextFunction

Hashable DatabaseContextFunction

Defined in ProjectM36.Base

Methods

hashWithSalt :: Int -> DatabaseContextFunction -> Int

hash :: DatabaseContextFunction -> Int

NFData DatabaseContextFunction

Defined in ProjectM36.Base

Methods

rnf :: DatabaseContextFunction -> ()

type Rep DatabaseContextFunction

Defined in ProjectM36.Base

type Rep DatabaseContextFunction = D1 (MetaData "DatabaseContextFunction" "ProjectM36.Base" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "DatabaseContextFunction" PrefixI True) (S1 (MetaSel (Just "dbcFuncName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionName) :*: (S1 (MetaSel (Just "dbcFuncType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType]) :*: S1 (MetaSel (Just "dbcFuncBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionBody))))

type DatabaseContextFunctions = HashSet DatabaseContextFunction

attrTypeVars :: Attribute -> Set TypeVarName

typeVars :: TypeConstructor -> Set TypeVarName

attrExprTypeVars :: AttributeExprBase a -> Set TypeVarName

atomTypeVars :: AtomType -> Set TypeVarName

Orphan instances

Binary UTCTime

Methods

put :: UTCTime -> Put

get :: Get UTCTime

putList :: [UTCTime] -> Put

Binary Day

Methods

put :: Day -> Put

get :: Get Day

putList :: [Day] -> Put