Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

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

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  2. runMultiStateTSA :: forall m (s :: [Type]) a . Monad m => HList s -> MultiStateT s m a -> m (HList s, a)

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  3. runMultiStateT_ :: forall m (s :: [Type]) a . Functor m => HList s -> MultiStateT s m a -> m ()

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  4. withMultiState :: forall (m :: Type -> Type) s (ss :: [Type]) a . Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (a, s)

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  5. withMultiStateA :: forall (m :: Type -> Type) s (ss :: [Type]) a . Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m a

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  6. withMultiStateAS :: forall (m :: Type -> Type) s (ss :: [Type]) a . Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (a, s)

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  7. withMultiStateS :: forall (m :: Type -> Type) s (ss :: [Type]) a . Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m s

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  8. withMultiStateSA :: forall (m :: Type -> Type) s (ss :: [Type]) a . Monad m => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m (s, a)

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  9. withMultiState_ :: forall (m :: Type -> Type) s (ss :: [Type]) a . (Functor m, Monad m) => s -> MultiStateT (s ': ss) m a -> MultiStateT ss m ()

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

  10. withMultiStates :: forall (m :: Type -> Type) (s1 :: [Type]) (s2 :: [Type]) a . Monad m => HList s1 -> MultiStateT (Append s1 s2) m a -> MultiStateT s2 m (a, HList s1)

    multistate Control.Monad.Trans.MultiState.Strict

    No documentation available.

Page 34 of many | Previous | Next