Codec.Json.Unidirectional.Decode.Class

class DecodeJson err extra a  where

Members

• decodeJson :: JsonDecoder err extra a

Instances

• DecodeJson err extra Json
• DecodeJson err extra Void
• DecodeJson err extra Unit
• DecodeJson err extra Boolean
• DecodeJson err extra Int
• DecodeJson err extra Char
• DecodeJson err extra Number
• DecodeJson err extra String
• DecodeJson err extra NonEmptyString
• (DecodeJson err extra a) => DecodeJson err extra (Array a)
• (DecodeJson err extra a) => DecodeJson err extra (NonEmptyArray a)
• (DecodeJson err extra a) => DecodeJson err extra (Object a)
• (DecodeJson err extra a) => DecodeJson err extra (Nullable a)
• (DecodeJson err extra a) => DecodeJson err extra (Identity a)
• (DecodeJson err extra a) => DecodeJson err extra (Maybe a)
• (DecodeJson err extra l, DecodeJson err extra r) => DecodeJson err extra (Either l r)
• (DecodeJson err extra l, DecodeJson err extra r) => DecodeJson err extra (Tuple l r)
• (DecodeJson err extra l, DecodeJson err extra r) => DecodeJson err extra (These l r)
• (DecodeJson err extra a, DecodeJson err extra (f a)) => DecodeJson err extra (NonEmpty f a)
• (DecodeJson err extra a) => DecodeJson err extra (List a)
• (DecodeJson err extra a) => DecodeJson err extra (NonEmptyList a)
• (Ord k, DecodeJson err extra k, DecodeJson err extra v) => DecodeJson err extra (Map k v)
• (Ord a, DecodeJson err extra a) => DecodeJson err extra (Set a)
• (Ord a, DecodeJson err extra a) => DecodeJson err extra (NonEmptySet a)
• DecodeJson err extra CodePoint
• (Newtype extra (Record rows), Cons sym (ExistentialDecoder0 a) tail rows, IsSymbol sym) => DecodeJson err extra (K0 sym a)

  Local overrides for types with kind Type. Implementation for types annotated with the K0 type are provided via the extra label in JsonDecoderInput. Value for extra must be a newtyped record. The sym in K0 sym a must be the label name witin that newtyped record that contains the local override (i.e. JsonDecoder err extra a).

• (Newtype extra (Record rows), Cons sym (ExistentialDecoder1 f) tail rows, DecodeJson err extra a, IsSymbol sym) => DecodeJson err extra (K1 sym (f a))

  Local overrides for types with kind Type. Implementation for types annotated with the K1 type are provided via the extra label in JsonDecoderInput. Value for extra must be a newtyped record. The sym in K1 sym a must be the label name witin that newtyped record that contains the function, JsonDecoder err extra a -> JsonDecoder err extra (f a). The input argument is the corresponding DecodeJson implementation for a. Thus, one is only overriding the implementation for f, not a as well.

• (Newtype extra (Record rows), Cons sym (ExistentialDecoder2 f) tail rows, DecodeJson err extra a, DecodeJson err extra b, IsSymbol sym) => DecodeJson err extra (K2 sym (f a b))

  Local overrides for types with kind Type. Implementation for types annotated with the K2 type are provided via the extra label in JsonDecoderInput. Value for extra must be a newtyped record. The sym in K2 sym a must be the label name witin that newtyped record that contains the function, JsonDecoder err extra a -> JsonDecoder err extra b -> JsonDecoder err extra (f a b). The input arguments are the corresponding DecodeJson implementations for a and b. Thus, one is only overriding the implementation for f, not a and b as well.

• (Newtype extra (Record rows), Cons sym (ExistentialDecoder3 f) tail rows, DecodeJson err extra a, DecodeJson err extra b, DecodeJson err extra c, IsSymbol sym) => DecodeJson err extra (K3 sym (f a b c))

  Local overrides for types with kind Type. Implementation for types annotated with the K3 type are provided via the extra label in JsonDecoderInput. Value for extra must be a newtyped record. The sym in K3 sym a must be the label name witin that newtyped record that contains the function, JsonDecoder err extra a -> JsonDecoder err extra b -> JsonDecoder err extra c -> JsonDecoder err extra (f a b c). The input arguments are the corresponding DecodeJson implementations for a, b, and c. Thus, one is only overriding the implementation for f, not a, b, and c as well.

