Module

Polyform.Dual.Variant

Package: purescript-polyform
Repository: purescript-polyform/polyform

#on Source

on :: forall a i l p r r' s. Cons l a r r' => IsSymbol l => Alt (p i) => (forall a' k. IsSymbol k => Proxy k -> Dual p s i a' -> Dual p s i a') -> Proxy l -> Dual p s i a -> Dual p s i (Variant r) -> Dual p s 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 i p s. Applicative (p i) => Dual p s i (Variant ())