Lang.Lam.Syntax

Documentation

data PreExp n e

Constructors

Lit Lit

Var n

Lam n e

Prim Op e

Let n e e

App e e

If e e e

Instances

Pretty n => Functorial * Pretty (PreExp n)

(Eq n, Eq e) => Eq (PreExp n e)

(Ord n, Ord e) => Ord (PreExp n e)

(Pretty n, Pretty e) => Pretty (PreExp n e)

type Exp = Fix (PreExp Name)

type SExp = StampedFix LocNum (PreExp SName)