Waargonaut.Decode.Error

Types and typeclass for errors in Waargonaut decoding.

Documentation

data DecodeError

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

Defined in Waargonaut.Decode.Error

Methods

(==) :: DecodeError -> DecodeError -> Bool

(/=) :: DecodeError -> DecodeError -> Bool

Show DecodeError

Defined in Waargonaut.Decode.Error

Methods

showsPrec :: Int -> DecodeError -> ShowS

show :: DecodeError -> String

showList :: [DecodeError] -> ShowS

AsDecodeError DecodeError

Defined in Waargonaut.Decode.Error

Methods

_DecodeError :: Prism' DecodeError DecodeError

_ConversionFailure :: Prism' DecodeError Text

_TypeMismatch :: Prism' DecodeError JsonType

_KeyDecodeFailed :: Prism' DecodeError ()

_KeyNotFound :: Prism' DecodeError Text

_FailedToMove :: Prism' DecodeError ZipperMove

_NumberOutOfBounds :: Prism' DecodeError JNumber

_InputOutOfBounds :: Prism' DecodeError Word64

_ParseFailed :: Prism' DecodeError Text

Monad f => MonadReader ParseFn (DecodeResult f)

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)

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)

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)

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

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

Minimal complete definition

_DecodeError

Methods

_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

Instances

AsDecodeError DecodeError

Defined in Waargonaut.Decode.Error

Methods

_DecodeError :: Prism' DecodeError DecodeError

_ConversionFailure :: Prism' DecodeError Text

_TypeMismatch :: Prism' DecodeError JsonType

_KeyDecodeFailed :: Prism' DecodeError ()

_KeyNotFound :: Prism' DecodeError Text

_FailedToMove :: Prism' DecodeError ZipperMove

_NumberOutOfBounds :: Prism' DecodeError JNumber

_InputOutOfBounds :: Prism' DecodeError Word64

_ParseFailed :: Prism' DecodeError Text

data Err c e

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)

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)

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)

Defined in Waargonaut.Decode.Error

Methods

showsPrec :: Int -> Err c e -> ShowS

show :: Err c e -> String

showList :: [Err c e] -> ShowS