Data.Argonaut.Decode.Generic.Rep

class DecodeRep r  where

Members

• decodeRepWith :: Encoding -> Json -> Either JsonDecodeError r

Instances

• DecodeRep NoConstructors
• (DecodeRep a, DecodeRep b) => DecodeRep (Sum a b)
• (IsSymbol name) => DecodeRep (Constructor name NoArguments)
• (IsSymbol name, DecodeJson a) => DecodeRep (Constructor name (Argument a))
• (IsSymbol name, DecodeRepArgs a) => DecodeRep (Constructor name a)

class DecodeRepArgs r  where

Members

• decodeRepArgs :: Array Json -> Either JsonDecodeError { init :: r, rest :: Array Json }

Instances

• DecodeRepArgs NoArguments
• (DecodeRepArgs a, DecodeRepArgs b) => DecodeRepArgs (Product a b)
• (DecodeJson a) => DecodeRepArgs (Argument a)

class DecodeLiteral r  where

Members

• decodeLiteral :: (String -> String) -> Json -> Either JsonDecodeError r

Instances

• (DecodeLiteral a, DecodeLiteral b) => DecodeLiteral (Sum a b)
• (IsSymbol name) => DecodeLiteral (Constructor name NoArguments)

decodeRep :: forall r. DecodeRep r => Json -> Either JsonDecodeError r

genericDecodeJson :: forall r a. Generic a r => DecodeRep r => Json -> Either JsonDecodeError a

Decode Json representation of a value which has a Generic type.

genericDecodeJsonWith :: forall r a. Generic a r => DecodeRep r => Encoding -> Json -> Either JsonDecodeError a

Decode Json representation of a value which has a Generic type. Takes a record for encoding settings.

decodeLiteralSum :: forall r a. Generic a r => DecodeLiteral r => Json -> Either JsonDecodeError a

A function for decoding Generic sum types using string literal representations.

decodeLiteralSumWithTransform :: forall r a. Generic a r => DecodeLiteral r => (String -> String) -> Json -> Either JsonDecodeError a

A function for decoding Generic sum types using string literal representations. Takes a function for transforming the tag name in encoding.