Documentation

typeParam :: TypeParam -> TypeParam Source #

typeVar :: TypeVar -> TypeVar Source #

typeCtor :: TypeCtor -> TypeCtor Source #

anyKindedType :: AnyKindedType -> Type Source #

classConstraint :: ClassConstraint -> ClassConstraint Source #

type' :: Type -> Type Source #

typeSplit :: Int -> Type -> ([Type], Type) Source #

classScopeSplit :: Type -> ([ClassConstraint], Type) Source #

findAnyKindedTypeParams :: AnyKindedType -> Set TypeParam Source #

findTypeParams :: Type -> Set TypeParam Source #

extractTypes :: Type -> [Type] Source #

argLists :: [Var] -> [Type] -> [ArgList] Source #

usingArgList :: [ClassConstraint] -> UsingArgList Source #

qTypeVar :: QTypeVar -> QTypeVar Source #

qTypeCtor :: QTypeCtor -> QTypeCtor Source #

convertTypeCtor :: String -> String Source #

convertTypeVar :: String -> String Source #

typeCtorMap :: Map String String Source #

typeVarMap :: Map String String Source #