Agda.Utils.Fail
Description
A pure MonadFail.
newtype Fail a Source #
Constructors
Fields
Defined in Agda.Utils.Fail
Methods
fail :: String -> Fail a #
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 #
fmap :: (a -> b) -> Fail a -> Fail b #
(<$) :: a -> Fail b -> Fail a #
(>>=) :: Fail a -> (a -> Fail b) -> Fail b #
(>>) :: Fail a -> Fail b -> Fail b #
return :: a -> Fail a #
runFail_ :: Fail a -> a Source #