Safe Haskell	Safe
Language	Haskell98

Numeric.Algebra.Factorable

Contents

Synopsis

Factorable Multiplicative Semigroups

`factorWith f c` returns a non-empty list containing `f a b` for all `a, b` such that `a * b = c`.

Results of factorWith f 0 are undefined and may result in either an error or an infinite list.

Minimal complete definition

Methods

factorWith :: (m -> m -> r) -> m -> NonEmpty r #

Instances

Factorable Bool #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: (Bool -> Bool -> r) -> Bool -> NonEmpty r #
Factorable () #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: (() -> () -> r) -> () -> NonEmpty r #
Partitionable r => Factorable (Exp r) #
Instance details Defined in Numeric.Exp Methods factorWith :: (Exp r -> Exp r -> r0) -> Exp r -> NonEmpty r0 #
(Factorable a, Factorable b) => Factorable (a, b) #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: ((a, b) -> (a, b) -> r) -> (a, b) -> NonEmpty r #
(Factorable a, Factorable b, Factorable c) => Factorable (a, b, c) #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: ((a, b, c) -> (a, b, c) -> r) -> (a, b, c) -> NonEmpty r #
(Factorable a, Factorable b, Factorable c, Factorable d) => Factorable (a, b, c, d) #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: ((a, b, c, d) -> (a, b, c, d) -> r) -> (a, b, c, d) -> NonEmpty r #
(Factorable a, Factorable b, Factorable c, Factorable d, Factorable e) => Factorable (a, b, c, d, e) #
Instance details Defined in Numeric.Algebra.Factorable Methods factorWith :: ((a, b, c, d, e) -> (a, b, c, d, e) -> r) -> (a, b, c, d, e) -> NonEmpty r #