Data.Codec.Argonaut.Variant

variant :: JsonCodec (Variant ())

variantCase :: forall r' r a l. IsSymbol l => RowCons l a r r' => SProxy l -> Either a (JsonCodec a) -> JsonCodec (Variant r) -> JsonCodec (Variant r')

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

Members

• variantCodec :: RLProxy rl -> Record ri -> JsonCodec (Variant ro)

Instances

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

variantMatch :: forall ro ri rl. RowToList ri rl => VariantCodec rl ri ro => Record ri -> JsonCodec (Variant ro)