algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Exp

Documentation

newtype Exp r #

Constructors

Exp 

Fields

Instances
Additive r => Multiplicative (Exp r) # 
Instance details

Defined in Numeric.Exp

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) # 
Instance details

Defined in Numeric.Exp

Methods

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

Monoidal r => Unital (Exp r) # 
Instance details

Defined in Numeric.Exp

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) # 
Instance details

Defined in Numeric.Exp

Group r => Division (Exp r) # 
Instance details

Defined in Numeric.Exp

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) # 
Instance details

Defined in Numeric.Exp