CoyonedaPartial
public final class CoyonedaPartial<F> : Kind<ForCoyoneda, F>
Partial application of the Coyoneda type constructor, omitting the last parameter.
-
Declaration
Swift
public static func map<A, B>( _ fa: CoyonedaOf<F, A>, _ f: @escaping (A) -> B ) -> CoyonedaOf<F, B>
-
Declaration
Swift
public static func pure<A>(_ a: A) -> CoyonedaOf<F, A>
-
Declaration
Swift
public static func ap<A, B>( _ ff: CoyonedaOf<F, (A) -> B>, _ fa: CoyonedaOf<F, A> ) -> CoyonedaOf<F, B>
-
Declaration
Swift
public static func flatMap<A, B>( _ fa: CoyonedaOf<F, A>, _ f: @escaping (A) -> CoyonedaOf<F, B> ) -> CoyonedaOf<F, B>
-
Declaration
Swift
public static func tailRecM<A, B>( _ a: A, _ f: @escaping (A) -> CoyonedaOf<F, Either<A, B>> ) -> CoyonedaOf<F, B>
-
Declaration
Swift
public static func coflatMap<A, B>( _ fa: CoyonedaOf<F, A>, _ f: @escaping (CoyonedaOf<F, A>) -> B ) -> CoyonedaOf<F, B>
-
Declaration
Swift
public static func extract<A>( _ fa: CoyonedaOf<F, A> ) -> A
-
Declaration
Swift
public static func foldLeft<A, B>( _ fa: CoyonedaOf<F, A>, _ b: B, _ f: @escaping (B, A) -> B ) -> B
-
Declaration
Swift
public static func foldRight<A, B>( _ fa: CoyonedaOf<F, A>, _ b: Eval<B>, _ f: @escaping (A, Eval<B>) -> Eval<B> ) -> Eval<B>
-
Declaration
Swift
public static func traverse<G: Applicative, A, B>( _ fa: CoyonedaOf<F, A>, _ f: @escaping (A) -> Kind<G, B> ) -> Kind<G, CoyonedaOf<F, B>>