module Numeric.Interval.Bounded where

import Numeric.Interval

whole' :: (Ord a, Bounded a) => Interval a
whole' = ( minBound ... maxBound )

empty' :: (Ord a, Bounded a) => Interval a
empty' = ( maxBound ... minBound )