Graphics.Implicit.Canon

This module implements canonicalization pass that * eliminates identities * merges consecutive transformations like transform . transform into one * prevents invalid transformations like scaling by zero that would otherwise result in NaNs down the pipe * turns degenerate objects into empty space (i.e. circle 0, cube (pure 0))

Documentation

canonicalize2 :: SymbolicObj2 -> SymbolicObj2

Canonicalize SymbolicObj2 tree

canonicalize3 :: SymbolicObj3 -> SymbolicObj3

Canonicalize SymbolicObj3 tree

fmapObj2

Arguments

:: (SymbolicObj2 -> SymbolicObj2)

SymbolicObj2 transformation

-> (SymbolicObj3 -> SymbolicObj3)

SymbolicObj3 transformation

-> (forall obj f a. Object obj f a => obj -> obj)

Shared2|3 transformation

-> SymbolicObj2

-> SymbolicObj2

Map over SymbolicObj2 and its underlying shared objects

This function is co-recursive with fmapSharedObj to achieve deep mapping over objects nested in Shared2 constructor

fmapObj3

Arguments

:: (SymbolicObj3 -> SymbolicObj3)

SymbolicObj3 transformation

-> (SymbolicObj2 -> SymbolicObj2)

SymbolicObj2 transformation

-> (forall obj f a. Object obj f a => obj -> obj)

Shared2|3 transformation

-> SymbolicObj3

-> SymbolicObj3

Map over SymbolicObj3 and its underlying shared objects

This function is co-recursive with fmapSharedObj to achieve deep mapping over objects nested in Shared3 constructor

fmapSharedObj :: forall obj f a. Object obj f a => (obj -> obj) -> (obj -> obj) -> obj -> obj

Map over SharedObj and its underlying objects

This resembles bimap from Bifunctor but the structure of SharedObj doesn't allow us to define Bifunctor instance as we need to map over the first type argument (obj) and not f and a.

rewriteUntilIrreducible

Arguments

:: (Object obj f a, EqObj obj)

=> (obj -> obj)

SymbolicObjN transformation

-> obj

-> obj

Rewrite the object tree until it cannot be reduced further

class EqObj a where

We have to define our own variant of Eq which compares objects when possible and returns True when we cannot compare things like functions

Methods

(=^=) :: a -> a -> Bool

Instances

EqObj ExtrudeMScale

Defined in Graphics.Implicit.Canon

Methods

(=^=) :: ExtrudeMScale -> ExtrudeMScale -> Bool

EqObj SymbolicObj2

Defined in Graphics.Implicit.Canon

Methods

(=^=) :: SymbolicObj2 -> SymbolicObj2 -> Bool

EqObj SymbolicObj3

Defined in Graphics.Implicit.Canon

Methods

(=^=) :: SymbolicObj3 -> SymbolicObj3 -> Bool

EqObj a => EqObj [a]

Defined in Graphics.Implicit.Canon

Methods

(=^=) :: [a] -> [a] -> Bool

(EqObj obj, Eq (f a)) => EqObj (SharedObj obj f a)

Defined in Graphics.Implicit.Canon

Methods

(=^=) :: SharedObj obj f a -> SharedObj obj f a -> Bool