aern2-real-0.2.4.2: Real numbers as sequences of MPBalls
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.Real.Examples.ClosestPairDist

Description

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
   
Synopsis

Documentation

type R = CReal Source #

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

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

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

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 Source #

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

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

tails1 :: [t] -> [[t]] Source #

non-empty tails