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 b27cb36 commit ea79663Copy full SHA for ea79663
std/applicative.glu
@@ -8,10 +8,10 @@ let { Functor, map } = import! std.functor
8
///
9
/// The following laws should hold:
10
11
-/// * wrap id <*> v = v
12
-/// * wrap (<<) <*> u <*> v <*> w = u <*> (v <*> w)
13
-/// * wrap f <*> wrap x = wrap (f x)
14
-/// * u <*> wrap y = wrap (\g -> g x) <*> u
+/// * `wrap id <*> v = v`
+/// * `wrap (<<) <*> u <*> v <*> w = u <*> (v <*> w)`
+/// * `wrap f <*> wrap x = wrap (f x)`
+/// * `u <*> wrap y = wrap (\g -> g x) <*> u`
15
#[implicit]
16
type Applicative (f : Type -> Type) = {
17
functor : Functor f,
0 commit comments