Numeric.Addition.Partitionable

Partitionable Additive Semigroups

class Additive m => Partitionable m where

Methods

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

partitionWith f c returns a list containing f a b for each a b such that a + b = c,

Instances

Partitionable Bool

Partitionable ()

Partitionable Natural

Factorable r => Partitionable (Log r)

(Partitionable a, Partitionable b) => Partitionable (a, b)

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

(Partitionable a, Partitionable b, Partitionable c, Partitionable d) => Partitionable (a, b, c, d)

(Partitionable a, Partitionable b, Partitionable c, Partitionable d, Partitionable e) => Partitionable (a, b, c, d, e)