| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Graphics.GPipe.FragmentStream
Description
A PrimitiveStream can be rasterized, i.e. chopped up in pixel sized fragments, each of which contains an interpolated value of the primitives vertices, producing
a FragmentStream.
Synopsis
- data FragmentStream a
- class FragmentInput a where
- type FragmentFormat a
- toFragment :: ToFragment a (FragmentFormat a)
- data ToFragment a b
- data FlatVFloat = Flat VFloat
- data NoPerspectiveVFloat = NoPerspective VFloat
- rasterize :: forall p a s os f. FragmentInput a => (s -> (Side, ViewPort, DepthRange)) -> PrimitiveStream p (VPos, a) -> Shader os s (FragmentStream (FragmentFormat a))
- type VPos = V4 VFloat
- data Side
- = Front
- | Back
- | FrontAndBack
- data ViewPort = ViewPort {
- viewPortLowerLeft :: V2 Int
- viewPortSize :: V2 Int
- data DepthRange = DepthRange {}
- filterFragments :: (a -> FBool) -> FragmentStream a -> FragmentStream a
- withRasterizedInfo :: (a -> RasterizedInfo -> b) -> FragmentStream a -> FragmentStream b
- data RasterizedInfo = RasterizedInfo {}
The data type
data FragmentStream a Source #
A FragmentStream a 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).
Instances
| Functor FragmentStream Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Methods fmap :: (a -> b) -> FragmentStream a -> FragmentStream b # (<$) :: a -> FragmentStream b -> FragmentStream a # | |
| Semigroup (FragmentStream a) Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Methods (<>) :: FragmentStream a -> FragmentStream a -> FragmentStream a # sconcat :: NonEmpty (FragmentStream a) -> FragmentStream a # stimes :: Integral b => b -> FragmentStream a -> FragmentStream a # | |
| Monoid (FragmentStream a) Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Methods mempty :: FragmentStream a # mappend :: FragmentStream a -> FragmentStream a -> FragmentStream a # mconcat :: [FragmentStream a] -> FragmentStream a # | |
class FragmentInput a where Source #
This class constraints which vertex types can be turned into fragment values, and what type those values have.
Associated Types
type FragmentFormat a Source #
The type the vertex value will be turned into once it becomes a fragment value.
Methods
toFragment :: ToFragment a (FragmentFormat a) Source #
An arrow action that turns a value from it's vertex representation to it's fragment representation. Use toFragment from
the GPipe provided instances to operate in this arrow. Also note that this arrow needs to be able to return a value
lazily, so ensure you use
proc ~pattern -> do ....
Instances
data ToFragment a b Source #
The arrow type for toFragment.
Instances
| Arrow ToFragment Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Methods arr :: (b -> c) -> ToFragment b c # first :: ToFragment b c -> ToFragment (b, d) (c, d) # second :: ToFragment b c -> ToFragment (d, b) (d, c) # (***) :: ToFragment b c -> ToFragment b' c' -> ToFragment (b, b') (c, c') # (&&&) :: ToFragment b c -> ToFragment b c' -> ToFragment b (c, c') # | |
| Category ToFragment Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream | |
data FlatVFloat Source #
A float value that is not interpolated (like integers), and all fragments will instead get the value of the primitive's last vertex
Instances
| FragmentInput FlatVFloat Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat FlatVFloat :: Type Source # Methods toFragment :: ToFragment FlatVFloat (FragmentFormat FlatVFloat) Source # | |
| type FragmentFormat FlatVFloat Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream | |
data NoPerspectiveVFloat Source #
A float value that doesn't get divided by the interpolated position's w-component during interpolation.
Constructors
| NoPerspective VFloat |
Instances
| FragmentInput NoPerspectiveVFloat Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat NoPerspectiveVFloat :: Type Source # | |
| type FragmentFormat NoPerspectiveVFloat Source # | |
Defined in Graphics.GPipe.Internal.FragmentStream | |
Creating FragmentStreams
rasterize :: forall p a s os f. FragmentInput a => (s -> (Side, ViewPort, DepthRange)) -> PrimitiveStream p (VPos, a) -> Shader os s (FragmentStream (FragmentFormat a)) Source #
Rasterize a stream of primitives into fragments, using a Side, 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.
Defines which side to rasterize. Non triangle primitives only has a front side.
Constructors
| Front | |
| Back | |
| FrontAndBack |
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.
Constructors
| ViewPort | |
Fields
| |
data DepthRange Source #
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.
Constructors
| DepthRange | |
Various FragmentStream operations
filterFragments :: (a -> FBool) -> FragmentStream a -> FragmentStream a Source #
Filter out fragments from the stream where the predicate in the first argument evaluates to true, and discard all other fragments.
withRasterizedInfo :: (a -> RasterizedInfo -> b) -> FragmentStream a -> FragmentStream b Source #
Like fmap, but where various auto generated information from the rasterization is provided for each vertex.
data RasterizedInfo Source #
Constructors
| RasterizedInfo | |
Fields | |