Safe Haskell	None
Language	Haskell2010

Waargonaut.Decode.Error

Description

Types and typeclass for errors in Waargonaut decoding.

Synopsis

data DecodeError
- = ConversionFailure Text
- | TypeMismatch JsonType
- | KeyDecodeFailed
- | KeyNotFound Text
- | FailedToMove ZipperMove
- | NumberOutOfBounds JNumber
- | InputOutOfBounds Word64
- | ParseFailed Text
class AsDecodeError r where
- _DecodeError :: Prism' r DecodeError
- _ConversionFailure :: Prism' r Text
- _TypeMismatch :: Prism' r JsonType
- _KeyDecodeFailed :: Prism' r ()
- _KeyNotFound :: Prism' r Text
- _FailedToMove :: Prism' r ZipperMove
- _NumberOutOfBounds :: Prism' r JNumber
- _InputOutOfBounds :: Prism' r Word64
- _ParseFailed :: Prism' r Text
data Err c e
- = Parse e
- | Decode (DecodeError, c)

Documentation

data DecodeError Source #

Set of errors that may occur during the decode phase.

Constructors

ConversionFailure Text
TypeMismatch JsonType
KeyDecodeFailed
KeyNotFound Text
FailedToMove ZipperMove
NumberOutOfBounds JNumber
InputOutOfBounds Word64
ParseFailed Text

Instances

Eq DecodeError Source #
Instance details Defined in Waargonaut.Decode.Error Methods (==) :: DecodeError -> DecodeError -> Bool # (/=) :: DecodeError -> DecodeError -> Bool #
Show DecodeError Source #
Instance details Defined in Waargonaut.Decode.Error Methods showsPrec :: Int -> DecodeError -> ShowS # show :: DecodeError -> String # showList :: [DecodeError] -> ShowS #
AsDecodeError DecodeError Source #
Instance details Defined in Waargonaut.Decode.Error Methods _DecodeError :: Prism' DecodeError DecodeError Source # _ConversionFailure :: Prism' DecodeError Text Source # _TypeMismatch :: Prism' DecodeError JsonType Source # _KeyDecodeFailed :: Prism' DecodeError () Source # _KeyNotFound :: Prism' DecodeError Text Source # _FailedToMove :: Prism' DecodeError ZipperMove Source # _NumberOutOfBounds :: Prism' DecodeError JNumber Source # _InputOutOfBounds :: Prism' DecodeError Word64 Source # _ParseFailed :: Prism' DecodeError Text Source #
Monad f => MonadReader ParseFn (DecodeResult f) Source #
Instance details Defined in Waargonaut.Decode.Types Methods ask :: DecodeResult f ParseFn # local :: (ParseFn -> ParseFn) -> DecodeResult f a -> DecodeResult f a # reader :: (ParseFn -> a) -> DecodeResult f a #
Monad f => MonadError DecodeError (DecodeResult f) Source #
Instance details Defined in Waargonaut.Decode.Types Methods throwError :: DecodeError -> DecodeResult f a # catchError :: DecodeResult f a -> (DecodeError -> DecodeResult f a) -> DecodeResult f a #
Monad f => MonadError DecodeError (Decoder f) Source #
Instance details Defined in Waargonaut.Decode.Types Methods throwError :: DecodeError -> Decoder f a # catchError :: Decoder f a -> (DecodeError -> Decoder f a) -> Decoder f a #
Monad f => MonadError DecodeError (DecodeResult f) Source #
Instance details Defined in Waargonaut.Decode.Traversal Methods throwError :: DecodeError -> DecodeResult f a # catchError :: DecodeResult f a -> (DecodeError -> DecodeResult f a) -> DecodeResult f a #

class AsDecodeError r where Source #

Describes the sorts of errors that may be treated as a DecodeError, for use with Prisms.

Minimal complete definition

_DecodeError

Methods

_DecodeError :: Prism' r DecodeError Source #

_ConversionFailure :: Prism' r Text Source #

_TypeMismatch :: Prism' r JsonType Source #

_KeyDecodeFailed :: Prism' r () Source #

_KeyNotFound :: Prism' r Text Source #

_FailedToMove :: Prism' r ZipperMove Source #

_NumberOutOfBounds :: Prism' r JNumber Source #

_InputOutOfBounds :: Prism' r Word64 Source #

_ParseFailed :: Prism' r Text Source #

Instances

AsDecodeError DecodeError Source #

Instance details

Defined in Waargonaut.Decode.Error

data Err c e Source #

Convenience Error structure for the separate parsing/decoding phases. For when things really aren't that complicated.

Constructors

Parse e
Decode (DecodeError, c)

Instances

Functor (Err c) Source #
Instance details Defined in Waargonaut.Decode.Error Methods fmap :: (a -> b) -> Err c a -> Err c b # (<$) :: a -> Err c b -> Err c a #
(Eq e, Eq c) => Eq (Err c e) Source #
Instance details Defined in Waargonaut.Decode.Error Methods (==) :: Err c e -> Err c e -> Bool # (/=) :: Err c e -> Err c e -> Bool #
(Show e, Show c) => Show (Err c e) Source #
Instance details Defined in Waargonaut.Decode.Error Methods showsPrec :: Int -> Err c e -> ShowS # show :: Err c e -> String # showList :: [Err c e] -> ShowS #