Data.Geometry.Slab

Documentation

data Orthogonal

Constructors

Horizontal

Vertical

Instances

Eq Orthogonal

Read Orthogonal

Show Orthogonal

newtype Slab o a r

Constructors

Slab

Fields

_unSlab :: Interval a r

Instances

Bifunctor (Slab o)

Functor (Slab o a)

Foldable (Slab o a)

Traversable (Slab o a)

(Fractional r, Ord r, HasBoundingLines o) => IsIntersectableWith (Line 2 r) (Slab o a r)

(Eq a, Eq r) => Eq (Slab o a r)

(Show a, Show r) => Show (Slab o a r)

(Fractional r, Ord r, HasBoundingLines o) => IsIntersectableWith (SubLine 2 a r) (Slab o a r)

Ord r => IsIntersectableWith (Slab o a r) (Slab o a r)

IsIntersectableWith (Slab Horizontal a r) (Slab Vertical a r)

type IntersectionOf (Line 2 r) (Slab o a r) = (:) * NoIntersection ((:) * (Line 2 r) ((:) * (LineSegment 2 a r) ([] *)))

type IntersectionOf (SubLine 2 p r) (Slab o a r) = (:) * NoIntersection ((:) * (SubLine 2 a r) ((:) * (LineSegment 2 a r) ([] *)))

type IntersectionOf (Slab o a r) (Slab o a r) = (:) * NoIntersection ((:) * (Slab o a r) ([] *))

type IntersectionOf (Slab Horizontal a r) (Slab Vertical a r) = (:) * (Rectangle (a, a) r) ([] *)

unSlab :: forall o a r o a r. Iso (Slab o a r) (Slab o a r) (Interval a r) (Interval a r)

horizontalSlab :: (r :+ a) -> (r :+ a) -> Slab Horizontal a r

Smart consturctor for creating a horizontal slab

verticalSlab :: (r :+ a) -> (r :+ a) -> Slab Vertical a r

Smart consturctor for creating a vertical slab

class HasBoundingLines o where

Methods

boundingLines :: Num r => Slab o a r -> (Line 2 r :+ a, Line 2 r :+ a)

The two bounding lines of the slab, first the lower one, then the higher one:

inSlab :: Ord r => Point 2 r -> Slab o a r -> Bool

Instances

HasBoundingLines Horizontal

HasBoundingLines Vertical