| Copyright | (C) Frank Staals |
|---|---|
| License | see the LICENSE file |
| Maintainer | Frank Staals |
| Safe Haskell | None |
| Language | GHC2024 |
HGeometry.HalfSpace.Class
Description
Class for modelling Halfspaces
Synopsis
- class (Dimension halfSpace ~ d, Dimension (BoundingHyperPlane halfSpace d r) ~ d, NumType halfSpace ~ r, NumType (BoundingHyperPlane halfSpace d r) ~ r) => HalfSpace_ halfSpace (d :: Nat) r | halfSpace -> d, halfSpace -> r where
- type BoundingHyperPlane halfSpace (d :: Nat) r
- boundingHyperPlane :: Lens' halfSpace (BoundingHyperPlane halfSpace d r)
- halfSpaceSign :: Lens' halfSpace Sign
- type HalfPlane_ halfPlane r = HalfSpace_ halfPlane 2 r
Documentation
class (Dimension halfSpace ~ d, Dimension (BoundingHyperPlane halfSpace d r) ~ d, NumType halfSpace ~ r, NumType (BoundingHyperPlane halfSpace d r) ~ r) => HalfSpace_ halfSpace (d :: Nat) r | halfSpace -> d, halfSpace -> r where Source #
Types modelling halfspaces.
Associated Types
type BoundingHyperPlane halfSpace (d :: Nat) r Source #
Methods
boundingHyperPlane :: Lens' halfSpace (BoundingHyperPlane halfSpace d r) Source #
Access the bounding hyperplane
halfSpaceSign :: Lens' halfSpace Sign Source #
Lens to access the sign of the halfspace.
Instances
| (NumType boundingHyperPlane ~ r, Dimension boundingHyperPlane ~ d) => HalfSpace_ (HalfSpaceF boundingHyperPlane) d r Source # | |||||
Defined in HGeometry.HalfSpace.Type Associated Types
Methods boundingHyperPlane :: Lens' (HalfSpaceF boundingHyperPlane) (BoundingHyperPlane (HalfSpaceF boundingHyperPlane) d r) Source # halfSpaceSign :: Lens' (HalfSpaceF boundingHyperPlane) Sign Source # | |||||
| HalfSpace_ core d r => HalfSpace_ (core :+ extra) d r Source # | |||||
Defined in HGeometry.HalfSpace.Class Associated Types
Methods boundingHyperPlane :: Lens' (core :+ extra) (BoundingHyperPlane (core :+ extra) d r) Source # | |||||
type HalfPlane_ halfPlane r = HalfSpace_ halfPlane 2 r Source #
Type synonym for halfplanes in R^2