Idris2Doc : Spidr.Control.Monad.Reader

Spidr.Control.Monad.Reader

Reexports
import public Control.Monad.Reader
Definitions
(>$<) : (env' -> env) -> ReaderT env m a -> ReaderT env' m a
  Apply a function to the environment of a reader.

  Totality: total
  Visibility: export
  Fixity Declaration: infixl operator, level 4