Grisette.Internal.Core.TH.MergeConstructor

Documentation

mkMergeConstructor

Arguments

:: String

Prefix for generated wrappers

-> Name

The type to generate the wrappers for

-> Q [Dec]

Generate constructor wrappers that wraps the result in a container with TryMerge.

mkMergeConstructor "mrg" ''Maybe

generates

mrgJust :: (Mergeable (Maybe a), Applicative m, TryMerge m) => m (Maybe a)
mrgNothing = mrgSingle Nothing
mrgJust :: (Mergeable (Maybe a), Applicative m, TryMerge m) => a -> m (Maybe a)
mrgJust = \x -> mrgSingle (Just x)

mkMergeConstructor'

Arguments

:: [String]

Names for generated wrappers

-> Name

The type to generate the wrappers for

-> Q [Dec]

Generate constructor wrappers that wraps the result in a container with TryMerge with provided names.

mkMergeConstructor' ["mrgTuple2"] ''(,)

generates

mrgTuple2 :: (Mergeable (a, b), Applicative m, TryMerge m) => a -> b -> u (a, b)
mrgTuple2 = \v1 v2 -> mrgSingle (v1, v2)