DDC.Type.Compounds

Binds

takeNameOfBind

typeOfBind

replaceTypeOfBind

Binders

binderOfBind

makeBindFromBinder

partitionBindsByType

Bounds

takeNameOfBound

takeTypeOfBound

boundMatchesBind

namedBoundMatchesBind

takeSubstBoundOfBind

takeSubstBoundsOfBinds

replaceTypeOfBound

Kinds

kFun

kFuns

takeKFun

takeKFuns

takeKFuns'

takeResultKind

Quantifiers

tForall

tForall'

tForalls

tForalls'

takeTForalls

eraseTForalls

Sums

tBot

tSum

Applications

tApp

($:)

tApps

takeTApps

takeTyConApps

takePrimTyConApps

takeDataTyConApps

takePrimeRegion

Functions

tFun

tFunOfList

tFunPE

tFunOfListPE

tFunEC

takeTFun

takeTFunEC

takeTFunArgResult

takeTFunWitArgResult

takeTFunAllArgResult

arityOfType

Suspensions

tSusp

Implications

tImpl

Units

tUnit

Variables

tIx

takeTExists

Sort construction

sComp

sProp

Kind construction

kData

kRegion

kEffect

kClosure

kWitness

Effect type constructors

tRead

tDeepRead

tHeadRead

tWrite

tDeepWrite

tAlloc

tDeepAlloc

Closure type constructors

tUse

tDeepUse

Witness type constructors

tPure

tEmpty

tGlobal

tDeepGlobal

tConst

tDeepConst

tMutable

tDeepMutable

tDistinct

tLazy

tHeadLazy

tManifest

tConData0

tConData1