TW.BuiltIn

Documentation

data BuiltIn

Constructors

BuiltIn

Fields

• bi_name :: QualTypeName
• bi_args :: [TypeVar]

Instances

Eq BuiltIn

Methods

(==) :: BuiltIn -> BuiltIn -> Bool

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

Show BuiltIn

Methods

showsPrec :: Int -> BuiltIn -> ShowS

show :: BuiltIn -> String

showList :: [BuiltIn] -> ShowS

allBuiltIns :: [BuiltIn]

isBuiltIn :: Type -> Maybe (BuiltIn, [Type])

builtInAsType :: BuiltIn -> Type

pathPieceTypes :: [BuiltIn]

isPathPiece :: Type -> Bool

tyString :: BuiltIn

tyInt :: BuiltIn

tyFloat :: BuiltIn

tyBool :: BuiltIn

tyMaybe :: BuiltIn

tyBytes :: BuiltIn

tyList :: BuiltIn

tyDateTime :: BuiltIn

DateTime type, format: YYYY-MM-DD HH:MM:SS[Z|+XX|-XX] or YYYY-MM-DDTHH:MM:SS[Z|+XX|-XX]

tyDate :: BuiltIn

Date type, format: YYYY-MM-DD

tyTime :: BuiltIn

Time type, format: HH:MM:SS