search

conal / total-map

Finitely represented /total/ maps
Other
15 stars 6 forks source link

`codomain` should be called `range` or `image` #10

Closed xplat closed 4 years ago

xplat commented 4 years ago

codomain is a word that was coined in order to specifically not mean the thing it means in this library

conal commented 4 years ago

Indeed! My apologies for letting this one get by in commit https://github.com/conal/total-map/commit/1ddcabda153a269f3c352ee4ac71ab8b424bdd59.

conal commented 4 years ago

I'll change the name to "range" and make a new release once there's a new semiring-num on Hackage.

conal commented 4 years ago

@dmwit Heads up!

conal commented 4 years ago

Released with codomain renamed to "range" and range deprecated as non-denotative.