Data.Codec.Argonaut.Record

class RowListCodec (rl :: RowList) (ri :: Row Type) (ro :: Row Type) | rl -> ri ro where

Members

• rowListCodec :: RLProxy rl -> Record ri -> JPropCodec (Record ro)

Instances

• RowListCodec Nil () ()
• (RowListCodec rs ri' ro', RowCons sym (JsonCodec a) ri' ri, RowCons sym a ro' ro, IsSymbol sym, TypeEquals co (JsonCodec a)) => RowListCodec (Cons sym co rs) ri ro

record :: forall rl ro ri. RowToList ri rl => RowListCodec rl ri ro => Record ri -> JPropCodec (Record ro)

Constructs a record codec from a record of codecs.