AERN2.Real.Examples.ClosestPairDist

You can run the examples in this file in ghci. If you installed AERN2 using the official instructions, you can start ghci using the following command in the base folder:

   stack repl aern2-realexamplesAERN2RealExamples/ClosestPairDist.hs
   

Documentation

type R = CReal

closestPairDist_naive :: _ => [t] -> t

distance :: (CanSubSameType t, CanAbsSameType t) => (t, t) -> t

closestPairDist_run :: _ => ([t] -> t) -> Integer -> t

closestPairDist_run_naive :: Integer -> R

closestPairDist_run_split :: Integer -> R

closestPairDist_spec :: (Show t, Show b, HasEqAsymmetric t b, CanTestCertainly (EqCompareType t b), CanSub b b, CanMinMaxAsymmetric b b, CanAbs b, ConvertibleExactly b r, SubType b b ~ b, AbsType b ~ b, MinMaxType b b ~ b) => ([r] -> r) -> (r -> t) -> [b] -> Property

closestPairDist_runTests1 :: IO ()

closestPairDist_runTests2 :: IO ()

sample_integers :: IO ()

sample_rationals :: IO ()

closestPairDist_split :: _ => (t -> t -> Bool) -> [t] -> t

compRApprox :: R -> R -> Bool

compMPBall :: MPBall -> MPBall -> Bool

average :: (HasIntegers t, CanAddSameType t, CanDivBy t Integer) => [t] -> t

largest :: CanMinMaxSameType t => [t] -> t

smallest :: CanMinMaxSameType t => [t] -> t

distinctPairs :: [t] -> [(t, t)]

tails1 :: [t] -> [[t]]

non-empty tails