maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
Lang.LamIf.Syntax
newtype RawName Source
Constructors
Fields
Instances
type SRawName = Stamped BdrNum RawName Source
data GenName Source
newtype LocNum Source
newtype BdrNum Source
type Name = Stamped BdrNum GenName Source
srawNameToName :: SRawName -> Name Source
data Lit Source
bL :: Prism Lit Bool Source
iL :: Prism Lit Int Source
data BinOp Source
data LBinOp Source
data PreExp n e Source
type RawExp = Fix (PreExp RawName) Source
type Exp = StampedFix LocNum (PreExp SRawName) Source