R

Documentation

data Rs

Constructors

Rs

Fields

• max_ :: Int
• bound :: IntMap Int

Instances

HasRs Rs

Defined in R

Methods

rename :: Lens' Rs Rs

class HasRs a where

Methods

rename :: Lens' a Rs

Instances

HasRs Rs

Defined in R

Methods

rename :: Lens' Rs Rs

maxLens :: Lens' Rs Int

rG :: Int -> E a -> (E a, Int)

rE :: forall s (m :: Type -> Type) a. (HasRs s, Monad m) => E a -> StateT s m (E a)