Safe Haskell	None
Language	Haskell2010

Data.Monoid.Monus.Generic

Synopsis

Documentation

class GMonus f where Source #

Minimal complete definition

Methods

gmonus' :: f a -> f a -> f a Source #

Instances

GMonus (U1 :: * -> *) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods gmonus' :: U1 a -> U1 a -> U1 a Source #
Monus a => GMonus (K1 i a :: * -> *) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods gmonus' :: K1 i a a0 -> K1 i a a0 -> K1 i a a0 Source #
(GMonus a, GMonus b) => GMonus (a :*: b) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods gmonus' :: (a :: b) a0 -> (a :: b) a0 -> (a :*: b) a0 Source #
GMonus a => GMonus (M1 i c a) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods gmonus' :: M1 i c a a0 -> M1 i c a a0 -> M1 i c a a0 Source #

gmonus :: (Generic a, GMonus (Rep a)) => a -> a -> a Source #

Useful with -XDerivingVia.

Constructors

Instances

Generic (WrappedMonus a) Source #
Instance details Defined in Data.Monoid.Monus.Generic Associated Types type Rep (WrappedMonus a) :: * -> * # Methods from :: WrappedMonus a -> Rep (WrappedMonus a) x # to :: Rep (WrappedMonus a) x -> WrappedMonus a #
Semigroup a => Semigroup (WrappedMonus a) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods (<>) :: WrappedMonus a -> WrappedMonus a -> WrappedMonus a # sconcat :: NonEmpty (WrappedMonus a) -> WrappedMonus a # stimes :: Integral b => b -> WrappedMonus a -> WrappedMonus a #
Monoid a => Monoid (WrappedMonus a) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods mempty :: WrappedMonus a # mappend :: WrappedMonus a -> WrappedMonus a -> WrappedMonus a # mconcat :: [WrappedMonus a] -> WrappedMonus a #
Monus a => Monus (WrappedMonus a) Source #
Instance details Defined in Data.Monoid.Monus.Generic Methods monus :: WrappedMonus a -> WrappedMonus a -> WrappedMonus a Source #
type Rep (WrappedMonus a) Source #
Instance details Defined in Data.Monoid.Monus.Generic type Rep (WrappedMonus a) = D1 (MetaData "WrappedMonus" "Data.Monoid.Monus.Generic" "monus-0.1.0.0-2LzM306FtiEBLft8SkA8LZ" True) (C1 (MetaCons "WrappedMonus" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))