CoPartial

public final class CoPartial<W> : Kind<ForCo, W> where W : Comonad

Undocumented

  • Declaration

    Swift

    public static func map<A, B>(_ fa: CoOf<W, A>, _ f: @escaping (A) -> B) -> CoOf<W, B>
  • Declaration

    Swift

    public static func ap<A, B>(_ ff: CoOf<W, (A) -> B>, _ fa: CoOf<W, A>) -> CoOf<W, B>
  • Declaration

    Swift

    public static func pure<A>(_ a: A) -> CoOf<W, A>
  • Declaration

    Swift

    public static func flatMap<A, B>(_ fa: CoOf<W, A>, _ f: @escaping (A) -> CoOf<W, B>) -> CoOf<W, B>
  • Declaration

    Swift

    public static func tailRecM<A, B>(_ a: A, _ f: @escaping (A) -> Kind<CoPartial<W>, Either<A, B>>) -> Kind<CoPartial<W>, B>