Gelatin.Picture.Internal

Documentation

newtype VerticesT a m b

A monad transformer for defining geometry.

Constructors

Vertices

Fields

• unVertices :: StateT (Vector a) m b

Instances

MonadTrans (VerticesT a)

Methods

lift :: Monad m => m a -> VerticesT a m a

Monad m => Monad (VerticesT a m)

Methods

(>>=) :: VerticesT a m a -> (a -> VerticesT a m b) -> VerticesT a m b

(>>) :: VerticesT a m a -> VerticesT a m b -> VerticesT a m b

return :: a -> VerticesT a m a

fail :: String -> VerticesT a m a

Functor m => Functor (VerticesT a m)

Methods

fmap :: (a -> b) -> VerticesT a m a -> VerticesT a m b

(<$) :: a -> VerticesT a m b -> VerticesT a m a

Monad m => Applicative (VerticesT a m)

Methods

pure :: a -> VerticesT a m a

(<*>) :: VerticesT a m (a -> b) -> VerticesT a m a -> VerticesT a m b

(*>) :: VerticesT a m a -> VerticesT a m b -> VerticesT a m b

(<*) :: VerticesT a m a -> VerticesT a m b -> VerticesT a m a

MonadIO m => MonadIO (VerticesT a m)

Methods

liftIO :: IO a -> VerticesT a m a

type Vertices a = VerticesT a Identity ()

A pure context for defining geometry. This is VerticesT parameterized over Identity.

snoc3 :: Unbox a => Vector a -> a -> a -> a -> Vector a

Append three elements to a Vector. O(n + 3)

tri :: (Monad m, Unbox a) => a -> a -> a -> VerticesT a m ()

Add a triangle of vertices.

bez :: (Monad m, Unbox a) => a -> a -> a -> VerticesT a m ()

Add a bezier of vertices. This is an alias of tri but looks better in the context of drawing beziers.

to :: (Monad m, Unbox a) => a -> VerticesT a m ()

Add one vertex.

segment :: (Monad m, Unbox a) => a -> a -> VerticesT a m ()

Add two vertices.

addVertexList :: (Monad m, Unbox a) => [a] -> VerticesT a m ()

Add vertices from a list.

runVerticesT :: (Monad m, Unbox a) => VerticesT a m b -> m (Vector a)

Extract the raw Vector of vertices monadically.

runVertices :: Unbox a => Vertices a -> Vector a

Extract the raw Vector of vertices.

mapVertices :: (Monad m, Unbox a, Unbox c) => (a -> c) -> VerticesT a m b -> VerticesT c m ()

Map all the vertices in the computation.

data RawGeometry a

Mixed drawing types roughly corresponding to OpenGL's draw modes.

Constructors

RawTriangles (Vector a)

A collection of points known to be triangles.

RawBeziers (Vector a)

A collection of points known to be beziers.

RawTriangleStrip (Vector a)

A collection of points known to be a triangle strip.

RawTriangleFan (Vector a)

A collection of points known to be a triangle fan.

RawLine (Vector a)

A collection of points known to be a polyline. *Note* that in the future polylines will be expressed in terms of the other constructors.

mapRawGeometry :: (Unbox a, Unbox b) => (a -> b) -> RawGeometry a -> RawGeometry b

Map all the vertices within a RawGeometry.

newtype GeometryT a m b

A monad transformer for defining collections of geometries, specifically mixed collections of triangles, beziers, strips, fans and polylines.

Constructors

Geometry

Fields

• unGeometry :: StateT (Vector (RawGeometry a)) m b

Instances

MonadTrans (GeometryT a)

Methods

lift :: Monad m => m a -> GeometryT a m a

Monad m => Monad (GeometryT a m)

Methods

(>>=) :: GeometryT a m a -> (a -> GeometryT a m b) -> GeometryT a m b

(>>) :: GeometryT a m a -> GeometryT a m b -> GeometryT a m b

return :: a -> GeometryT a m a

fail :: String -> GeometryT a m a

Functor m => Functor (GeometryT a m)

Methods

fmap :: (a -> b) -> GeometryT a m a -> GeometryT a m b

(<$) :: a -> GeometryT a m b -> GeometryT a m a

Monad m => Applicative (GeometryT a m)

Methods

pure :: a -> GeometryT a m a

(<*>) :: GeometryT a m (a -> b) -> GeometryT a m a -> GeometryT a m b

(*>) :: GeometryT a m a -> GeometryT a m b -> GeometryT a m b

(<*) :: GeometryT a m a -> GeometryT a m b -> GeometryT a m a

MonadIO m => MonadIO (GeometryT a m)

Methods

liftIO :: IO a -> GeometryT a m a

type Geometry a = GeometryT a Identity ()

A pure context for defining collections of geometry.

add :: Monad m => RawGeometry a -> StateT (Vector (RawGeometry a)) m ()

Add some geometry.

triangles :: (Unbox a, Monad m) => VerticesT a m () -> GeometryT a m ()

Define and add some triangles.

beziers :: (Monad m, Unbox a) => VerticesT a m () -> GeometryT a m ()

Define and add some beziers.

strip :: (Monad m, Unbox a) => VerticesT a m () -> GeometryT a m ()

Define and add a triangle strip.

