Data.Argonaut.Decode.Struct.GDecodeJson

class GDecodeJson (p :: Type -> Type -> Type) (f :: Type -> Type) (g :: Row Type -> Type) (l0 :: RowList) (l1 :: RowList) (r1 :: Row Type) (l2 :: RowList) (r2 :: Row Type) | l1 -> r1, l2 -> r2, l1 l2 -> l0 where

Members

• gDecodeJson :: forall h. RLProxying h l1 => RLProxying h l2 => h l1 -> h l2 -> Object Json -> f (p (g r1) (g r2))

Instances

• (Category p, Top1_ f) => GDecodeJson p f g Nil Nil () Nil ()
• (Cons s v r' r, DecodeJson v, GDecodeJson p (Either String) g l' Nil () l' r', IsSymbol s, Lacks s r', RInsert p g SProxy s l' r' l r, Semigroupoid p) => GDecodeJson p (Either String) g (Cons s v l') Nil () (Cons s v l') r
• (Category p, Top1_ f) => GDecodeJson p f g Nil (Cons s v l') r (Cons s v l') r
• (Cons s v r2' r2, DecodeJson v, GDecodeJson p (Either String) g l0' (Cons s1 v1 l1') r1 l2' r2', IsSymbol s, Lacks s r1, Lacks s r2', RInsert p g SProxy s l2' r2' l2 r2, Semigroupoid p) => GDecodeJson p (Either String) g (Cons s v l0') (Cons s1 v1 l1') r1 (Cons s v l2') r2

decodeJson :: forall r l f. Bottom2 f String => GDecodeJson Builder f Record l Nil () l r => Functor f => RowToList r l => RowToList r l => Json -> f (Record r)

decodeJson' :: forall r2 r1 p l2 l1 l0 g f. Bottom2 f String => GDecodeJson p f g l0 l1 r1 l2 r2 => RowToList r1 l1 => RowToList r2 l2 => Json -> f (p (g r1) (g r2))