# ConstPartial

``public final class ConstPartial<A> : Kind<ForConst, A>``

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

• ``` eq(_:_:) ```

#### Declaration

Swift

``public static func eq<T>(_ lhs: Kind<ConstPartial<A>, T>, _ rhs: Kind<ConstPartial<A>, T>) -> Bool where T : Equatable``
• ``` map(_:_:) ```

#### Declaration

Swift

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

#### Declaration

Swift

``public static func pure<C>(_ a: C) -> Kind<ConstPartial<A>, C>``
• ``` ap(_:_:) ```

#### Declaration

Swift

``public static func ap<C, B>(_ ff: Kind<ConstPartial<A>, (C) -> B>, _ fa: Kind<ConstPartial<A>, C>) -> Kind<ConstPartial<A>, B>``
• ``` foldLeft(_:_:_:) ```

#### Declaration

Swift

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

#### Declaration

Swift

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

#### Declaration

Swift

``public static func traverse<G: Applicative, C, B>(_ fa: Kind<ConstPartial<A>, C>, _ f: @escaping (C) -> Kind<G, B>) -> Kind<G, Kind<ConstPartial<A>, B>>``
• ``` traverseFilter(_:_:) ```

#### Declaration

Swift

``public static func traverseFilter<C, B, G: Applicative>(_ fa: Kind<ConstPartial<A>, C>, _ f: @escaping (C) -> Kind<G, Kind<ForOption, B>>) -> Kind<G, Kind<ConstPartial<A>, B>>``
• ``` mapFilter(_:_:) ```

#### Declaration

Swift

``public static func mapFilter<C, B>(_ fa: Kind<ConstPartial<A>, C>, _ f: @escaping (C) -> Kind<ForOption, B>) -> Kind<ConstPartial<A>, B>``