KleisliPartial

public final class KleisliPartial<F, D> : Kind2<ForKleisli, F, D>

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

  • Declaration

    Swift

    public static func eq<A>(_ lhs: Kind<KleisliPartial<F, D>, A>, _ rhs: Kind<KleisliPartial<F, D>, A>) -> Bool where A : Equatable
  • Declaration

    Swift

    public static func map<A, B>(_ fa: Kind<KleisliPartial<F, D>, A>, _ f: @escaping (A) -> B) -> Kind<KleisliPartial<F, D>, B>
  • Declaration

    Swift

    public static func pure<A>(_ a: A) -> Kind<KleisliPartial<F, D>, A>
  • Declaration

    Swift

    public static func ap<A, B>(_ ff: Kind<KleisliPartial<F, D>, (A) -> B>, _ fa: Kind<KleisliPartial<F, D>, A>) -> Kind<KleisliPartial<F, D>, B>
  • Declaration

    Swift

    public static func flatMap<A, B>(_ fa: Kind<KleisliPartial<F, D>, A>, _ f: @escaping (A) -> Kind<KleisliPartial<F, D>, B>) -> Kind<KleisliPartial<F, D>, B>
  • Declaration

    Swift

    public static func tailRecM<A, B>(_ a: A, _ f: @escaping (A) -> Kind<KleisliPartial<F, D>, Either<A, B>>) -> Kind<KleisliPartial<F, D>, B>
  • Declaration

    Swift

    public static func ask() -> Kind<KleisliPartial<F, D>, D>
  • Declaration

    Swift

    public static func local<A>(_ fa: Kind<KleisliPartial<F, D>, A>, _ f: @escaping (D) -> D) -> Kind<KleisliPartial<F, D>, A>
  • Declaration

    Swift

    public typealias E = F.E
  • Declaration

    Swift

    public static func raiseError<A>(_ e: F.E) -> Kind<KleisliPartial<F, D>, A>
  • Declaration

    Swift

    public static func handleErrorWith<A>(_ fa: Kind<KleisliPartial<F, D>, A>, _ f: @escaping (F.E) -> Kind<KleisliPartial<F, D>, A>) -> Kind<KleisliPartial<F, D>, A>