Document map type as generic over effect

koka-lang / koka

Koka language compiler and interpreter

http://koka-lang.org

Other

3.26k stars 162 forks source link

Document map type as generic over effect #292

Closed roetlich closed 6 months ago

roetlich commented 2 years ago

Sorry for making such a short PR, but I got confused by the doc string of map. It says map can only be used with total functions, but the type signature seems to indicate otherwise.

The guide seems to also contradict the doc string: https://koka-lang.github.io/koka/doc/book.html#why-effects

TimWhiting commented 6 months ago

This looks like it was fixed in recent updates, thanks for the contribution!