computational-geometry-0.1.0.1: Collection of algorithms in Computational Geometry.

Copyright(C) 2017 Maksymilian Owsianny
LicenseBSD-style (see LICENSE)
MaintainerMaksymilian.Owsianny@gmail.com
Safe HaskellNone
LanguageHaskell2010

Geometry.SetOperations.CrossPoint

Description

 

Synopsis

Documentation

data Sign Source #

Constructors

M 
Z 
P 

Instances

Eq Sign Source # 

Methods

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

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

Show Sign Source # 

Methods

showsPrec :: Int -> Sign -> ShowS #

show :: Sign -> String #

showList :: [Sign] -> ShowS #

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

data CrossPoint v n Source #

Constructors

CP 

Fields

Instances

ToPolytopeRep PolyT3 (FB3 v n) v n Source # 

Methods

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

(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 Source # 

Methods

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

Methods

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

class MakeCrossPoint v n where Source #

Minimal complete definition

makeCrossPoint

Methods

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

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

Convert a point to CrossPoint