Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.Fail

A pure MonadFail.

1 type
1 value

PackageAgda-2.8.0.2
Exports2
LanguageHaskell2010
LicenceMIT
SourceFail.hs

newtypenewtype Fail a

Constructors

Fail
- runFail :: Either String a

Instances4Monad, Functor, MonadFail, Applicative

Monad FailDefined in Agda-2.8.0.2 · Agda.Utils.Fail
Functor FailDefined in Agda-2.8.0.2 · Agda.Utils.Fail
MonadFail FailDefined in Agda-2.8.0.2 · Agda.Utils.Fail
Applicative FailDefined in Agda-2.8.0.2 · Agda.Utils.Fail

valuerunFail_ :: Fail a -> a