Module

Data.Argonaut.Decode.Struct.Cross

Package
purescript-tolerant-argonaut
Repository
matthew-hilty/purescript-tolerant-argonaut

Re-exports from Data.Argonaut.Decode.Struct.Cross.DecodeJsonWith

#DecodeJsonWith Source

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

Instances

Re-exports from Data.Argonaut.Decode.Struct.Cross.Utils

#decodeJsonWith Source

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)