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

Safe HaskellNone
LanguageHaskell2010

TW.Check

Documentation

data DefinedType Source

Constructors

DefinedType 

Fields

dt_name :: QualTypeName
 
dt_args :: [TypeVar]
 

Instances

builtInToDefTy :: BuiltIn -> DefinedType Source

typeDefToDefTy :: Maybe ModuleName -> TypeDef -> DefinedType Source

checkModules :: [Module] -> Either String [Module] Source