Agda-2.7.0: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Utils.Fail

Description

A pure MonadFail.

Documentation

newtype Fail a Source #

Constructors

Fail 

Fields

Instances

Instances details
MonadFail Fail Source # 
Instance details

Defined in Agda.Utils.Fail

Methods

fail :: String -> Fail a #

Applicative Fail Source # 
Instance details

Defined in Agda.Utils.Fail

Methods

pure :: a -> Fail a #

(<*>) :: Fail (a -> b) -> Fail a -> Fail b #

liftA2 :: (a -> b -> c) -> Fail a -> Fail b -> Fail c #

(*>) :: Fail a -> Fail b -> Fail b #

(<*) :: Fail a -> Fail b -> Fail a #

Functor Fail Source # 
Instance details

Defined in Agda.Utils.Fail

Methods

fmap :: (a -> b) -> Fail a -> Fail b #

(<$) :: a -> Fail b -> Fail a #

Monad Fail Source # 
Instance details

Defined in Agda.Utils.Fail

Methods

(>>=) :: Fail a -> (a -> Fail b) -> Fail b #

(>>) :: Fail a -> Fail b -> Fail b #

return :: a -> Fail a #

runFail_ :: Fail a -> a Source #