Waterfall.Internal.Solid

Documentation

newtype Solid

The Boundary Representation of a solid object.

Alternatively, a region of 3d Space.

Under the hood, this is represented by an OpenCascade Shape. The underlying shape should either be a Solid, or a CompSolid.

While you shouldn't need to know what this means to use the library, please feel free to report a bug if you're able to construct a Solid where this isnt' the case (without using internal functions).

Constructors

Solid

Fields

• rawSolid :: Ptr Shape

Instances

Monoid Solid

Defined in Waterfall.Internal.Solid

Methods

mempty :: Solid

mappend :: Solid -> Solid -> Solid

mconcat :: [Solid] -> Solid

Semigroup Solid

While Solid could form a Semigroup via either union or intersection. the default Semigroup is from union.

The Semigroup from intersection can be obtained using Meet from the lattices package.

Defined in Waterfall.Internal.Solid

Methods

(<>) :: Solid -> Solid -> Solid

sconcat :: NonEmpty Solid -> Solid

stimes :: Integral b => b -> Solid -> Solid

BoundedJoinSemiLattice Solid

Defined in Waterfall.Internal.Solid

Methods

bottom :: Solid

Lattice Solid

Defined in Waterfall.Internal.Solid

Methods

(\/) :: Solid -> Solid -> Solid

(/\) :: Solid -> Solid -> Solid

Transformable Solid

Defined in Waterfall.Transforms

Methods

scale :: V3 Double -> Solid -> Solid

uScale :: Double -> Solid -> Solid

rotate :: V3 Double -> Double -> Solid -> Solid

translate :: V3 Double -> Solid -> Solid

mirror :: V3 Double -> Solid -> Solid

acquireSolid :: Solid -> Acquire (Ptr Shape)

solidFromAcquire :: Acquire (Ptr Shape) -> Solid

union :: Solid -> Solid -> Solid

Take the sum of two solids

The region occupied by either one of them.

difference :: Solid -> Solid -> Solid

Take the difference of two solids

The region occupied by the first, but not the second.

intersection :: Solid -> Solid -> Solid

Take the intersection of two solids

The region occupied by both of them.

nowhere :: Solid

An empty solid

Be warned that complement nowhere does not appear to work correctly.

complement :: Solid -> Solid

Invert a Solid, equivalent to not in boolean algebra.

The complement of a solid represents the solid with the same surface, but where the opposite side of that surface is the "inside" of the solid.

Be warned that complement nowhere does not appear to work correctly.

debug :: Solid -> String

print debug information about a Solid when it's evaluated exposes the properties of the underlying OpenCacade.TopoDS.Shape