Data.Monoid.Cut

data Cut m

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

Constructors

• Uncut m
• Cut m m

Instances

• Functor Cut
• Foldable Cut
• Traversable Cut
• (Semigroup m) => Semigroup (Cut m)

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

• (Semigroup m, Monoid m) => Monoid (Cut m)

cut :: forall m. Monoid m => Cut m

A convenient name for @mempty :||: mempty@, so composing with