blob: a0d5d0ddb34bce21cca00f98b5796b93fddbcb1c (
plain)
1
2
3
4
5
6
7
8
9
|
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 )
|
