Agda-2.6.4: 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 #