AERN2.Real.Examples.ClosestPairDist

You can run 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

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

closestPairDist_naive :: (CanMinMaxSameType t, CanAbsSameType t, CanSubSameType t) => [t] -> t

closestPairDist_split :: (RealNumber r, CanMinMaxSameType r, CanAbsSameType r) => [r] -> r

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

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

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

closestPairDist_run :: (RealNumber r, CanSinCosSameType r, CanMinMaxSameType r, CanAbsSameType r) => ([r] -> r) -> Integer -> r

closestPairDist_run_naive :: (RealNumber r, CanSinCosSameType r, CanMinMaxSameType r, CanAbsSameType r) => Integer -> r

closestPairDist_run_split :: (RealNumber r, CanSinCosSameType r, CanMinMaxSameType r, CanAbsSameType r) => Integer -> r

closestPairDist_run_naive_CReal :: Integer -> CReal

closestPairDist_run_naive_WCP :: Integer -> CReal

closestPairDist_run_split_CReal :: Integer -> CReal

closestPairDist_run_split_WCP :: Integer -> CReal

closestPairDist_spec :: _ => ([r] -> r) -> (r -> t) -> [b] -> Property

closestPairDist_runTests1 :: IO ()

sample_integers :: IO ()

sample_rationals :: IO ()