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.
The Frege analog of Fractional
appears to be Real
, which offers two operations:
(/) ∷ Real r ⇒ r → r → r
fromDouble ∷ Real r ⇒ Double → r