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

tFunOfParamResult

takeTFun

takeTFunArgResult

takeTFunWitArgResult

takeTFunAllArgResult

arityOfType

dataArityOfType

Suspensions

tSusp

takeTSusp

takeTSusps

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

Witness type constructors

tPure

tConst

tDeepConst

tMutable

tDeepMutable

tDistinct

tConData0

tConData1