Data.Monoid.Monus.Generic

This module provides generic deriving tools for monuses for product-like structures.

Documentation

class GMonus f where

Minimal complete definition

gmonus'

Methods

gmonus' :: f a -> f a -> f a

Instances

GMonus (U1 :: * -> *)

Defined in Data.Monoid.Monus.Generic

Methods

gmonus' :: U1 a -> U1 a -> U1 a

Monus a => GMonus (K1 i a :: * -> *)

Defined in Data.Monoid.Monus.Generic

Methods

gmonus' :: K1 i a a0 -> K1 i a a0 -> K1 i a a0

(GMonus a, GMonus b) => GMonus (a :*: b)

Defined in Data.Monoid.Monus.Generic

Methods

gmonus' :: (a :*: b) a0 -> (a :*: b) a0 -> (a :*: b) a0

GMonus a => GMonus (M1 i c a)

Defined in Data.Monoid.Monus.Generic

Methods

gmonus' :: M1 i c a a0 -> M1 i c a a0 -> M1 i c a a0

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

Generically generate a Monus monus operation for any type implementing Generic. It is only defined for product types.

gmonus a b = gmonus b a

newtype WrappedMonus a

This type is useful with -XDerivingVia.

Constructors

WrappedMonus a

Instances

Generic (WrappedMonus a)

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)

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)

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)

Defined in Data.Monoid.Monus.Generic

Methods

monus :: WrappedMonus a -> WrappedMonus a -> WrappedMonus a

type Rep (WrappedMonus a)

Defined in Data.Monoid.Monus.Generic

type Rep (WrappedMonus a) = D1 (MetaData "WrappedMonus" "Data.Monoid.Monus.Generic" "monus-0.2.0.0-1bsa463BNyAgEjf63vVS9" True) (C1 (MetaCons "WrappedMonus" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))