- class Additive m => Partitionable m where
- partitionWith :: (m -> m -> r) -> m -> NonEmpty r
Partitionable Additive Semigroups
class Additive m => Partitionable m whereSource
partitionWith :: (m -> m -> r) -> m -> NonEmpty rSource
partitionWith f c returns a list containing f a b for each a b such that a + b = c,
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) |