Lang.CPS.Syntax

Documentation

data PrePico n

Constructors

Lit Lit

Var n

Instances

Eq n => Eq (PrePico n)

Ord n => Ord (PrePico n)

Pretty n => Pretty (PrePico n)

type SGPico = PrePico SGName

data PreAtom n c

Constructors

Pico (PrePico n)

Prim Op (PrePico n)

LamF n n c

LamK n c

Instances

(Eq n, Eq c) => Eq (PreAtom n c)

(Ord n, Ord c) => Ord (PreAtom n c)

(Eq n, Eq c) => PartialOrder (PreAtom n c)

(Pretty n, Pretty c) => Pretty (PreAtom n c)

type SPreAtom n c = Stamped LocNum (PreAtom n c)

type Atom n = SPreAtom n (Call n)

type SGAtom = Atom SGName

data PreCall n c

Constructors

Let n (SPreAtom n c) c

If (PrePico n) c c

AppF (PrePico n) (PrePico n) (PrePico n)

AppK (PrePico n) (PrePico n)

Halt (PrePico n)

Instances

Balloon CPSKon SGCall

Pretty n => Functorial * Pretty (PreCall n)

(Eq n, Eq c) => Eq (PreCall n c)

(Ord n, Ord c) => Ord (PreCall n c)

(Eq n, Eq c) => PartialOrder (PreCall n c)

(Pretty n, Pretty c) => Pretty (PreCall n c)

type Call n = StampedFix LocNum (PreCall n)

type SGCall = Call SGName

haltL :: forall n c. Prism (PreCall n c) (PrePico n)

appKL :: forall n c. Prism (PreCall n c) (PrePico n, PrePico n)

appFL :: forall n c. Prism (PreCall n c) (PrePico n, PrePico n, PrePico n)

ifL :: forall n c. Prism (PreCall n c) (PrePico n, c, c)

letL :: forall n c. Prism (PreCall n c) (n, SPreAtom n c, c)

freeVarsLam :: [SGName] -> PreCall SGName SGCall -> Set SGName

freeVarsPico :: SGPico -> Set SGName

freeVarsAtom :: PreAtom SGName SGCall -> Set SGName

freeVarsCall :: PreCall SGName SGCall -> Set SGName