Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Interval a r = GInterval {
- _unInterval :: Range (r :+ a)
- pattern OpenInterval :: (r :+ a) -> (r :+ a) -> Interval a r
- pattern ClosedInterval :: (r :+ a) -> (r :+ a) -> Interval a r
- pattern Interval :: EndPoint (r :+ a) -> EndPoint (r :+ a) -> Interval a r
- class HasStart t where
- type StartCore t
- type StartExtra t
- start :: Lens' t (StartCore t :+ StartExtra t)
- class HasEnd t where
- inInterval :: Ord r => r -> Interval a r -> Bool
- shiftLeft' :: Num r => r -> Interval a r -> Interval a r
1 dimensional Intervals
An Interval is essentially a Range
but with possible payload
GInterval | |
|
Instances
pattern OpenInterval :: (r :+ a) -> (r :+ a) -> Interval a r Source #
pattern ClosedInterval :: (r :+ a) -> (r :+ a) -> Interval a r Source #
querying the start and end of intervals
class HasStart t where Source #
start :: Lens' t (StartCore t :+ StartExtra t) Source #
Instances
HasStart (Interval a r) Source # | |
HasStart (HalfLine d r) Source # | |
HasStart (LineSegment d p r) Source # | |
Defined in Data.Geometry.LineSegment type StartCore (LineSegment d p r) :: Type Source # type StartExtra (LineSegment d p r) :: Type Source # start :: Lens' (LineSegment d p r) (StartCore (LineSegment d p r) :+ StartExtra (LineSegment d p r)) Source # |
Instances
HasEnd (Interval a r) Source # | |
HasEnd (LineSegment d p r) Source # | |
Defined in Data.Geometry.LineSegment type EndCore (LineSegment d p r) :: Type Source # type EndExtra (LineSegment d p r) :: Type Source # end :: Lens' (LineSegment d p r) (EndCore (LineSegment d p r) :+ EndExtra (LineSegment d p r)) Source # |