typed-wire-0.3.0.0: Language idependent type-safe communication

Safe HaskellNone
LanguageHaskell2010

TW.BuiltIn

Synopsis

Documentation

data BuiltIn Source

Constructors

BuiltIn 

Fields

bi_name :: QualTypeName
 
bi_args :: [TypeVar]
 

Instances

allBuiltIns :: [BuiltIn] Source

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

builtInAsType :: BuiltIn -> Type Source

pathPieceTypes :: [BuiltIn] Source

isPathPiece :: Type -> Bool Source

tyString :: BuiltIn Source

tyInt :: BuiltIn Source

tyFloat :: BuiltIn Source

tyBool :: BuiltIn Source

tyMaybe :: BuiltIn Source

tyBytes :: BuiltIn Source

tyList :: BuiltIn Source

tyDateTime :: BuiltIn Source

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

tyDate :: BuiltIn Source

Date type, format: YYYY-MM-DD

tyTime :: BuiltIn Source

Time type, format: HH:MM:SS