fan :: (Monad m, Unbox a) => VerticesT a m () -> GeometryT a m ()

Define and add a triangle fan.

line :: (Monad m, Unbox a) => VerticesT a m () -> GeometryT a m ()

Define and add a polyline.

runGeometryT :: Monad m => GeometryT a m b -> m (Vector (RawGeometry a))

Extract the raw Vector of geometries monadically.

runGeometry :: Geometry a -> Vector (RawGeometry a)

Extract the raw Vector of geometries.

mapGeometry :: (Monad m, Unbox a, Unbox c) => (a -> c) -> GeometryT a m b -> GeometryT c m ()

Map all the vertices within all geometries in the computation.

vertexData :: RawGeometry v -> Vector v

Extract only the raw Vector of vertices within the geometry.

data RenderingOption

Some special rendering options. Not much to see here.

Constructors

StencilMaskOption

data PictureData texture vertex

Underlying picture data used to accumulate a visible picture.

Constructors

PictureData

Fields

• _picDataGeometry :: Vector (RawGeometry vertex)

  This picture's vertex data.

• _picDataStroke :: [StrokeAttr]

  The stroke attributes to use for drawing lines.

• _picDataTextures :: [texture]

  All the textures needed to render this picture's vertex data.

• _picDataOptions :: [RenderingOption]

  Any special drawing options to apply when rendering this picture.

picDataTextures :: forall texture vertex texture. Lens (PictureData texture vertex) (PictureData texture vertex) [texture] [texture]

picDataStroke :: forall texture vertex. Lens' (PictureData texture vertex) [StrokeAttr]

picDataOptions :: forall texture vertex. Lens' (PictureData texture vertex) [RenderingOption]

picDataGeometry :: forall texture vertex vertex. Lens (PictureData texture vertex) (PictureData texture vertex) (Vector (RawGeometry vertex)) (Vector (RawGeometry vertex))

emptyPictureData :: PictureData t v

The empty PictureData.

bothToFrac :: (Real a, Fractional b) => (V2 a, V2 a) -> (V2 b, V2 b)

Map realToFrac over both.

type PictureT tex vert = StateT (PictureData tex vert)

A monad transformer computation that defines a picture.

runPictureT :: PictureT t v m a -> m (a, PictureData t v)

Extract the result and PictureData from a PictureT computation.

type Picture t v = PictureT t v Identity

PictureT parameterized over Identity.

runPicture :: Picture t v a -> (a, PictureData t v)

Extract the result and PictureData of a pure Picture computation.

setRawGeometry :: Monad m => Vector (RawGeometry v) -> PictureT t v m ()

Set the geometries of the PictureT with a Vector explicitly.

getRawGeometry :: Monad m => PictureT t v m (Vector (RawGeometry v))

Extract the current geometries of the PictureT as a Vector.

setGeometry :: Monad m => GeometryT v m () -> PictureT t v m ()

Define and set the geometries of the PictureT.

setStroke :: Monad m => [StrokeAttr] -> PictureT t v m ()

Set the stroke attributes of the PictureT.

getStroke :: Monad m => PictureT t v m [StrokeAttr]

Get the current stroke attributes of the PictureT.

setTextures :: Monad m => [t] -> PictureT t v m ()

Set the textures contained within the PictureT. These textures [t] are backend dependent.

getTextures :: Monad m => PictureT t v m [t]

Get the current textures within the PictureT.

setRenderingOptions :: Monad m => [RenderingOption] -> PictureT t v m ()

Set any special rendering options. Nothing to see here.

getRenderingOptions :: Monad m => PictureT t v m [RenderingOption]

Get any special rendering options. Nothing to see here.

mapPictureVertices :: (Monad m, Unbox v, Unbox s) => (v -> s) -> PictureT t v m (Vector s)

Evaluates the current geometry in the PictureT, mapping each vertex.

pictureBounds2 :: (Monad m, Unbox v) => (v -> V2 Float) -> PictureT t v m (V2 Float, V2 Float)

Determines the bounds of a PictureT defined in 2d space.

pictureBounds3 :: (Monad m, Unbox v) => (v -> V3 Float) -> PictureT t v m BCube

Determines the bounds of a PictureT defined in 3d space.

pictureSize2 :: (Monad m, Unbox v) => (v -> V2 Float) -> PictureT t v m (V2 Float)

Determines the size of a PictureT defined in 2d space.

pictureSize3 :: (Monad m, Unbox v) => (v -> V3 Float) -> PictureT t v m (V3 Float)

Determines the size of a PictureT defined in 3d space.

pictureOrigin2 :: (Monad m, Unbox v) => (v -> V2 Float) -> PictureT t v m (V2 Float)

Determines the origin of a PictureT defined in 2d space.

pictureOrigin3 :: (Monad m, Unbox v) => (v -> V3 Float) -> PictureT t v m (V3 Float)

Determines the origin of a PictureT defined in 3d space.

pictureCenter2 :: (Monad m, Unbox v) => (v -> V2 Float) -> PictureT t v m (V2 Float)

Determines the center point of a PictureT defined in 2d space.

pictureCenter3 :: (Monad m, Unbox v) => (v -> V3 Float) -> PictureT t v m (V3 Float)

Determines the center point of a PictureT defined in 3d space.