Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. withoutMultiReader :: forall (m :: Type -> Type) (rs :: [Type]) a r . Monad m => MultiReaderT rs m a -> MultiReaderT (r ': rs) m a

   multistate	Control.Monad.Trans.MultiReader

   No documentation available.

2. class Monad m => MonadMultiReader a (m :: Type -> Type)

   multistate	Control.Monad.Trans.MultiReader.Class

   All methods must be defined. The idea is: Any monad stack is instance of MonadMultiReader a, iff the stack contains a MultiReaderT x with a element of x.

3. class Monad m => MonadMultiReader a (m :: Type -> Type)

   multistate	Control.Monad.Trans.MultiReader.Lazy

   All methods must be defined. The idea is: Any monad stack is instance of MonadMultiReader a, iff the stack contains a MultiReaderT x with a element of x.

4. type MultiReader (x :: [Type]) = MultiReaderT x Identity

   multistate	Control.Monad.Trans.MultiReader.Lazy

   A reader monad parameterized by the list of types x of the environment / input to carry. Similar to Reader r = ReaderT r Identity

5. newtype MultiReaderT (x :: [Type]) (m :: Type -> Type) a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   A Reader transformer monad patameterized by:

   • x - The list of types constituting the environment / input (to be read),
   • m - The inner monad.
   MultiReaderT corresponds to mtl's ReaderT, but can contain a heterogenous list of types. This heterogenous list is represented using Types.Data.List, i.e:
   • '[] - The empty list,
   • a ': b - A list where a is an arbitrary type and b is the rest list.
   For example,

   MultiReaderT '[Int, Bool] :: (* -> *) -> (* -> *)
   

   is a Reader transformer containing the types [Int, Bool].

6. MultiReaderT :: StateT (HList x) m a -> MultiReaderT (x :: [Type]) (m :: Type -> Type) a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

7. inflateReader :: forall (m :: Type -> Type) r (rs :: [Type]) a . (Monad m, ContainsType r rs) => ReaderT r m a -> MultiReaderT rs m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

8. mapMultiReaderT :: forall m a (w :: [Type]) m' a' . (m (a, HList w) -> m' (a', HList w)) -> MultiReaderT w m a -> MultiReaderT w m' a'

   multistate	Control.Monad.Trans.MultiReader.Lazy

   Map both the return value and the environment of a computation using the given function. Note that there is a difference to mtl's ReaderT, where it is not possible to modify the environment.

9. runMultiReaderT :: forall m (r :: [Type]) a . Monad m => HList r -> MultiReaderT r m a -> m a

   multistate	Control.Monad.Trans.MultiReader.Lazy

   No documentation available.

10. runMultiReaderTNil :: Monad m => MultiReaderT ('[] :: [Type]) m a -> m a

    multistate	Control.Monad.Trans.MultiReader.Lazy

    No documentation available.

Page 719 of many | Previous | Next