Numeric.Exp

Documentation

newtype Exp r

Constructors

Exp

Fields

• runExp :: r

Instances

Additive r => Multiplicative (Exp r)

Methods

(*) :: Exp r -> Exp r -> Exp r

pow1p :: Exp r -> Natural -> Exp r

productWith1 :: Foldable1 f => (a -> Exp r) -> f a -> Exp r

Partitionable r => Factorable (Exp r)

Methods

factorWith :: (Exp r -> Exp r -> r) -> Exp r -> NonEmpty r

Monoidal r => Unital (Exp r)

Methods

one :: Exp r

pow :: Exp r -> Natural -> Exp r

productWith :: Foldable f => (a -> Exp r) -> f a -> Exp r

Idempotent r => Band (Exp r)

Group r => Division (Exp r)

Methods

recip :: Exp r -> Exp r

(/) :: Exp r -> Exp r -> Exp r

(\\) :: Exp r -> Exp r -> Exp r

(^) :: Integral n => Exp r -> n -> Exp r

Abelian r => Commutative (Exp r)