algebra-2.0.2: Constructive abstract algebra

Numeric.Algebra.Factorable

Contents

Synopsis

Factorable Multiplicative Semigroups

class Multiplicative m => Factorable m whereSource

`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.

Methods

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

Instances