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

Instances details

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

Instances details

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 #

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

Instances details

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 #