Data.Monoid.Split

data Split m

A value of type @Split m@ is either a single @m@, or a pair of

Constructors

• M m
• Split m m

Instances

• (Eq m) => Eq (Split m)
• Functor Split
• Generic (Split m) _
• (Show m) => Show (Split m)
• Foldable Split
• Traversable Split
• (Semigroup m) => Semigroup (Split m)

  If @m@ is a @Semigroup@, then @Split m@ is a semigroup which

• (Semigroup m, Monoid m) => Monoid (Split m)
• (Action m n) => Action (Split m) n

  By default, the action of a split monoid is the same as for

split :: forall m. Monoid m => Split m

A convenient name for @mempty :| mempty@, so @M a <> split <>

unsplit :: forall m. Semigroup m => Split m -> m

"Unsplit" a split monoid value, combining the two values into