Hoogle.Type.TypeSig

data TypeSig

type Constraint

type TypeContext

data TypeSimp

data Type

tApp

fromTFun

isTVar

isTLit

fromTApp

isTLitTuple

removeTApp

insertTApp

onTypeSig

variables

variablesSig

showConstraint

showFun

normaliseTypeSig

normaliseType

splitFun

renameVars