Gelatin.Picture.Internal

Documentation

newtype VerticesT a m b

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 ()

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

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

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

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

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

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

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

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

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

data RawGeometry a

Constructors

RawTriangles (Vector a)

RawBeziers (Vector a)

RawTriangleStrip (Vector a)

RawTriangleFan (Vector a)

RawLine (Vector a)

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

newtype GeometryT a m b

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 ()

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

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

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

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

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

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

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

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

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

vertexData :: RawGeometry v -> Vector v

data RenderingOption

Constructors

StencilMaskOption

data PictureData texture vertex

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

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

type PictureT tex vert = StateT (PictureData tex vert)

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

type Picture t v = PictureT t v Identity

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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