MicroHs-0.15.0.0: lib/Data/Ratio_Type.hs

module Data.Ratio_Type(module Data.Ratio_Type) where
import qualified Prelude()              -- do not import Prelude
import Primitives
import Data.Integer_Type
import {-# SOURCE #-} Data.Typeable

data Ratio a = !a :% !a

type Rational = Ratio Integer

_integerToRational :: Integer -> Rational
_integerToRational x = x :% (1::Integer)

_mkRational :: Integer -> Integer -> Rational
_mkRational = (:%)