| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Numeric.Module.Representable
Contents
- addRep :: (Applicative m, Additive r) => m r -> m r -> m r
- sinnum1pRep :: (Functor m, Additive r) => Natural -> m r -> m r
- zeroRep :: (Applicative m, Monoidal r) => m r
- sinnumRep :: (Functor m, Monoidal r) => Natural -> m r -> m r
- negateRep :: (Functor m, Group r) => m r -> m r
- minusRep :: (Applicative m, Group r) => m r -> m r -> m r
- subtractRep :: (Applicative m, Group r) => m r -> m r -> m r
- timesRep :: (Integral n, Functor m, Group r) => n -> m r -> m r
- mulRep :: (Representable m, Algebra r (Rep m)) => m r -> m r -> m r
- oneRep :: (Representable m, Unital r, UnitalAlgebra r (Rep m)) => m r
- fromNaturalRep :: (UnitalAlgebra r (Rep m), Representable m, Rig r) => Natural -> m r
- fromIntegerRep :: (UnitalAlgebra r (Rep m), Representable m, Ring r) => Integer -> m r
Representable Additive
addRep :: (Applicative m, Additive r) => m r -> m r -> m r Source #
`Additive.(+)` default definition
Representable Monoidal
Representable Group
minusRep :: (Applicative m, Group r) => m r -> m r -> m r Source #
`Group.(-)` default definition
subtractRep :: (Applicative m, Group r) => m r -> m r -> m r Source #
subtract default definition
Representable Multiplicative (via Algebra)
mulRep :: (Representable m, Algebra r (Rep m)) => m r -> m r -> m r Source #
`Multiplicative.(*)` default definition
Representable Unital (via UnitalAlgebra)
oneRep :: (Representable m, Unital r, UnitalAlgebra r (Rep m)) => m r Source #
one default definition
Representable Rig (via Algebra)
fromNaturalRep :: (UnitalAlgebra r (Rep m), Representable m, Rig r) => Natural -> m r Source #
fromNatural default definition
Representable Ring (via Algebra)
fromIntegerRep :: (UnitalAlgebra r (Rep m), Representable m, Ring r) => Integer -> m r Source #
fromInteger default definition