Safe Haskell	Safe-Inferred
Language	GHC2021

Data.ZAuth.Validation

Documentation

Instances details

MonadIO Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods liftIO :: IO a -> Validate a #
Applicative Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods pure :: a -> Validate a # (<>) :: Validate (a -> b) -> Validate a -> Validate b # liftA2 :: (a -> b -> c) -> Validate a -> Validate b -> Validate c # (>) :: Validate a -> Validate b -> Validate b # (<*) :: Validate a -> Validate b -> Validate a #
Functor Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods fmap :: (a -> b) -> Validate a -> Validate b # (<$) :: a -> Validate b -> Validate a #
Monad Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods (>>=) :: Validate a -> (a -> Validate b) -> Validate b # (>>) :: Validate a -> Validate b -> Validate b # return :: a -> Validate a #
MonadError Failure Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods throwError :: Failure -> Validate a # catchError :: Validate a -> (Failure -> Validate a) -> Validate a #

Constructors

Falsified	The token signature is incorrect.
Expired	The token is expired.
Invalid	Invalid token.
Unsupported	This operation is unsupported on this token type

Instances details

Exception Failure Source #
Instance details Defined in Data.ZAuth.Validation Methods toException :: Failure -> SomeException # fromException :: SomeException -> Maybe Failure # displayException :: Failure -> String #
Show Failure Source #
Instance details Defined in Data.ZAuth.Validation Methods showsPrec :: Int -> Failure -> ShowS # show :: Failure -> String # showList :: [Failure] -> ShowS #
Eq Failure Source #
Instance details Defined in Data.ZAuth.Validation Methods (==) :: Failure -> Failure -> Bool # (/=) :: Failure -> Failure -> Bool #
MonadError Failure Validate Source #
Instance details Defined in Data.ZAuth.Validation Methods throwError :: Failure -> Validate a # catchError :: Validate a -> (Failure -> Validate a) -> Validate a #

Arguments