Module
Data.Argonaut.Decode.Struct.Override.DecodeJsonPer
- Package
- purescript-tolerant-argonaut
- Repository
- matthew-hilty/purescript-tolerant-argonaut
#DecodeJsonPer Source
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 whereMembers
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
- Modules
- Data.
Argonaut. Decode. Struct - Data.
Argonaut. Decode. Struct. Cross - Data.
Argonaut. Decode. Struct. Cross. DecodeJsonWith - Data.
Argonaut. Decode. Struct. Cross. Utils - Data.
Argonaut. Decode. Struct. GDecodeJson - Data.
Argonaut. Decode. Struct. Override - Data.
Argonaut. Decode. Struct. Override. DecodeJsonPer - Data.
Argonaut. Decode. Struct. Override. Utils - Data.
Argonaut. Decode. Struct. Tolerant - Data.
Argonaut. Decode. Struct. Tolerant. Combinators - Data.
Argonaut. Decode. Struct. Tolerant. Cross. Utils - Data.
Argonaut. Decode. Struct. Tolerant. DecodeJson - Data.
Argonaut. Decode. Struct. Tolerant. GDecodeJson - Data.
Argonaut. Decode. Struct. Utils