Numeric.Algebra.Factorable

Factorable Multiplicative Semigroups

class Multiplicative m => Factorable m where

`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

factorWith

Methods

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

Instances

Factorable Bool

Methods

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

Factorable ()

Methods

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

Partitionable r => Factorable (Exp r)

Methods

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

(Factorable a, Factorable b) => Factorable (a, b)

Methods

factorWith :: ((a, b) -> (a, b) -> r) -> (a, b) -> NonEmpty r

(Factorable a, Factorable b, Factorable c) => Factorable (a, b, c)

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)

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)

Methods

factorWith :: ((a, b, c, d, e) -> (a, b, c, d, e) -> r) -> (a, b, c, d, e) -> NonEmpty r