magma-0.1.0.1: magma is an algebraic structure consisting a set together with an binary operation.

Safe HaskellSafe-Inferred

Data.Magma

Documentation

class Magma a whereSource

Methods

(<>) :: a -> a -> aSource

leaf :: a -> BinaryTree aSource

node :: BinaryTree a -> BinaryTree a -> BinaryTree aSource

left :: BinaryTree a -> BinaryTree aSource

right :: BinaryTree a -> BinaryTree aSource

foldMap :: Magma m => (a -> m) -> BinaryTree a -> mSource