A FragmentStream a is a stream of fragments of type a. You may append FragmentStreams using the Monoid instance, and you can operate a stream's values using the Functor instance (this will result in a shader running on the GPU).

This class constraints which vertex types can be turned into fragment values, and what type those values have.

The arrow type for toFragment.

A float value that is not interpolated (like integers), and all fragments will instead get the value of the primitive's last vertex

A float value that doesn't get divided by the interpolated position's w-component during interpolation.

Rasterize a stream of primitives into fragments, using a Side, PolygonMode, Viewport and DepthRange from the shader environment. Primitives will be transformed from canonical view space, i.e. [(-1,-1,-1),(1,1,1)], to the 2D space defined by the ViewPort parameter and the depth range defined by the DepthRange parameter. PolygonMode controls whether to fill in the primitives or whether to show a wireframe or points only.

Defines which side to rasterize. Non triangle primitives only has a front side.

Defines whether to fill the polygon or to show points or wireframes.

The viewport in pixel coordinates (where (0,0) is the lower left corner) in to which the canonical view volume [(-1,-1,-1),(1,1,1)] is transformed and clipped/scissored.

The fragment depth range to map the canonical view volume's z-coordinate to. Depth values are clamped to [0,1], so DepthRange 0 1 gives maximum depth resolution.

Filter out fragments from the stream where the predicate in the first argument evaluates to true, and discard all other fragments.

Like fmap, but where various auto generated information from the rasterization is provided for each vertex.