R

Documentation

rE :: (HasRenames s, MonadState s m) => E a -> m (E a)

rP :: Int -> Program a -> (Program a, Int)

data Renames

Constructors

Rs

Fields

• max_ :: Int
• bound :: IntMap Int

Instances

HasRenames Renames

Defined in R

Methods

rename :: Lens' Renames Renames

class HasRenames a where

Methods

rename :: Lens' a Renames

Instances

HasRenames Renames

Defined in R

Methods

rename :: Lens' Renames Renames

HasRenames (ISt a)

Defined in A.I

Methods

rename :: Lens' (ISt a) Renames