MonoidK

public protocol MonoidK : SemigroupK

A MonoidK is a SemigroupK that also has an empty element.

  • Empty element.

    This element must obey the following laws:

    combineK(fa, emptyK()) == combineK(emptyK(), fa) == fa
    

    Declaration

    Swift

    static func emptyK<A>() -> Kind<Self, A>

    Return Value

    A value representing the empty element of this MonoidK instance.