DDC.Core.Exp.Annot.Compounds

Annotations

annotOfExp

mapAnnotOfExp

Lambdas

xLAMs

xLams

makeXLamFlags

takeXLAMs

takeXLams

takeXLamFlags

data Param n

takeXLamParam

Applications

xApps

makeXAppsWithAnnots

takeXApps

takeXApps1

takeXAppsAsList

takeXAppsWithAnnots

takeXConApps

takeXPrimApps

Lets

xLets

xLetsAnnot

splitXLets

splitXLetsAnnot

bindsOfLets

specBindsOfLets

valwitBindsOfLets

Alternatives

patOfAlt

takeCtorNameOfAlt

Patterns

bindsOfPat

Casts

makeRuns

Witnesses

wApp

wApps

annotOfWitness

takeXWitness

takeWAppsAsList

takePrimWiConApps

Types

takeXType

Data Constructors

xUnit

dcUnit

takeNameOfDaCon

takeTypeOfDaCon