Skip to content

Commit

Permalink
add missing mixed keywords
Browse files Browse the repository at this point in the history
  • Loading branch information
drupol authored and marcosh committed Mar 21, 2023
1 parent 5b3e5ff commit 83e0bb9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/typeclasses/Applicative.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ $applicative->apply($applicative->pure(fn(mixed $x): mixed => $x), $y) == $y
### Composition

```php
$applicative->apply($applicative->apply($applicative->apply($applicative->pure(fn ($f, $g) => fn ($x) => $f($g($x))), $a), $b), $c) == $applicative->apply($a, $applicative->apply($b, $c))
$applicative->apply($applicative->apply($applicative->apply($applicative->pure(fn (mixed $f, mixed $g): Closure => fn (mixed $x): mixed => $f($g($x))), $a), $b), $c) == $applicative->apply($a, $applicative->apply($b, $c))
```

### Homomorphism
Expand All @@ -52,7 +52,7 @@ $applicative->apply($applicative->pure($f), $applicative->pure($x)) == $applicat
### Interchange

```php
$applicative->apply($f, $applicative->pure($x)) == $applicative->apply(fn (callable $g) => $g($x), $f)
$applicative->apply($f, $applicative->pure($x)) == $applicative->apply(fn (callable $g): mixed => $g($x), $f)
```

## Implemented instances
Expand Down

0 comments on commit 83e0bb9

Please sign in to comment.