polysemy-1.9.0.0: Higher-order, low-boilerplate free monads.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Fail.Type

Description

 
Synopsis

Documentation

newtype Fail m a Source #

This effect abstracts the concept of MonadFail, which is a built-in mechanism that converts pattern matching errors to calls to the current monad's instance of that class.

The instance defined in Polysemy.Internal uses this effect to catch those errors.

Constructors

Fail String