Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data TwoOrThree a
- fromList :: [a] -> Either String (TwoOrThree a)
- data DiskResult p r = DiskResult {
- _enclosingDisk :: Disk () r
- _definingPoints :: TwoOrThree (Point 2 r :+ p)
- enclosingDisk :: forall p r. Lens' (DiskResult p r) (Disk () r)
- definingPoints :: forall p r p. Lens (DiskResult p r) (DiskResult p r) (TwoOrThree ((:+) (Point 2 r) p)) (TwoOrThree ((:+) (Point 2 r) p))
Documentation
data TwoOrThree a Source #
List of two or three elements
Functor TwoOrThree Source # | |
Foldable TwoOrThree Source # | |
Eq a => Eq (TwoOrThree a) Source # | |
Ord a => Ord (TwoOrThree a) Source # | |
Read a => Read (TwoOrThree a) Source # | |
Show a => Show (TwoOrThree a) Source # | |
data DiskResult p r Source #
The result of a smallest enclosing disk computation: The smallest ball and the points defining it
DiskResult | |
|
enclosingDisk :: forall p r. Lens' (DiskResult p r) (Disk () r) Source #
definingPoints :: forall p r p. Lens (DiskResult p r) (DiskResult p r) (TwoOrThree ((:+) (Point 2 r) p)) (TwoOrThree ((:+) (Point 2 r) p)) Source #