Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Utils.Fail

Description

A pure MonadFail.

Documentation

newtype Fail a Source #

Constructors

Fail
Fields runFail :: Either String a

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 #