clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Namify 'FLog', 'Log', 'CLog' arguments #46

Closed martijnbastiaan closed 2 years ago

martijnbastiaan commented 2 years ago

Quickly looking up which argument is which is now harder than it should be for Log, CLog and FLog. Neither logBase nor integerLogBase# mention which argument is which.

To make matters worse, languages order them differently so you routinely have to look them up if you're a polyglot:

I prefer fully written out names (base, value), but b/x or b/v would be an improvement over the status quo too.


This PR also namifies Div, but I care much less about that one.