HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util.EarlyExit

  • 1 type
  • 3 values
newtypenewtype WithEarlyExit (m :: Type -> Type) a
#
Instances45MonadTrans, Monad, Functor, Applicative, Alternative, MonadPlus, …
methodlift :: Monad m => m a -> t m a
#

Lift a computation from the argument monad to the constructed monad.