AesonDecode

Decoder

newtype Decoder a

Constructors

Decoder

Fields

• decodeMaybe :: Value -> Maybe a

Instances

Monad Decoder

Methods

(>>=) :: Decoder a -> (a -> Decoder b) -> Decoder b

(>>) :: Decoder a -> Decoder b -> Decoder b

return :: a -> Decoder a

fail :: String -> Decoder a

Functor Decoder

Methods

fmap :: (a -> b) -> Decoder a -> Decoder b

(<$) :: a -> Decoder b -> Decoder a

Applicative Decoder

Methods

pure :: a -> Decoder a

(<*>) :: Decoder (a -> b) -> Decoder a -> Decoder b

liftA2 :: (a -> b -> c) -> Decoder a -> Decoder b -> Decoder c

(*>) :: Decoder a -> Decoder b -> Decoder b

(<*) :: Decoder a -> Decoder b -> Decoder a

Alternative Decoder

Methods

empty :: Decoder a

(<|>) :: Decoder a -> Decoder a -> Decoder a

some :: Decoder a -> Decoder [a]

many :: Decoder a -> Decoder [a]

FromJSON a => Default (Decoder a)

Methods

def :: Decoder a

defaultDecoder :: FromJSON a => Decoder a

is :: (Eq a, FromJSON a) => a -> Decoder ()

is x produces Just () if the JSON value decodes to x, or Nothing otherwise.

Path

newtype Path

Constructors

Path

Fields

• getAt :: Value -> Maybe Value

Instances

IsString Path

Methods

fromString :: String -> Path

Semigroup Path

Methods

(<>) :: Path -> Path -> Path

sconcat :: NonEmpty Path -> Path

stimes :: Integral b => b -> Path -> Path

Monoid Path

Methods

mempty :: Path

mappend :: Path -> Path -> Path

mconcat :: [Path] -> Path

here :: Path

The empty path.

at :: Path -> Decoder a -> Decoder a

only :: Path

Selects the only element from an array of length 1.

Text

text :: Decoder Text

Decodes a JSON string as Text.

textIs :: Text -> Decoder ()

is x produces Just () if the JSON value is the string x, or Nothing otherwise.

Integer

integer :: Decoder Integer

Decodes a JSON number as an Integer.

integerIs :: Integer -> Decoder ()

is x produces Just () if the JSON value is the integer x, or Nothing otherwise.

Boolean

bool :: Decoder Bool

Decodes a JSON boolean as a Bool.

boolIs :: Bool -> Decoder ()

is x produces Just () if the JSON value is the boolean x, or Nothing otherwise.

true :: Decoder ()

is x produces Just () if the JSON value is the value true, or Nothing otherwise.

false :: Decoder ()

is x produces Just () if the JSON value is the value false, or Nothing otherwise.

List

listOf :: Decoder a -> Decoder [a]

Vector

vectorOf :: Decoder a -> Decoder (Vector a)

Ord map

ordMapOf :: Decoder a -> Decoder (Map Text a)

Hash map

hashMapOf :: Decoder a -> Decoder (HashMap Text a)

Null

null :: Decoder ()

is x produces Just () if the JSON value is the value null, or Nothing otherwise.