YonedaPartial

Swift

public static func map<A, B>(
    _ fa: YonedaOf<F, A>,
    _ f: @escaping (A) -> B
) -> YonedaOf<F, B>

Swift

public static func pure<A>(_ a: A) -> YonedaOf<F, A>

Swift

public static func ap<A, B>(
    _ ff: YonedaOf<F, (A) -> B>,
    _ fa: YonedaOf<F, A>
) -> YonedaOf<F, B>

Swift

public static func flatMap<A, B>(
    _ fa: YonedaOf<F, A>,
    _ f: @escaping (A) -> YonedaOf<F, B>
) -> YonedaOf<F, B>

Swift

public static func tailRecM<A, B>(
    _ a: A,
    _ f: @escaping (A) -> YonedaOf<F, Either<A, B>>
) -> YonedaOf<F, B>

Swift

public static func coflatMap<A, B>(
    _ fa: YonedaOf<F, A>,
    _ f: @escaping (YonedaOf<F, A>) -> B
) -> YonedaOf<F, B>

Swift

public static func extract<A>(
    _ fa: YonedaOf<F, A>
) -> A

Swift

public static func eq<A: Equatable>(
    _ lhs: YonedaOf<F, A>,
    _ rhs: YonedaOf<F, A>
) -> Bool

Swift

public static func hash<A>(_ fa: YonedaOf<F, A>, into hasher: inout Hasher) where A : Hashable

Swift

public static func foldLeft<A, B>(
    _ fa: YonedaOf<F, A>,
    _ b: B,
    _ f: @escaping (B, A) -> B
) -> B

Swift

public static func foldRight<A, B>(
    _ fa: YonedaOf<F, A>,
    _ b: Eval<B>,
    _ f: @escaping (A, Eval<B>) -> Eval<B>
) -> Eval<B>

Swift

public static func traverse<G: Applicative, A, B>(
    _ fa: YonedaOf<F, A>,
    _ f: @escaping (A) -> Kind<G, B>
) -> Kind<G, YonedaOf<F, B>>