What is Frege equivalent to Haskell's Fractional?

Question

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.

Try hoogling `(/)` instead. – Daniel Wagner Mar 03 '16 at 21:45 — Daniel Wagner, Mar 03 '16 at 21:45
@DanielWagner Should this be called "Froogling" instead? – Rein Henrichs Mar 03 '16 at 22:46 — Rein Henrichs, Mar 03 '16 at 22:46

score 5 · Accepted Answer · answered Mar 03 '16 at 21:47

5

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

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

answered Mar 03 '16 at 21:47

Daniel Wagner

1 Answers1