Lang.LamIf.CPS

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 Pico = PrePico Name

data PreAtom n c

Constructors

Pico (PrePico n)

Prim LBinOp (PrePico n) (PrePico n)

LamF n n c

LamK n c

Tup (PrePico n) (PrePico n)

Pi1 (PrePico n)

Pi2 (PrePico n)

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 Atom = Stamped LocNum (PreAtom Name Call)

data PreCall n c

Constructors

Let n (Stamped LocNum (PreAtom 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 Call

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 = StampedFix LocNum (PreCall Name)

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, Stamped LocNum (PreAtom n c), c)

freeVarsLam :: Set Name -> [Name] -> Call -> Set Name

freeVarsPico :: Set Name -> Pico -> Set Name

freeVarsAtom :: Set Name -> Atom -> Set Name

freeVarsCall :: Set Name -> Call -> Set Name