Monoid Reference


                    
                    
                    Monoid

Interface defining objects with two methods:

Swift

public protocol Monoid : Semigroup


                    
                    
                    Additive

Interface for types which can be viewed as an Sum monoid.

Swift

public protocol Additive : AdditiveSemigroup, Zero


                    
                    
                    Multiplicative

Interface for types which can be viewed as an Product monoid.

Swift

public protocol Multiplicative : MultiplicativeSemigroup, One


                    
                    
                    MonoidView

Interface defining monoidal views of objects.

Some types can be

Swift

public protocol MonoidView : Monoid

Sum

Additive monoidal view of a Additive-conforming type.

Swift

public struct Sum<Value> : MonoidView where Value : Additive

extension Sum: Additive


                    
                    
                    Product

Multiplicative monoidal view of a Multiplicative-conforming type.

Swift

public struct Product<Value> : MonoidView where Value : Multiplicative

extension Product: Multiplicative