hssqlppp-0.0.8: Sql parser and type checker Source code Contents Index

Database.HsSqlPpp.Ast.SqlTypes

Contents SQL types type aliases Type errors

Description

Contains the SQL data types, type errors, and a few supporting functions.

Synopsis

data Type = ScalarType String | ArrayType Type | SetOfType Type | CompositeType String | UnnamedCompositeType [(String, Type)] | DomainType String | EnumType String | RowCtor [Type] | Pseudo PseudoType | TypeCheckFailed | UnknownStringLit data PseudoType = Any | AnyArray | AnyElement | AnyEnum | AnyNonArray | Cstring | Record | Trigger | Void | Internal | LanguageHandler | Opaque typeSmallInt :: Type typeBigInt :: Type typeInt :: Type typeNumeric :: Type typeFloat4 :: Type typeFloat8 :: Type typeVarChar :: Type typeChar :: Type typeBool :: Type data TypeError = WrongTypes Type [Type] | UnknownTypeError Type | UnknownTypeName String | NoMatchingOperator String [Type] | TypelessEmptyArray | IncompatibleTypeSet [Type] | IncompatibleTypes Type Type | ValuesListsMustBeSameLength | NoRowsGivenForValues | UnrecognisedIdentifier String | UnrecognisedRelation String | UnrecognisedCorrelationName String | AmbiguousIdentifier String | ContextError String | MissingJoinAttribute | ExpressionMustBeBool | WrongNumberOfColumns | ExpectedDomainType Type | DomainDefNotFound Type | BadEnvironmentUpdate String | TypeAlreadyExists Type | InternalError String | MiscError String

SQL types

data Type Source

Constructors ScalarType String ArrayType Type SetOfType Type CompositeType String UnnamedCompositeType [(String, Type)] DomainType String EnumType String RowCtor [Type] Pseudo PseudoType TypeCheckFailed UnknownStringLit Instances Eq Type Data Type Show Type Typeable Type

data PseudoType Source

Constructors Any AnyArray AnyElement AnyEnum AnyNonArray Cstring Record Trigger Void Internal LanguageHandler Opaque Instances Eq PseudoType Data PseudoType Show PseudoType Typeable PseudoType

type aliases

aliases for all the sql types with multiple names these give you the canonical names

typeSmallInt :: Type Source

typeBigInt :: Type Source

typeInt :: Type Source

typeNumeric :: Type Source

typeFloat4 :: Type Source

typeFloat8 :: Type Source

typeVarChar :: Type Source

typeChar :: Type Source

typeBool :: Type Source

Type errors

data TypeError Source

Constructors WrongTypes Type [Type] UnknownTypeError Type UnknownTypeName String NoMatchingOperator String [Type] TypelessEmptyArray IncompatibleTypeSet [Type] IncompatibleTypes Type Type ValuesListsMustBeSameLength NoRowsGivenForValues UnrecognisedIdentifier String UnrecognisedRelation String UnrecognisedCorrelationName String AmbiguousIdentifier String ContextError String MissingJoinAttribute ExpressionMustBeBool WrongNumberOfColumns ExpectedDomainType Type DomainDefNotFound Type BadEnvironmentUpdate String TypeAlreadyExists Type InternalError String MiscError String Instances Eq TypeError Data TypeError Show TypeError Typeable TypeError Error [TypeError]

Produced by Haddock version 2.6.0