Co

public class Co<W, A> : CoOf<W, A> where W : Comonad

(Co w) gives you the best pairing monad for any comonad w In other words, an explorer for the state space given by w

  • Undocumented

    Declaration

    Swift

    public static func fix(_ value: CoOf<W, A>) -> Co<W, A>
  • Declaration

    Swift

    public static func pair() -> Pairing<W, CoPartial<W>>

    Return Value

    The pairing between the underlying comonad, w, and the monad Co<w>.

  • Undocumented

    Declaration

    Swift

    public init(_ cow: @escaping /*forall R.*/(Kind<W, (A) -> /*R*/Any>) -> /*R*/Any)
  • Undocumented

    Declaration

    Swift

    public func runCo<R>(_ w: Kind<W, (A) -> R>) -> R
  • Undocumented

    Declaration

    Swift

    public static func select<A, B>(
        co : Co<W, (A) -> B>,
        wa : Kind<W, A>
        ) -> Kind<W, B>