maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
Lang.LamIf.CPS
data PrePico n Source
Constructors
Instances
type Pico = PrePico Name Source
data PreAtom n c Source
type Atom = Stamped LocNum (PreAtom Name Call) Source
data PreCall n c Source
type Call = StampedFix LocNum (PreCall Name) Source
haltL :: forall n c. Prism (PreCall n c) (PrePico n) Source
appKL :: forall n c. Prism (PreCall n c) (PrePico n, PrePico n) Source
appFL :: forall n c. Prism (PreCall n c) (PrePico n, PrePico n, PrePico n) Source
ifL :: forall n c. Prism (PreCall n c) (PrePico n, c, c) Source
letL :: forall n c. Prism (PreCall n c) (n, Stamped LocNum (PreAtom n c), c) Source
freeVarsLam :: Set Name -> [Name] -> Call -> Set Name Source
freeVarsPico :: Set Name -> Pico -> Set Name Source
freeVarsAtom :: Set Name -> Atom -> Set Name Source
freeVarsCall :: Set Name -> Call -> Set Name Source