ProjectM36.AtomType

Documentation

findDataConstructor :: DataConstructorName -> TypeConstructorMapping -> Maybe (TypeConstructorDef, DataConstructorDef)

atomTypeForDataConstructorDefArg :: DataConstructorDefArg -> AtomType -> TypeConstructorMapping -> Either RelationalError AtomType

atomTypeForDataConstructor :: TypeConstructorMapping -> DataConstructorName -> [AtomType] -> Either RelationalError AtomType

Used to determine if the atom arguments can be used with the data constructor. | This is the entry point for type-checking from RelationalExpression.hs

resolveDataConstructorTypeVars :: DataConstructorDef -> [AtomType] -> TypeConstructorMapping -> Either RelationalError TypeVarMap

Walks the data and type constructors to extract the type variable map.

resolveDataConstructorArgTypeVars :: DataConstructorDefArg -> AtomType -> TypeConstructorMapping -> Either RelationalError TypeVarMap

Attempt to match the data constructor argument to a type constructor type variable.

resolveTypeConstructorTypeVars :: TypeConstructor -> AtomType -> TypeConstructorMapping -> Either RelationalError TypeVarMap

resolveAttributeExprTypeVars :: AttributeExprBase a -> AtomType -> TypeConstructorMapping -> Either RelationalError TypeVarMap

validateTypeConstructorDef :: TypeConstructorDef -> [DataConstructorDef] -> TypeConstructorMapping -> Either RelationalError ()

validateDataConstructorDef :: DataConstructorDef -> TypeConstructorDef -> TypeConstructorMapping -> Either RelationalError ()

validateDataConstructorDefArg :: DataConstructorDefArg -> TypeConstructorDef -> TypeConstructorMapping -> Either RelationalError ()

atomTypeForTypeConstructor :: TypeConstructor -> TypeConstructorMapping -> TypeVarMap -> Either RelationalError AtomType

atomTypeForTypeConstructorValidate :: Bool -> TypeConstructor -> TypeConstructorMapping -> TypeVarMap -> Either RelationalError AtomType

Create an atom type iff all type variables are provided. Either Int Text -> ConstructedAtomType Either {Int , Text}

atomTypeForAttributeExpr :: AttributeExprBase a -> TypeConstructorMapping -> TypeVarMap -> Either RelationalError AtomType

isValidAtomTypeForTypeConstructor :: AtomType -> TypeConstructor -> TypeConstructorMapping -> Either RelationalError ()

findTypeConstructor :: TypeConstructorName -> TypeConstructorMapping -> Maybe (TypeConstructorDef, [DataConstructorDef])

resolveAttributes :: Attribute -> Attribute -> Either RelationalError Attribute

resolveAtomType :: AtomType -> AtomType -> Either RelationalError AtomType

resolveAtomTypesInTypeVarMap :: TypeVarMap -> TypeVarMap -> Either RelationalError TypeVarMap

resolveTypeInAtom :: AtomType -> Atom -> TypeConstructorMapping -> Either RelationalError Atom

See notes at resolveTypesInTuple. The typeFromRelation must not include any wildcards.

resolveTypesInTuple :: Attributes -> TypeConstructorMapping -> RelationTuple -> Either RelationalError RelationTuple

When creating a tuple, the data constructor may not complete the type constructor arguments, so the wildcard "TypeVar x" fills in the type constructor's argument. The tuple type must be resolved before it can be part of a relation, however. Example: Nothing does not specify the the argument in "Maybe a", so allow delayed resolution in the tuple before it is added to the relation. Note that this resolution could cause a type error. Hardly a Hindley-Milner system.

validateAtomType :: AtomType -> TypeConstructorMapping -> Either RelationalError ()

Validate that the type is provided with complete type variables for type constructors.

validateAttributes :: TypeConstructorMapping -> Attributes -> Either RelationalError ()

validateTypeVarMap :: TypeVarMap -> TypeConstructorMapping -> Either RelationalError ()

validateTuple :: RelationTuple -> TypeConstructorMapping -> Either RelationalError ()

validateAtom :: Atom -> TypeConstructorMapping -> Either RelationalError ()

atomTypeVerify :: AtomType -> AtomType -> Either RelationalError AtomType

Determine if two types are equal or compatible (including special handling for TypeVar x).

typeVarMapsVerify :: TypeVarMap -> TypeVarMap -> Bool

Determine if two typeVars are logically compatible.

prettyAtomType :: AtomType -> Text

prettyAttribute :: Attribute -> Text

resolveTypeVariables :: [AtomType] -> [AtomType] -> Either RelationalError TypeVarMap

resolveTypeVariable :: AtomType -> AtomType -> TypeVarMap

resolveFunctionReturnValue :: FunctionName -> TypeVarMap -> AtomType -> Either RelationalError AtomType

resolvedAtomTypesForDataConstructorDefArgs :: TypeConstructorMapping -> TypeVarMap -> DataConstructorDef -> Either RelationalError [AtomType]

resolvedAtomTypeForDataConstructorDefArg :: TypeConstructorMapping -> TypeVarMap -> DataConstructorDefArg -> Either RelationalError AtomType

isResolvedType :: AtomType -> Bool

isResolvedAttributes :: Attributes -> Bool

isResolvedAttribute :: Attribute -> Bool