Data.Argonaut.Decode.Struct.Override

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

Members

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

Instances

• (Category p, Top1_ f) => DecodeJsonPer p f g Nil () l r r
• (Bind f, Bottom2 f String, Cons s fn r0' r0, Cons s v r2' r2, DecodeJsonPer p f g l0' r0' l1 r1 r2', IsSymbol s, Lacks s r2', RGet g SProxy s l0 r0, RInsert p g SProxy s l2' r2' l2 r2, Semigroupoid p, Top1_ f, TypeEquals fn (Json -> f v)) => DecodeJsonPer p f g (Cons s fn l0') r0 l1 r1 r2

decodeJsonPer :: forall r2 r1 r0 l1 l0 f. Bind f => Bottom2 f String => DecodeJsonPer Builder f Record l0 r0 l1 r1 r2 => GDecodeJson r1 l1 => RowToList r0 l0 => RowToList r1 l1 => Top1_ f => Record r0 -> Json -> f (Record r2)