Hoogle.Type.TypeSig

data TypeSig

type Constraint

type TypeContext

data TypeSimp

data Type

tApp

fromTFun

isTLit

isTVar

fromTApp

isTLitTuple

insertTApp

removeTApp

onTypeSig

transformSig

universeSig

variables

variablesSig

showConstraint

showFun

normaliseTypeSig

normaliseType

splitFun

renameVars