shithub: MicroHs

ref: 61eb00e93d1cf875a7d2d6d86fd3bbd3dd528e16
dir: /lib/Data/Ratio_Type.hs/

View raw version 
module Data.Ratio_Type(module Data.Ratio_Type) where
import Primitives
import Data.Integer_Type

data Ratio a = (:%) a a   -- XXX should be strict

type Rational = Ratio Integer

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

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