algebra-4.1: Constructive abstract algebra

Safe HaskellNone

Numeric.Module.Representable

Contents

Synopsis

Representable Additive

addRep :: (Applicative m, Additive r) => m r -> m r -> m rSource

`Additive.(+)` default definition

sinnum1pRep :: (Whole n, Functor m, Additive r) => n -> m r -> m rSource

sinnum1p default definition

Representable Monoidal

zeroRep :: (Applicative m, Monoidal r) => m rSource

zero default definition

sinnumRep :: (Whole n, Functor m, Monoidal r) => n -> m r -> m rSource

sinnum default definition

Representable Group

negateRep :: (Functor m, Group r) => m r -> m rSource

negate default definition

minusRep :: (Applicative m, Group r) => m r -> m r -> m rSource

`Group.(-)` default definition

subtractRep :: (Applicative m, Group r) => m r -> m r -> m rSource

subtract default definition

timesRep :: (Integral n, Functor m, Group r) => n -> m r -> m rSource

times default definition

Representable Multiplicative (via Algebra)

mulRep :: (Representable m, Algebra r (Rep m)) => m r -> m r -> m rSource

`Multiplicative.(*)` default definition

Representable Unital (via UnitalAlgebra)

oneRep :: (Representable m, Unital r, UnitalAlgebra r (Rep m)) => m rSource

one default definition

Representable Rig (via Algebra)

fromNaturalRep :: (UnitalAlgebra r (Rep m), Representable m, Rig r) => Natural -> m rSource

fromNatural default definition

Representable Ring (via Algebra)

fromIntegerRep :: (UnitalAlgebra r (Rep m), Representable m, Ring r) => Integer -> m rSource

fromInteger default definition