Lang.LamIf.Syntax

Documentation

newtype RawName

Constructors

RawName

Fields

getRawName :: String

Instances

Eq RawName

Ord RawName

Pretty RawName

type SRawName = Stamped BdrNum RawName

data GenName

Constructors

GenName

Fields

genNameMark :: Maybe Int

genNameRawName :: RawName

Instances

Eq GenName

Ord GenName

Pretty GenName

Balloon CPSKon Call

newtype LocNum

Constructors

LocNum Int

Instances

Eq LocNum

Ord LocNum

PartialOrder LocNum

Peano LocNum

Pretty LocNum

Balloon CPSKon Call

newtype BdrNum

Constructors

BdrNum Int

Instances

Eq BdrNum

Ord BdrNum

PartialOrder BdrNum

Peano BdrNum

Pretty BdrNum

Balloon CPSKon Call

type Name = Stamped BdrNum GenName

srawNameToName :: SRawName -> Name

data Lit

Constructors

I Int

B Bool

Instances

Eq Lit

Ord Lit

PartialOrder Lit

Pretty Lit

bL :: Prism Lit Bool

iL :: Prism Lit Int

data BinOp

Constructors

Add

Sub

GTE

Instances

Eq BinOp

Ord BinOp

PartialOrder BinOp

Pretty BinOp

data LBinOp

Constructors

LBinOp

Fields

lbinOpOp :: BinOp

lbinOpLevel :: Int

Instances

Eq LBinOp

Ord LBinOp

data PreExp n e

Constructors

Lit Lit

Var n

Lam n e

Prim LBinOp e e

Let n e e

App e e

If e e e

Tup e e

Pi1 e

Pi2 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 RawExp = Fix (PreExp RawName)

type Exp = StampedFix LocNum (PreExp SRawName)