Co

public typealias Co<W, A> = CoT<W, ForId, A> where W : Comonad
  • Lifts this Co value into a left value of CoSum

    Declaration

    Swift

    func liftLeft<G>() -> CoSum<W, G, A> where G : Comonad

    Return Value

    A CoSum left value.

  • Lifts this Co value into a right value of CoSum

    Declaration

    Swift

    func liftRight<F>() -> CoSum<F, W, A> where F : Comonad

    Return Value

    A CoSum right value.

  • Lifts this Co value into the visible value of CoSumOpt.

    Declaration

    Swift

    func liftSumOpt() -> CoSumOpt<W, A>

    Return Value

    A CoSumOpt visible value.