Agda.Utils.Fail
Description
A pure MonadFail.
newtype Fail a Source #
Constructors
Fields
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
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
fail :: String -> Fail a
runFail_ :: Fail a -> a Source #