Data.Argonaut.Decode.Struct.Cross.DecodeJsonWith

class DecodeJsonWith (p :: Type -> Type -> Type) (f :: Type -> Type) (g :: Row Type -> Type) (l0 :: RowList) (r0 :: Row Type) (l2 :: RowList) (r2 :: Row Type) (r3 :: Row Type) a | l0 -> r0 a, l2 -> r2, l0 l2 -> r3 where

Members

• decodeJsonWith :: forall h. RLProxying h l0 => RLProxying h l2 => h l0 -> h l2 -> g r0 -> Object Json -> a -> f (p (g r2) (g r3))

Instances

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