Data.Geometry.Ball
data Ball d p r
squaredRadius
center
fromDiameter
fromCenterAndPoint
unitBall
inBall
insideBall
inClosedBall
onBall
type Sphere d p r
type Disk p r
type Circle p r
disk
data Touching p