A.I

Documentation

type RM a = State (ISt a)

type UM = State Int

data ISt a

Constructors

ISt

Fields

• renames :: !Renames
• binds :: IntMap (E a)

Instances

HasRenames (ISt a)

Defined in A.I

Methods

rename :: Lens' (ISt a) Renames

ib :: Int -> Program T -> (E T, Int)

lβ :: E a -> UM (E a)