OpenGL 3D viewer for ImplicitCAD.

Allows quick preview of ImplicitCAD SymbolicObj3 objects by transforming NormedTriangleMesh into format accepted by GPipe.

Based on GPipe-Test

• nix-build
• ./result/bin/implicitview examples-haskell/SomeModule.hs

or enter development shell using nix-shell where you can use cabal run implicitview or cabal repl.

• stack build
• stack run implicitview examples-haskell/SomeModule.hs

Like ghcid for ImplicitCAD. Features autoreload functionality that can reload both Haskell modules via hint or ExtOpenSCAD files using ImplicitCADs SCAD engine.

Try it on provided examples:

implicitview examples-haskell/SomeModule.hs 

or ExtOpenSCAD variant:

implicitview examples-escad/obj.escad 

While the application is running you can open the rendered file in your editor and it will automatically reload the preview on saves.

Haskell loader expects obj :: SymbolicObj3 variable and optionally allows changing resolution by also defining res variable (tried types for res are Double, Int and Integer).

ExtOpenSCAD loader works with standard $res variable. It renders both 2D and 3D objects by unioning and extruding 2D ones by 1mm. To achieve the same with Haskell loader, extrude your 2D objects using extrudeR 0 (unionR 0 objs2) 1.

implicitview supports viewer configuration via command line, for full list of options see:

implicitview --help 

An example of some parameters:

implicitview --rotate --rotate-init 1 --rotate-step 0.01 --zoom 0.5 example-escad/obj.escad 

Demo of animation functionality.

Left mouse button controls camera rotation, scroll wheel zooming, holding space increases animation speed.

• N or ~ key switches smoothing of normals (off by default)
• 1 .. 0 switches shader
• Tab switches to next shader
• R toggles autorotation
• C toggles autoscaling of object on reloads
• 'Q' for quit

Via cabal repl:

import Graphics.Implicit import Graphics.Implicit.Viewer view $ sphere 10 animate $ \t -> unionR 1 [ sphere 5, cylinder2 1 3 (4 + 5 * t) ]

Support for animating objects is available - objects can be parametrized by time variable in [0..1] interval and viewed using animate function.

animSample :: Double -> SymbolicObj3 animSample t = sphere (2 + t*2) animate animSample

Animations are experimental and are currently being reworked to use composable Animation wrapper similar to Reanimate.Animation.