ProjectM36.RelationalExpression

Documentation

data DatabaseContextExprDetails

Constructors

CountUpdatedTuples

databaseContextExprDetailsFunc :: DatabaseContextExprDetails -> ResultAccumFunc

freshDatabaseState :: DatabaseContext -> DatabaseStateElems

Used to start a fresh database state for a new database context expression.

data RelationalExprStateElems

Constructors

RelationalExprStateTupleElems DatabaseContext RelationTuple

RelationalExprStateAttrsElems DatabaseContext Attributes

RelationalExprStateElems DatabaseContext

Instances

Show RelationalExprStateElems

Methods

showsPrec :: Int -> RelationalExprStateElems -> ShowS

show :: RelationalExprStateElems -> String

showList :: [RelationalExprStateElems] -> ShowS

mkRelationalExprState :: DatabaseContext -> RelationalExprStateElems

mergeTuplesIntoRelationalExprState :: RelationTuple -> RelationalExprStateElems -> RelationalExprStateElems

mergeAttributesIntoRelationalExprState :: Attributes -> RelationalExprStateElems -> RelationalExprStateElems

type ResultAccumName = StringType

type ResultAccumFunc = (RelationTuple -> Relation -> Relation) -> Relation -> Relation

data ResultAccum

Constructors

ResultAccum

Fields

• resultAccumFunc :: ResultAccumFunc
• resultAccumResult :: Relation

type DatabaseStateElems = (DatabaseContext, Map ResultAccumName ResultAccum, DirtyFlag)

type DatabaseState a = State DatabaseStateElems a

getStateContext :: DatabaseState DatabaseContext

putStateContext :: DatabaseContext -> DatabaseState ()

type RelationalExprState a = Reader RelationalExprStateElems a

stateElemsContext :: RelationalExprStateElems -> DatabaseContext

setStateElemsContext :: RelationalExprStateElems -> DatabaseContext -> RelationalExprStateElems

evalRelationalExpr :: RelationalExpr -> RelationalExprState (Either RelationalError Relation)

setRelVar :: RelVarName -> Relation -> DatabaseState (Maybe RelationalError)

deleteRelVar :: RelVarName -> DatabaseState (Maybe RelationalError)

evalDatabaseContextExpr :: DatabaseContextExpr -> DatabaseState (Maybe RelationalError)

evalDatabaseContextIOExpr :: Maybe ScriptSession -> DatabaseContext -> DatabaseContextIOExpr -> IO (Either RelationalError DatabaseContext)

updateTupleWithAtomExprs :: Map AttributeName AtomExpr -> DatabaseContext -> RelationTuple -> Either RelationalError RelationTuple

checkConstraints :: DatabaseContext -> Maybe RelationalError

typeForRelationalExpr :: RelationalExpr -> RelationalExprState (Either RelationalError Relation)

contextWithEmptyTupleSets :: DatabaseContext -> DatabaseContext

liftE :: Monad m => m (Either a b) -> ExceptT a m b

predicateRestrictionFilter :: Attributes -> RestrictionPredicateExpr -> RelationalExprState (Either RelationalError RestrictionFilter)

tupleExprCheckNewAttrName :: AttributeName -> Relation -> Either RelationalError Relation

extendTupleExpressionProcessor :: Relation -> ExtendTupleExpr -> RelationalExprState (Either RelationalError (Attributes, RelationTuple -> Either RelationalError RelationTuple))

evalAtomExpr :: RelationTuple -> AtomExpr -> RelationalExprState (Either RelationalError Atom)

typeFromAtomExpr :: Attributes -> AtomExpr -> RelationalExprState (Either RelationalError AtomType)

verifyAtomExprTypes :: Relation -> AtomExpr -> AtomType -> RelationalExprState (Either RelationalError AtomType)

Validate that the type of the AtomExpr matches the expected type.

evalAttrExpr :: TypeConstructorMapping -> AttributeExpr -> Either RelationalError Attribute

Look up the type's name and create a new attribute.

evalTupleExpr :: Maybe Attributes -> TupleExpr -> RelationalExprState (Either RelationalError RelationTuple)