CoSumOpt

public typealias CoSumOpt<G, A> = CoSum<ForId, G, A> where G : Comonad
  • Creates a CoSumOpt that can select the hidden side of a SumOpt.

    Declaration

    Swift

    static func hide<G>() -> CoSumOpt<G, Void> where W == SumPartial<ForId, G>, A == Void, G : Comonad

    Return Value

    A CoSum that selects the hidden side of a SumOpt.

  • Creates a CoSumOpt that can select the visible side of a SumOpt.

    Declaration

    Swift

    static func show<G>() -> CoSumOpt<G, Void> where W == SumPartial<ForId, G>, A == Void, G : Comonad

    Return Value

    A CoSum that selects the visible side of a SumOpt.

  • Creates a CoSumOpt that can toggle the side of a SumOpt.

    Declaration

    Swift

    static func toggle<G>() -> CoSumOpt<G, Void> where W == SumPartial<ForId, G>, A == Void, G : Comonad

    Return Value

    A CoSum that toggles side of a SumOpt.