hoogle

Safe HaskellSafe-Infered

Hoogle.Type.TypeSig

Documentation

type Constraint = [Type]

tApp :: Type -> [Type] -> Type

fromTApp :: Type -> (Type, [Type])