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.

  1. type ContainsReader = HListMContains 'GettableFlag

    multistate Control.Monad.Trans.MultiGST.Lazy

    No documentation available.

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

    multistate Control.Monad.Trans.MultiGST.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.

  3. withReader :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Gettable t ': tr) m a -> MultiGSTT tr m a

    multistate Control.Monad.Trans.MultiGST.Lazy

    No documentation available.

  4. withReader_ :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Gettable t ': tr) m a -> MultiGSTT tr m ()

    multistate Control.Monad.Trans.MultiGST.Lazy

    No documentation available.

  5. withReaders :: forall (m :: Type -> Type) (rs :: [Type]) (ts :: [CanReadWrite Type]) a . Monad m => HList rs -> MultiGSTT (AppendM (HListMReaders rs) ts) m a -> MultiGSTT ts m a

    multistate Control.Monad.Trans.MultiGST.Lazy

    No documentation available.

  6. data CanReadWrite a

    multistate Control.Monad.Trans.MultiGST.Strict

    No documentation available.

  7. type ContainsReader = HListMContains 'GettableFlag

    multistate Control.Monad.Trans.MultiGST.Strict

    No documentation available.

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

    multistate Control.Monad.Trans.MultiGST.Strict

    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.

  9. withReader :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Gettable t ': tr) m a -> MultiGSTT tr m a

    multistate Control.Monad.Trans.MultiGST.Strict

    No documentation available.

  10. withReader_ :: forall (m :: Type -> Type) t (tr :: [CanReadWrite Type]) a . Monad m => t -> MultiGSTT ('Gettable t ': tr) m a -> MultiGSTT tr m ()

    multistate Control.Monad.Trans.MultiGST.Strict

    No documentation available.

Page 714 of many | Previous | Next