aern2-real-0.2.15: Real numbers as convergent sequences of intervals
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

AERN2.Real.Examples.ClosestPairDist

Description

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

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