typed-wire-0.1.0.0: WIP: Language idependent type-safe communication

Safe HaskellNone
LanguageHaskell2010

TW.BuiltIn

Documentation

data BuiltIn Source

Constructors

BuiltIn 

Fields

bi_name :: QualTypeName
 
bi_args :: [TypeVar]
 

Instances

allBuiltIns :: [BuiltIn] Source

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

tyString :: BuiltIn Source

tyInt :: BuiltIn Source

tyFloat :: BuiltIn Source

tyBool :: BuiltIn Source

tyMaybe :: BuiltIn Source