search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Renames `Categorify.separately` to `Categorify.function`. #83

Closed sellout closed 2 years ago

sellout commented 2 years ago

The previous Categorify.function has been removed. The justification for this is that function is the more obvious name and we can't foresee a case where someone wants the function without the benefits of the NativeCat instance.

sellout commented 2 years ago

It's fine to generate NativeCat instance by default, but that means one needs to turn on DataKinds, and turn off orphan warnings, so I think it's worth providing a functionOnly option.

Good point. I'll reintroduce functionOnly.