Applicative

public protocol Applicative : Functor

Undocumented

  • Undocumented

    Declaration

    Swift

    static func pure<A>(_ a: A) -> Kind<Self, A>
  • Undocumented

    Declaration

    Swift

    static func ap<A, B>(_ ff: Kind<Self, (A) -> B>, _ fa: Kind<Self, A>) -> Kind<Self, B>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B>(_ fa: Kind<Self, A>, _ fb: Kind<Self, B>) -> Kind<Self, (A, B)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, Z>(_ fa: Kind<Self, (A, B)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, Z>(_ fa: Kind<Self, (A, B, C)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, D, Z>(_ fa: Kind<Self, (A, B, C, D)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, D, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, D, E, Z>(_ fa: Kind<Self, (A, B, C, D, E)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, D, E, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, D, E, G, Z>(_ fa: Kind<Self, (A, B, C, D, E, G)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, D, E, G, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, D, E, G, H, Z>(_ fa: Kind<Self, (A, B, C, D, E, G, H)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, D, E, G, H, Z)>
  • product(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func product<A, B, C, D, E, G, H, I, Z>(_ fa: Kind<Self, (A, B, C, D, E, G, H, I)>, _ fz: Kind<Self, Z>) -> Kind<Self, (A, B, C, D, E, G, H, I, Z)>
  • map2Eval(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map2Eval<A, B, Z>(_ fa: Kind<Self, A>, _ fb: Eval<Kind<Self, B>>, _ f: @escaping (A, B) -> Z) -> Eval<Kind<Self, Z>>
  • tupled(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B>(_ a: Kind<Self, A>,
                             _ b : Kind<Self, B>) -> Kind<Self, (A, B)>
  • tupled(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C>(_ a: Kind<Self, A>,
                                _ b: Kind<Self, B>,
                                _ c: Kind<Self, C>) -> Kind<Self, (A, B, C)>
  • tupled(_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D>(_ a: Kind<Self, A>,
                                   _ b: Kind<Self, B>,
                                   _ c: Kind<Self, C>,
                                   _ d: Kind<Self, D>) -> Kind<Self, (A, B, C, D)>
  • tupled(_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D, E>(_ a: Kind<Self, A>,
                                      _ b: Kind<Self, B>,
                                      _ c: Kind<Self, C>,
                                      _ d: Kind<Self, D>,
                                      _ e: Kind<Self, E>) -> Kind<Self, (A, B, C, D, E)>
  • tupled(_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D, E, G>(_ a: Kind<Self, A>,
                                         _ b: Kind<Self, B>,
                                         _ c: Kind<Self, C>,
                                         _ d: Kind<Self, D>,
                                         _ e: Kind<Self, E>,
                                         _ g: Kind<Self, G>) -> Kind<Self, (A, B, C, D, E, G)>
  • tupled(_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D, E, G, H>(_ a: Kind<Self, A>,
                                            _ b: Kind<Self, B>,
                                            _ c: Kind<Self, C>,
                                            _ d: Kind<Self, D>,
                                            _ e: Kind<Self, E>,
                                            _ g: Kind<Self, G>,
                                            _ h: Kind<Self, H>) -> Kind<Self, (A, B, C, D, E, G, H)>
  • tupled(_:_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D, E, G, H, I>(_ a: Kind<Self, A>,
                                               _ b: Kind<Self, B>,
                                               _ c: Kind<Self, C>,
                                               _ d: Kind<Self, D>,
                                               _ e: Kind<Self, E>,
                                               _ g: Kind<Self, G>,
                                               _ h: Kind<Self, H>,
                                               _ i: Kind<Self, I>) -> Kind<Self, (A, B, C, D, E, G, H, I)>
  • tupled(_:_:_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func tupled<A, B, C, D, E, G, H, I, J>(_ a: Kind<Self, A>,
                                                  _ b: Kind<Self, B>,
                                                  _ c: Kind<Self, C>,
                                                  _ d: Kind<Self, D>,
                                                  _ e: Kind<Self, E>,
                                                  _ g: Kind<Self, G>,
                                                  _ h: Kind<Self, H>,
                                                  _ i: Kind<Self, I>,
                                                  _ j: Kind<Self, J>) -> Kind<Self, (A, B, C, D, E, G, H, I, J)>
  • map(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, Z>(_ a: Kind<Self, A>,
                      _ b: Kind<Self, B>,
                      _ f: @escaping (A, B) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, Z>(_ a: Kind<Self, A>,
                         _ b: Kind<Self, B>,
                         _ c: Kind<Self, C>,
                         _ f: @escaping (A, B, C) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, Z>(_ a: Kind<Self, A>,
                            _ b: Kind<Self, B>,
                            _ c: Kind<Self, C>,
                            _ d: Kind<Self, D>,
                            _ f: @escaping (A, B, C, D) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, E, Z>(_ a: Kind<Self, A>,
                               _ b: Kind<Self, B>,
                               _ c: Kind<Self, C>,
                               _ d: Kind<Self, D>,
                               _ e: Kind<Self, E>,
                               _ f: @escaping (A, B, C, D, E) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, E, G, Z>(_ a: Kind<Self, A>,
                                  _ b: Kind<Self, B>,
                                  _ c: Kind<Self, C>,
                                  _ d: Kind<Self, D>,
                                  _ e: Kind<Self, E>,
                                  _ g: Kind<Self, G>,
                                  _ f: @escaping (A, B, C, D, E, G) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, E, G, H, Z>(_ a: Kind<Self, A>,
                                     _ b: Kind<Self, B>,
                                     _ c: Kind<Self, C>,
                                     _ d: Kind<Self, D>,
                                     _ e: Kind<Self, E>,
                                     _ g: Kind<Self, G>,
                                     _ h: Kind<Self, H>,
                                     _ f: @escaping (A, B, C, D, E, G, H) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, E, G, H, I, Z>(_ a: Kind<Self, A>,
                                        _ b: Kind<Self, B>,
                                        _ c: Kind<Self, C>,
                                        _ d: Kind<Self, D>,
                                        _ e: Kind<Self, E>,
                                        _ g: Kind<Self, G>,
                                        _ h: Kind<Self, H>,
                                        _ i: Kind<Self, I>,
                                        _ f: @escaping (A, B, C, D, E, G, H, I) -> Z) -> Kind<Self, Z>
  • map(_:_:_:_:_:_:_:_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func map<A, B, C, D, E, G, H, I, J, Z>(_ a: Kind<Self, A>,
                                           _ b: Kind<Self, B>,
                                           _ c: Kind<Self, C>,
                                           _ d: Kind<Self, D>,
                                           _ e: Kind<Self, E>,
                                           _ g: Kind<Self, G>,
                                           _ h: Kind<Self, H>,
                                           _ i: Kind<Self, I>,
                                           _ j: Kind<Self, J>,
                                           _ f: @escaping (A, B, C, D, E, G, H, I, J) -> Z) -> Kind<Self, Z>