- 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) |