blob: 2dd4d7b2d5c15f29b3a9d107c349136fba7b8631 (
plain)
1
2
3
4
5
6
7
8
9
|
module Numeric.Interval.Bounded where
import Numeric.Interval
whole' :: Bounded a => Interval a
whole' = ( minBound ... maxBound )
empty' :: Bounded a => Interval a
empty' = ( maxBound ... minBound )
|