Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. newtype MultiStateT (x :: [Type]) (m :: Type -> Type) a

   multistate	Control.Monad.Trans.MultiState.Strict

   A State transformer monad patameterized by:

   • x - The list of types constituting the state,
   • m - The inner monad.
   MultiStateT corresponds to mtl's StateT, 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,

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

   is a State wrapper containing the types [Int, Bool].

2. MultiStateT :: StateT (HList x) m a -> MultiStateT (x :: [Type]) (m :: Type -> Type) a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

3. inflateState :: forall (m :: Type -> Type) s (ss :: [Type]) a . (Monad m, ContainsType s ss) => StateT s m a -> MultiStateT ss m a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

4. mapMultiStateT :: forall m a (w :: [Type]) m' a' . (m (a, HList w) -> m' (a', HList w)) -> MultiStateT w m a -> MultiStateT w m' a'

   multistate	Control.Monad.Trans.MultiState.Strict

   Map both the return value and the state of a computation using the given function.

5. runMultiStateT :: forall m (s :: [Type]) a . Functor m => HList s -> MultiStateT s m a -> m (a, HList s)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

6. runMultiStateTA :: forall m (s :: [Type]) a . Monad m => HList s -> MultiStateT s m a -> m a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

7. runMultiStateTAS :: forall m (s :: [Type]) a . Functor m => HList s -> MultiStateT s m a -> m (a, HList s)

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

8. runMultiStateTNil :: Monad m => MultiStateT ('[] :: [Type]) m a -> m a

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

9. runMultiStateTNil_ :: Functor m => MultiStateT ('[] :: [Type]) m a -> m ()

   multistate	Control.Monad.Trans.MultiState.Strict

   No documentation available.

10. runMultiStateTRaw :: MultiStateT (x :: [Type]) (m :: Type -> Type) a -> StateT (HList x) m a

    multistate	Control.Monad.Trans.MultiState.Strict

    No documentation available.

Page 33 of many | Previous | Next