Documentation

namesInTypes :: Types -> Names Source

namesInType :: Type -> Names Source

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

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

makeTpSchemeFromType :: Type -> TpScheme Source

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

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

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

makeTypeFromTp :: Tp -> Type Source