haskellfrege

What is Frege equivalent to Haskell's Fractional?


This definition is valid in ghci:

recip :: Fractional a ⇒ a → a
recip n = 1 / n

Trying it in frege-repl I got:

E <console>.fr:6: can't resolve `Fractional`, did you mean `Exceptional`
    perhaps?

"Hoogling" Fractional gives me nothing.


Solution

  • The Frege analog of Fractional appears to be Real, which offers two operations:

    (/) ∷ Real r ⇒ r → r → r
    fromDouble ∷ Real r ⇒ Double → r