Codec.Json.Unidirectional.Encode.Class

class EncodeJson extra a  where

Members

• encodeJsonFn :: Fn2 extra a Json

Instances

• EncodeJson extra Json
• EncodeJson extra Void
• EncodeJson extra Unit
• EncodeJson extra Boolean
• EncodeJson extra Int
• EncodeJson extra Char
• EncodeJson extra Number
• EncodeJson extra String
• EncodeJson extra NonEmptyString
• (EncodeJson extra a) => EncodeJson extra (Array a)
• (EncodeJson extra a) => EncodeJson extra (NonEmptyArray a)
• (EncodeJson extra a) => EncodeJson extra (Object a)
• (EncodeJson extra a) => EncodeJson extra (Nullable a)
• (Coercible a (Identity a), EncodeJson extra a) => EncodeJson extra (Identity a)
• (EncodeJson extra a) => EncodeJson extra (Maybe a)
• (EncodeJson extra l, EncodeJson extra r) => EncodeJson extra (Either l r)
• (EncodeJson extra l, EncodeJson extra r) => EncodeJson extra (Tuple l r)
• (EncodeJson extra l, EncodeJson extra r) => EncodeJson extra (These l r)
• (EncodeJson extra a, EncodeJson extra (f a)) => EncodeJson extra (NonEmpty f a)
• (EncodeJson extra a) => EncodeJson extra (List a)
• (EncodeJson extra a) => EncodeJson extra (NonEmptyList a)
• (Ord k, EncodeJson extra k, EncodeJson extra v) => EncodeJson extra (Map k v)
• (Ord a, EncodeJson extra a) => EncodeJson extra (Set a)
• (Ord a, EncodeJson extra a) => EncodeJson extra (NonEmptySet a)
• EncodeJson extra CodePoint
• (Newtype extra (Record rows), Cons sym (ExistentialEncoder0 a) tail rows, IsSymbol sym) => EncodeJson extra (K0 sym a)
• (Newtype extra (Record rows), Cons sym (ExistentialEncoder1 f) tail rows, EncodeJson extra a, IsSymbol sym) => EncodeJson extra (K1 sym (f a))
• (Newtype extra (Record rows), Cons sym (ExistentialEncoder2 f) tail rows, EncodeJson extra a, EncodeJson extra b, IsSymbol sym) => EncodeJson extra (K2 sym (f a b))
• (Newtype extra (Record rows), Cons sym (ExistentialEncoder3 f) tail rows, EncodeJson extra a, EncodeJson extra b, EncodeJson extra c, IsSymbol sym) => EncodeJson 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, EncodeJsonInput extra a -> EncodeJsonInput extra b -> EncodeJsonInput extra c -> EncodeJsonInput 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, EncodeRecordInput rl extra (Record rows)) => EncodeJson extra (Record rows)
• EncodeJson extra NoArguments
• (EncodeJson extra a, EncodeJson extra b) => EncodeJson extra (Sum a b)
• (EncodeJson extra a, EncodeJson extra b) => EncodeJson extra (Product a b)
• (EncodeJson extra a) => EncodeJson extra (Constructor sym a)
• (EncodeJson extra a) => EncodeJson extra (Argument a)

encodeJson :: forall a. EncodeJson Unit a => a -> Json

encodeJson' :: forall extra a. EncodeJson extra a => extra -> a -> Json

data ExistentialEncoder0 t0

Build a value via mkExistentialEncoder0.

mkExistentialEncoder0 :: forall extra a. (Fn2 extra a Json) -> ExistentialEncoder0 a

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

Build a value via mkExistentialEncoder1.

mkExistentialEncoder1 :: forall extra f a. (Fn2 extra a Json) -> (Fn2 extra (f a) Json) -> ExistentialEncoder1 f

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

Build a value via mkExistentialEncoder2.

mkExistentialEncoder2 :: forall extra f a b. ((Fn2 extra a Json) -> (Fn2 extra b Json) -> (Fn2 extra (f a b) Json)) -> ExistentialEncoder2 f

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

Build a value via mkExistentialEncoder3.

mkExistentialEncoder3 :: forall extra f a b c. ((Fn2 extra a Json) -> (Fn2 extra b Json) -> (Fn2 extra c Json) -> (Fn2 extra (f a b c) Json)) -> ExistentialEncoder3 f

newtype RowListRecord :: RowList Type -> Type -> Typenewtype RowListRecord rl rec

class EncodeRecordInput :: RowList Type -> Type -> Type -> Constraintclass EncodeRecordInput rl extra rec | rl -> extra rec where

Members

• encodeRecordInput :: Fn2 (RowListRecord rl rec) extra (Object Json)

Instances

• EncodeRecordInput Nil extra (Record ())
• (EncodeJson extra a, EncodeRecordInput tailList extra (Record tailRows), Cons sym (Optional (Maybe a)) tailRows outRows, IsSymbol sym) => EncodeRecordInput (Cons sym (Optional (Maybe a)) tailList) extra (Record outRows)
• (EncodeJson extra a, EncodeRecordInput tailList extra (Record tailRows), Cons sym a tailRows outRows, IsSymbol sym) => EncodeRecordInput (Cons sym a tailList) extra (Record outRows)