Module

Prospero.VariantHelper

Package
purescript-prospero
Repository
rowtype-yoga/purescript-prospero

#match Source

match :: forall f rl r r1 r2 b. Newtype f (Variant r2) => RowToList r rl => VariantMatchCases rl r1 b => Union r1 () r2 => Record r -> f -> b

#on Source

on :: forall @sym f1 f2 a b r1 r2. Newtype f2 (Variant r2) => Newtype f1 (Variant r1) => Cons sym a r1 r2 => IsSymbol sym => (a -> b) -> (f1 -> b) -> f2 -> b

#case_ Source

case_ :: forall f a. Newtype f (Variant ()) => f -> a

#tag Source

tag :: forall @sym f a r1 r2. Newtype f (Variant r2) => Cons sym a r1 r2 => IsSymbol sym => a -> f