Data.Argonaut.Decode.Struct

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

decodeJsonWith :: forall r3 r2 r0 l2 l0 f. Bind f => Bottom2 f String => DecodeJsonWith Builder f Record l0 r0 l2 r2 r3 (Record r2) => GDecodeJson r2 l2 => RowToList r0 l0 => RowToList r2 l2 => Top1_ f => Record r0 -> Json -> f (Record r3)

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 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))

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)

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)