Data.Argonaut.Decode.Struct.Tolerant.GDecodeJson

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

Members

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

Instances

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