# YonedaPartial

``public final class YonedaPartial<F> : Kind<ForYoneda, F> where F : Functor``

Partial application of the Yoneda type constructor, omitting the last parameter.

• ``` map(_:_:) ```

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

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