Module

Polyform.Dual.Variant

Package
purescript-polyform
Repository
paluh/purescript-polyform

#on Source

on :: forall r' r p l i a. IsSymbol l => Cons l a r r' => Alt (p i) => (forall s a'. IsSymbol s => SProxy s -> Dual p i a' -> Dual p i a') -> SProxy l -> Dual p i a -> Dual p i (Variant r) -> Dual p i (Variant r')

prefix can be used to encode tagging of a given option. Please take a look at Polyform.Duals.Json.on example from polyform-validators.

#case_ Source

case_ :: forall p i. Applicative (p i) => Dual p i (Variant ())