Agda.Utils.Fail

A pure MonadFail.

Documentation

newtype Fail a

Constructors

Fail

Fields

• runFail :: Either String a

Instances

MonadFail Fail

Defined in Agda.Utils.Fail

Methods

fail :: String -> Fail a

Applicative Fail

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

Defined in Agda.Utils.Fail

Methods

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

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

Monad Fail

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