TW.Check

Documentation

data DefinedType

Constructors

DefinedType

Fields

• dt_name :: QualTypeName
• dt_args :: [TypeVar]

Instances

Eq DefinedType

Methods

(==) :: DefinedType -> DefinedType -> Bool

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

Show DefinedType

Methods

showsPrec :: Int -> DefinedType -> ShowS

show :: DefinedType -> String

showList :: [DefinedType] -> ShowS

builtInToDefTy :: BuiltIn -> DefinedType

typeDefToDefTy :: Maybe ModuleName -> TypeDef -> DefinedType

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