algebra-4.3.1: Constructive abstract algebra
Numeric.Exp
newtype Exp r #
Constructors
Fields
Instances
Methods
(*) :: Exp r -> Exp r -> Exp r #
pow1p :: Exp r -> Natural -> Exp r #
productWith1 :: Foldable1 f => (a -> Exp r) -> f a -> Exp r #
factorWith :: (Exp r -> Exp r -> r) -> Exp r -> NonEmpty r #
one :: Exp r #
pow :: Exp r -> Natural -> Exp r #
productWith :: Foldable f => (a -> Exp r) -> f a -> Exp r #
recip :: Exp r -> Exp r #
(/) :: Exp r -> Exp r -> Exp r #
(\\) :: Exp r -> Exp r -> Exp r #
(^) :: Integral n => Exp r -> n -> Exp r #