DDC.Core.Compounds.Simple

Lambdas

xLAMs

xLams

makeXLamFlags

takeXLAMs

takeXLams

takeXLamFlags

Applications

xApps

takeXApps

takeXApps1

takeXAppsAsList

takeXConApps

takeXPrimApps

Lets

xLets

splitXLets

bindsOfLets

specBindsOfLets

valwitBindsOfLets

Patterns

bindsOfPat

Alternatives

takeCtorNameOfAlt

Witnesses

wApp

wApps

takeXWitness

takeWAppsAsList

takePrimWiConApps

Types

takeXType

Data Constructors

xUnit

dcUnit

takeNameOfDaCon

takeTypeOfDaCon