• (RowToList rows rl, BuildPropDecoders err extra rl rows) => DecodeJson err extra (Record rows)
• DecodeJson e extra NoArguments
• (DecodeJson e extra a, DecodeJson e extra b) => DecodeJson e extra (Sum a b)
• (DecodeJson e extra a, DecodeJson e extra b) => DecodeJson e extra (Product a b)
• (DecodeJson e extra a, IsSymbol sym) => DecodeJson e extra (Constructor sym a)
• (DecodeJson e extra a, IsSymbol sym) => DecodeJson e extra (Argument a)

data ExistentialDecoder0 t0

Build a value via mkExistentialDecoder0.

mkExistentialDecoder0 :: forall err extra a. JsonDecoder err extra a -> ExistentialDecoder0 a

data ExistentialDecoder1 :: (Type -> Type) -> Typedata ExistentialDecoder1 t0

Build a value via mkExistentialDecoder1.

mkExistentialDecoder1 :: forall err extra f a. (JsonDecoder err extra a -> JsonDecoder err extra (f a)) -> ExistentialDecoder1 f

data ExistentialDecoder2 :: (Type -> Type -> Type) -> Typedata ExistentialDecoder2 t0

Build a value via mkExistentialDecoder2.

mkExistentialDecoder2 :: forall err extra f a b. (JsonDecoder err extra a -> JsonDecoder err extra b -> JsonDecoder err extra (f a b)) -> ExistentialDecoder2 f

data ExistentialDecoder3 :: (Type -> Type -> Type -> Type) -> Typedata ExistentialDecoder3 t0

Build a value via mkExistentialDecoder3.

mkExistentialDecoder3 :: forall err extra f a b c. (JsonDecoder err extra a -> JsonDecoder err extra b -> JsonDecoder err extra c -> JsonDecoder err extra (f a b c)) -> ExistentialDecoder3 f

newtype RowListJsonObjDecoder :: Type -> Type -> RowList Type -> Row Type -> Typenewtype RowListJsonObjDecoder err extra rl rows

class BuildPropDecoders :: Type -> Type -> RowList Type -> Row Type -> Constraintclass BuildPropDecoders err extra rl out | err extra rl -> out where

Members

• buildPropDecoders :: RowListJsonObjDecoder err extra rl out

Instances

• BuildPropDecoders err extra Nil ()
• (DecodeJson err extra a, BuildPropDecoders err extra tailList intermediate, Lacks sym intermediate, Cons sym (Optional (Maybe a)) intermediate out, IsSymbol sym) => BuildPropDecoders err extra (Cons sym (Optional (Maybe a)) tailList) out
• (DecodeJson err extra a, BuildPropDecoders err extra tailList intermediate, Lacks sym intermediate, Cons sym a intermediate out, IsSymbol sym) => BuildPropDecoders err extra (Cons sym a tailList) out

class VCTypeHint :: Type -> Type -> RowList Type -> Row Type -> Type -> Constraintclass VCTypeHint e extra rl row a | e extra rl a -> row where

Members

• vcTypeHint :: VCHint e extra rl row a -> (JsonDecoder' e extra (Object Json) (Variant row) -> JsonDecoder' e extra (Object Json) (Variant row))

Instances

• (IsSymbol sym) => VCTypeHint e extra rl row (WithType sym a)
• (IsSymbol sym) => VCTypeHint e extra rl row (WithCtor sym a)
• (Reflectable int Int) => VCTypeHint e extra rl row (WithSubterm int a)
• (IsSymbol sym) => VCTypeHint e extra rl row (WithField sym a)
• (IsSymbol sym) => VCTypeHint e extra rl row a

data VCHint :: Type -> Type -> RowList Type -> Row Type -> Type -> Typedata VCHint e extra rl row a

Constructors

• VCHint