Geometry.SetOperations.CrossPoint

Documentation

data Sign

Constructors

M

Z

P

Instances

Eq Sign

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Show Sign

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

toSign :: (EqZero n, Ord n, Num n) => n -> Sign

data CrossPoint v n

Constructors

CP

Fields

• orientation :: Plane v n -> Sign
• getPoint :: Point v n

Instances

ToPolytopeRep PolyT3 (FB3 v n) v n

Methods

toPolytopeRep :: [Facet (FB3 v n) v n] -> PolyT3 v n

(MakePlane v n, Eq (v n), Foldable v, Applicative v, R3 v, Num n, Ord n, EqZero n) => FromPolytopeRep Poly3 (FB3 v n) v n

Methods

fromPolytopeRep :: Poly3 v n -> [Facet (FB3 v n) v n]

(MakeCrossPoint v n, R2 v, Applicative v, Foldable v, Num n, Ord n, EqZero n) => Clip (FB2 v n) v n

Methods

clipFacet :: Plane v n -> Facet (FB2 v n) v n -> Maybe (Facet (FB2 v n) v n)

splitFacet :: Plane v n -> Facet (FB2 v n) v n -> (Maybe (Facet (FB2 v n) v n), Maybe (Facet (FB2 v n) v n))

(MakeCrossPoint v n, R3 v, Applicative v, Foldable v, Num n, Ord n, EqZero n) => Clip (FB3 v n) v n

Methods

clipFacet :: Plane v n -> Facet (FB3 v n) v n -> Maybe (Facet (FB3 v n) v n)

splitFacet :: Plane v n -> Facet (FB3 v n) v n -> (Maybe (Facet (FB3 v n) v n), Maybe (Facet (FB3 v n) v n))

(Ord n, Fractional n, EqZero n) => Universe (FB2 V2 n) V2 n

Methods

makeFacet :: Plane V2 n -> Facet (FB2 V2 n) V2 n

(Ord n, Fractional n, EqZero n) => Universe (FB3 V3 n) V3 n

Methods

makeFacet :: Plane V3 n -> Facet (FB3 V3 n) V3 n

class MakeCrossPoint v n where

Minimal complete definition

makeCrossPoint

Methods

makeCrossPoint :: v (Plane v n) -> Maybe (CrossPoint v n)

Instances

(Fractional n, Ord n, EqZero n) => MakeCrossPoint V3 n

Methods

makeCrossPoint :: V3 (Plane V3 n) -> Maybe (CrossPoint V3 n)

(Fractional n, Ord n, EqZero n) => MakeCrossPoint V2 n

Methods

makeCrossPoint :: V2 (Plane V2 n) -> Maybe (CrossPoint V2 n)

toCrossPoint :: (EqZero n, Foldable v, Num n, Ord n) => Point v n -> CrossPoint v n

Convert a point to CrossPoint