Agda.Utils.Fail
Description
A pure MonadFail.
newtype Fail a Source #
Constructors
Fields
Defined in Agda.Utils.Fail
Methods
fail :: String -> Fail a Source #
pure :: a -> Fail a Source #
(<*>) :: Fail (a -> b) -> Fail a -> Fail b Source #
liftA2 :: (a -> b -> c) -> Fail a -> Fail b -> Fail c Source #
(*>) :: Fail a -> Fail b -> Fail b Source #
(<*) :: Fail a -> Fail b -> Fail a Source #
fmap :: (a -> b) -> Fail a -> Fail b Source #
(<$) :: a -> Fail b -> Fail a Source #
(>>=) :: Fail a -> (a -> Fail b) -> Fail b Source #
(>>) :: Fail a -> Fail b -> Fail b Source #
return :: a -> Fail a Source #
runFail_ :: Fail a -> a Source #