shithub: MicroHs

ref: cf0166d6f96c0980cf5c207866c730f6380f2788
dir: /lib/Data/Fractional.hs/

View raw version 
-- Copyright 2023 Lennart Augustsson
-- See LICENSE file for full license.
module Data.Fractional(module Data.Fractional) where
import Prelude()              -- do not import Prelude
import Primitives
import Data.Integral
import Data.Num
import Data.Ord
import Data.Ratio_Type

class Num a => Fractional a where
  (/) :: a -> a -> a
  recip :: a -> a
  fromRational :: Rational -> a

  recip x = 1 / x

infixr 8 ^^
(^^) :: forall a b . (Fractional a, Integral b, Ord b) => a -> b -> a
x ^^ n = if n >= 0 then x^n else recip (x^(- n))