Category-Theory-for-Programmers.kt icon indicating copy to clipboard operation
Category-Theory-for-Programmers.kt copied to clipboard

`./gradlew runAnk` is failing

Open lgtout opened this issue 4 years ago • 0 comments

./gradlew runAnk is failing. When I rerun with --info, this is the output:

[✗ /Users/xxxx/dev/Category-Theory-for-Programmers.kt/build/site/2.4-representable-functors.md [2]
Exception in thread "main" 
----------------------------------------------------------------

 File located at: /Users/xxxx/dev/Category-Theory-for-Programmers.kt/build/site/2.4-representable-functors.md

```
import arrow.core.Id
import arrow.core.andThen

fun <D, A> fmap(run: (D) -> A): Reader<D, A> = Kleisli(run.andThen { Id(it) })
```
error: type inference failed. Expected type mismatch: inferred type is Kleisli<D, ForId, A> but Line_1.Reader<D, A> /* = Kleisli<ForId, D, A> */ was expected
fun <D, A> fmap(run: (D) -> A): Reader<D, A> = Kleisli(run.andThen { Id(it) })

lgtout avatar Jun 13 '20 07:06 lgtout