helium-1.8: The Helium Compiler.

Safe HaskellNone

Helium.StaticAnalysis.Miscellaneous.TypeConversion

Description

 

Documentation

namesInTypes :: Types -> NamesSource

namesInType :: Type -> NamesSource

makeNameMap :: Names -> [(Name, Tp)]Source

makeTpSchemeFromType' :: Type -> (TpScheme, [(Int, Name)])Source

makeTpSchemeFromType :: Type -> TpSchemeSource

predicatesFromContext :: [(Name, Tp)] -> Type -> PredicatesSource

makeTpFromType :: [(Name, Tp)] -> Type -> TpSource

convertFromSimpleTypeAndTypes :: SimpleType -> Types -> (Tp, Tps)Source

makeTypeFromTp :: Tp -> TypeSource