Module

Data.Monoid.Alternate

#Alternate

newtype Alternate :: forall k. (k -> Type) -> k -> Typenewtype Alternate f a

Monoid and semigroup instances corresponding to Plus and Alt instances for f

Alternate fx <> Alternate fy == Alternate (fx <|> fy)
mempty :: Alternate _ == Alternate empty

Constructors

Instances

Modules