DDC.Type.Exp.Generic.Compounds

Destructors

takeTCon

takeTVar

takeTAbs

takeTApp

Type Applications

makeTApps

takeTApps

Function Types

makeTFun

makeTFuns

makeTFuns'

(~>)

takeTFun

takeTFuns

takeTFuns'

Forall Types

makeTForall

makeTForalls

takeTForall

Exists Types

makeTExists

takeTExists

Union types

takeTUnion

makeTUnions

takeTUnions

splitTUnionsOfKind