Geometry.SetOperations.BRep

Boundary representations for conversion to and from BSP/Volumes.

Documentation

class FromPolytopeRep p b v n where

Convert from polytope to a list of Facets.

Minimal complete definition

fromPolytopeRep

Methods

fromPolytopeRep :: p v n -> [Facet b v n]

Instances

(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]

class ToPolytopeRep p b v n where

Convert from list of Facets to a polytope boundary representation.

Minimal complete definition

toPolytopeRep

Methods

toPolytopeRep :: [Facet b v n] -> p v n

Instances

ToPolytopeRep PolyT3 (FB3 v n) v n

Methods

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

data Poly3 v n

Indexed 3-BRep as a list of convex polygons. Continent as a way to introduce new base shapes into the constructive geometry context.

Constructors

Poly3 (Vector (Point v n)) [[Int]]

Instances

(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]

type Poly3D = Poly3 V3 Double

newtype PolyT3 v n

Simple direct 3-BRep as a list of triangles. Useful as an output after performing specified set operations of the base shapes for rendering.

Constructors

PolyT3 [[Point v n]]

Instances

ToPolytopeRep PolyT3 (FB3 v n) v n

Methods

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

type PolyT3D = PolyT3 V3 Double