We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dc05982 commit 4684b1cCopy full SHA for 4684b1c
Basis/Applicative.swift
@@ -64,13 +64,19 @@ public protocol Alternative : Applicative {
64
func many(Self) -> FLA
65
}
66
67
+/// Additional functions to be implemented by those types conforming to the Applicative protocol.
68
public protocol ApplicativeOps : Applicative {
69
typealias C
70
typealias FC = K1<C>
71
typealias D
72
typealias FD = K1<D>
73
74
+ /// Lift a function to a Functorial action.
75
class func liftA(f : A -> B) -> Self -> FB
76
+
77
+ /// Lift a binary function to a Functorial action.
78
class func liftA2(f : A -> B -> C) -> Self -> FB -> FC
79
80
+ /// Lift a ternary function to a Functorial action.
81
class func liftA3(f : A -> B -> C -> D) -> Self -> FB -> FC -> FD
82
0 commit comments