agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Add bindings for numeric typeclasses

Open jespercockx opened this issue 1 year ago • 2 comments

Currently we are missing support for the following classes:

  • [ ] Real
  • [ ] Integral
  • [ ] Fractional
  • [ ] Floating
  • [ ] RealFrac
  • [ ] RealFloat

For everything up to and including Fractional we could be able to give definitions on the Agda side (or steal them from the standard library). For the rest, we should probably just postulate them.

jespercockx avatar Jan 15 '24 16:01 jespercockx

Hi, I'd like to work on this. Can you assign it to me, please? Should a file be created for each of these numeric typeclasses, in lib/Haskell/Prim?

ndcroos avatar Jul 18 '24 19:07 ndcroos

Thank you, assigned! I think having one file per typeclass makes sense, yeah.

jespercockx avatar Jul 20 '24 07:07 jespercockx