DDC.Core.Exp.Generic

Abstract Syntax

Expressions

type family GAnnot l

type family GBind l

type family GBound l

type family GPrim l

data GExp l

data GAbs l

data GArg l

data GLets l

data GAlt l

data GPat l

data GCast l

data GWitness l

data GWiCon l

Predicates

Atoms

Abstractions

Applications

Let bindings

Patterns

Compounds

Abstractions

Applications

Data Constructors

takeNameOfDaCon

takeTypeOfDaCon

Dictionaries

type ShowLanguage l