Data.Geometry.HalfLine

d-dimensional Half-Lines

data HalfLine d r

d-dimensional Half-Lines

Constructors

HalfLine

Fields

• _startPoint :: Point d r
• _halfLineDirection :: Vector d r

Instances

Arity d => Functor (HalfLine d)

Methods

fmap :: (a -> b) -> HalfLine d a -> HalfLine d b

(<$) :: a -> HalfLine d b -> HalfLine d a

Arity d => Foldable (HalfLine d)

Methods

fold :: Monoid m => HalfLine d m -> m

foldMap :: Monoid m => (a -> m) -> HalfLine d a -> m

foldr :: (a -> b -> b) -> b -> HalfLine d a -> b

foldr' :: (a -> b -> b) -> b -> HalfLine d a -> b

foldl :: (b -> a -> b) -> b -> HalfLine d a -> b

foldl' :: (b -> a -> b) -> b -> HalfLine d a -> b

foldr1 :: (a -> a -> a) -> HalfLine d a -> a

foldl1 :: (a -> a -> a) -> HalfLine d a -> a

toList :: HalfLine d a -> [a]

null :: HalfLine d a -> Bool

length :: HalfLine d a -> Int

elem :: Eq a => a -> HalfLine d a -> Bool

maximum :: Ord a => HalfLine d a -> a

minimum :: Ord a => HalfLine d a -> a

sum :: Num a => HalfLine d a -> a

product :: Num a => HalfLine d a -> a

Arity d => Traversable (HalfLine d)

Methods

traverse :: Applicative f => (a -> f b) -> HalfLine d a -> f (HalfLine d b)

sequenceA :: Applicative f => HalfLine d (f a) -> f (HalfLine d a)

mapM :: Monad m => (a -> m b) -> HalfLine d a -> m (HalfLine d b)

sequence :: Monad m => HalfLine d (m a) -> m (HalfLine d a)

(Eq r, Arity d) => Eq (HalfLine d r)

Methods

(==) :: HalfLine d r -> HalfLine d r -> Bool

(/=) :: HalfLine d r -> HalfLine d r -> Bool

(Show r, Arity d) => Show (HalfLine d r)

Methods

showsPrec :: Int -> HalfLine d r -> ShowS

show :: HalfLine d r -> String

showList :: [HalfLine d r] -> ShowS

Generic (HalfLine d r)

Associated Types

type Rep (HalfLine d r) :: * -> *

Methods

from :: HalfLine d r -> Rep (HalfLine d r) x

to :: Rep (HalfLine d r) x -> HalfLine d r

(NFData r, Arity d) => NFData (HalfLine d r)

Methods

rnf :: HalfLine d r -> ()

HasStart (HalfLine d r)

Associated Types

type StartCore (HalfLine d r) :: *

type StartExtra (HalfLine d r) :: *

Methods

start :: Lens' (HalfLine d r) (StartCore (HalfLine d r) :+ StartExtra (HalfLine d r))

HasSupportingLine (HalfLine d r)

Methods

supportingLine :: HalfLine d r -> Line (Dimension (HalfLine d r)) (NumType (HalfLine d r))

(Num r, AlwaysTruePFT d) => IsTransformable (HalfLine d r)

Methods

transformBy :: Transformation (Dimension (HalfLine d r)) (NumType (HalfLine d r)) -> HalfLine d r -> HalfLine d r

type Rep (HalfLine d r)

type Rep (HalfLine d r) = D1 (MetaData "HalfLine" "Data.Geometry.HalfLine" "hgeometry-0.6.0.0-ODn7ZyBfwj6IkLPAAzetJ" False) (C1 (MetaCons "HalfLine" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_startPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Point d r))) (S1 (MetaSel (Just Symbol "_halfLineDirection") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector d r)))))

type NumType (HalfLine d r)

type NumType (HalfLine d r) = r

type Dimension (HalfLine d r)

type Dimension (HalfLine d r) = d

type StartCore (HalfLine d r)

type StartCore (HalfLine d r) = Point d r

type StartExtra (HalfLine d r)

type StartExtra (HalfLine d r) = ()

type IntersectionOf (HalfLine 2 r) (HalfLine 2 r)

type IntersectionOf (HalfLine 2 r) (HalfLine 2 r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (LineSegment 2 () r) ((:) * (HalfLine 2 r) ([] *))))

type IntersectionOf (HalfLine 2 r) (Line 2 r)

type IntersectionOf (HalfLine 2 r) (Line 2 r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (HalfLine 2 r) ([] *)))

type IntersectionOf (HalfLine 2 r) (LineSegment 2 p r)

type IntersectionOf (HalfLine 2 r) (LineSegment 2 p r) = (:) * NoIntersection ((:) * (Point 2 r) ((:) * (LineSegment 2 () r) ([] *)))

startPoint :: forall d r. Lens' (HalfLine d r) (Point d r)

halfLineDirection :: forall d r. Lens' (HalfLine d r) (Vector d r)

halfLineToSubLine :: (Arity d, Num r) => HalfLine d r -> SubLine d () (UnBounded r)

fromSubLine :: (Num r, Arity d) => SubLine d p (UnBounded r) -> Maybe (HalfLine d r)

onHalfLine :: (Ord r, Fractional r, Arity d) => Point d r -> HalfLine d r -> Bool

Test if a point lies on a half-line

toHalfLine :: (Num r, Arity d) => LineSegment d p r -> HalfLine d r

Transform a LineSegment into a half-line, by forgetting the second endpoint. Note that this also forgets about if the starting point was open or closed.