Skip to content

Commit

Permalink
Merge pull request #902 from cranst0n/patch-1
Browse files Browse the repository at this point in the history
Make table in Kleisli readable
  • Loading branch information
adelbertc committed Feb 25, 2016
2 parents 4820a0c + 6894c0e commit 72c1b90
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions docs/src/main/tut/kleisli.md
Original file line number Diff line number Diff line change
Expand Up @@ -142,6 +142,7 @@ implicit def kleisliFlatMap[F[_], Z](implicit F: FlatMap[F]): FlatMap[Kleisli[F,

Below is a table of some of the type class instances `Kleisli` can have depending on what instances `F[_]` has.

```
Type class | Constraint on `F[_]`
-------------- | -------------------
Functor | Functor
Expand All @@ -154,6 +155,7 @@ Split | FlatMap
Strong | Functor
SemigroupK* | FlatMap
MonoidK* | Monad
```

*These instances only exist for Kleisli arrows with identical input and output types; that is,
`Kleisli[F, A, A]` for some type A. These instances use Kleisli composition as the `combine` operation,
Expand Down

0 comments on commit 72c1b90

Please sign in to comment.