InputTuple (Input a)
InputTuple (Input a, Input b)
InputTuple (Input a, Input b, Input c)
InputTuple (Input a, Input b, Input c, Input d)
InputTuple (Input a, Input b, Input c, Input d, Input e)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h, Input i)

data Input a whereSource

Constructors

IBool :: ByteString -> Input Bool
IV2B :: ByteString -> Input V2B
IV3B :: ByteString -> Input V3B
IV4B :: ByteString -> Input V4B
IWord :: ByteString -> Input Word32
IV2U :: ByteString -> Input V2U
IV3U :: ByteString -> Input V3U
IV4U :: ByteString -> Input V4U
IInt :: ByteString -> Input Int32
IV2I :: ByteString -> Input V2I
IV3I :: ByteString -> Input V3I
IV4I :: ByteString -> Input V4I
IFloat :: ByteString -> Input Float
IV2F :: ByteString -> Input V2F
IV3F :: ByteString -> Input V3F
IV4F :: ByteString -> Input V4F
IM22F :: ByteString -> Input M22F
IM23F :: ByteString -> Input M23F
IM24F :: ByteString -> Input M24F
IM32F :: ByteString -> Input M32F
IM33F :: ByteString -> Input M33F
IM34F :: ByteString -> Input M34F
IM42F :: ByteString -> Input M42F
IM43F :: ByteString -> Input M43F
IM44F :: ByteString -> Input M44F

Instances

InputTuple (Input a)
InputTuple (Input a, Input b)
InputTuple (Input a, Input b, Input c)
InputTuple (Input a, Input b, Input c, Input d)
InputTuple (Input a, Input b, Input c, Input d, Input e)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h)
InputTuple (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h, Input i)

toInput :: Input a -> (ByteString, InputType)Source

data PrimitiveType Source

Constructors

Triangle
Line
Point
TriangleAdjacency
LineAdjacency

data FetchPrimitive whereSource

Constructors

Points :: FetchPrimitive Point
Lines :: FetchPrimitive Line
Triangles :: FetchPrimitive Triangle
LinesAdjacency :: FetchPrimitive LineAdjacency
TrianglesAdjacency :: FetchPrimitive TriangleAdjacency

data OutputPrimitive whereSource

Constructors

TrianglesOutput :: OutputPrimitive Triangle
LinesOutput :: OutputPrimitive Line
PointsOutput :: OutputPrimitive Point

data Blending c whereSource

Constructors

NoBlending :: Blending c
BlendLogicOp :: IsIntegral c => LogicOperation -> Blending c
Blend :: (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> V4F -> Blending Float

blend :: Blending Float Source

data VertexStream primitive t Source

data PrimitiveStream primitive clipDistances layerCount freq t Source

data FragmentStream layerCount t Source

data ZZ Source

Constructors

ZZ

Instances

Show ZZ
IsColorOutput ZZ
IsFloatTuple ZZ

data tail :+: head Source

Constructors

!tail :+: !head

Instances

(Show tail, Show head) => Show (:+: tail head)
IsColorOutput a => IsValidOutput (:+: (Stencil s) (:+: (Depth d) a))
IsColorOutput a => IsValidOutput (:+: (Stencil s) a)
IsColorOutput a => IsValidOutput (:+: (Depth d) a)
IsColorOutput a => IsValidOutput (:+: (Color c) a)
IsColorOutput b => IsColorOutput (:+: (Color c) b)
IsFloatTuple l => IsFloatTuple (:+: Float l)

data FlatTuple c a t whereSource

Constructors

ZT :: FlatTuple c a ZZ
:. :: c t => a t -> FlatTuple c a t' -> FlatTuple c a (t :+: t')

class IsFloatTuple a Source

Instances

IsFloatTuple ZZ
IsFloatTuple l => IsFloatTuple (:+: Float l)

data Interpolated e a whereSource

Constructors

Flat :: e a -> Interpolated e a
Smooth :: IsFloating a => e a -> Interpolated e a
NoPerspective :: IsFloating a => e a -> Interpolated e a

data Color a Source

Instances

IsColorOutput a => IsValidOutput (:+: (Color c) a)
IsColorOutput b => IsColorOutput (:+: (Color c) b)

data Depth a Source

Instances

IsColorOutput a => IsValidOutput (:+: (Stencil s) (:+: (Depth d) a))
IsColorOutput a => IsValidOutput (:+: (Depth d) a)

data Stencil a Source

Instances

IsColorOutput a => IsValidOutput (:+: (Stencil s) (:+: (Depth d) a))
IsColorOutput a => IsValidOutput (:+: (Stencil s) a)

type family PrimitiveVertices primitive a Source

data RasterContext t whereSource

Constructors

PointCtx :: PointSize -> Float -> PointSpriteCoordOrigin -> RasterContext Point
Fields ctxPointSize :: PointSize ctxFadeThresholdSize :: Float ctxSpriteCoordOrigin :: PointSpriteCoordOrigin
LineCtx :: Float -> ProvokingVertex -> RasterContext Line
Fields ctxLineWidth :: Float ctxProvokingVertex' :: ProvokingVertex
TriangleCtx :: CullMode -> PolygonMode -> PolygonOffset -> ProvokingVertex -> RasterContext Triangle
Fields ctxCullMode :: CullMode ctxPolygonMode :: PolygonMode ctxPolygonOffset :: PolygonOffset ctxProvokingVertex :: ProvokingVertex

triangleCtx :: RasterContext Triangle Source

class NoConstraint a Source

Instances

NoConstraint a

type FrameBuffer layerCount t = FlatTuple NoConstraint (Image layerCount) tSource

data AccumulationContext t Source

Constructors

AccumulationContext
Fields accViewportName :: Maybe ByteString accOperations :: FlatTuple NoConstraint FragmentOperation t

data FragmentOperation ty whereSource

Constructors

DepthOp :: DepthFunction -> Bool -> FragmentOperation (Depth Float)
StencilOp :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation (Stencil Int32)
ColorOp :: (IsVecScalar d mask Bool, IsVecScalar d color c, IsNum c, IsScalar mask) => Blending c -> mask -> FragmentOperation (Color color)

data Image layerCount t whereSource

Constructors

DepthImage :: SingI layerCount => NatNum layerCount -> Float -> Image layerCount (Depth Float)
StencilImage :: SingI layerCount => NatNum layerCount -> Int32 -> Image layerCount (Stencil Int32)
ColorImage :: (IsNum t, IsVecScalar d color t, IsScalar color, SingI layerCount) => NatNum layerCount -> color -> Image layerCount (Color color)

class IsColorOutput a Source

Instances

IsColorOutput ZZ
IsColorOutput b => IsColorOutput (:+: (Color c) b)

class IsValidOutput a Source

Instances

IsColorOutput a => IsValidOutput (:+: (Stencil s) (:+: (Depth d) a))
IsColorOutput a => IsValidOutput (:+: (Stencil s) a)
IsColorOutput a => IsValidOutput (:+: (Depth d) a)
IsColorOutput a => IsValidOutput (:+: (Color c) a)

type family FTRepr a :: *Source

type family FTRepr' a :: *Source

type family ColorRepr a :: *Source

type family NoStencilRepr a :: *Source

data TextureMipMap Source

Constructors

TexMip
TexNoMip

data MipMap t whereSource

Constructors

NoMip :: MipMap TexNoMip
Mip :: Int -> Int -> MipMap TexMip
AutoMip :: Int -> Int -> MipMap TexMip

type family TexDataRepr arity t Source

data TextureDataType kind arity whereSource

Constructors

Float :: IsColorArity a => a -> TextureDataType (Regular Float) a
Int :: IsColorArity a => a -> TextureDataType (Regular Int) a
Word :: IsColorArity a => a -> TextureDataType (Regular Word) a
Shadow :: TextureDataType (Shadow Float) Red

type family TexArrRepr a :: TextureArray Source

class IsColorArity a whereSource

Methods

toColorArity :: a -> ColorArity Source

Instances

IsColorArity RGBA
IsColorArity RGB
IsColorArity RG
IsColorArity Red

data TextureType whereSource

Constructors

Texture1D :: SingI layerCount => TextureDataType t ar -> NatNum layerCount -> TextureType Tex1D TexMip (TexArrRepr layerCount) layerCount t ar
Texture2D :: SingI layerCount => TextureDataType t ar -> NatNum layerCount -> TextureType Tex2D TexMip (TexArrRepr layerCount) layerCount t ar
Texture3D :: TextureDataType (Regular t) ar -> TextureType Tex3D TexMip SingleTex 1 (Regular t) ar
TextureCube :: TextureDataType t ar -> TextureType Tex2D TexMip CubeTex 6 t ar
TextureRect :: TextureDataType t ar -> TextureType TexRect TexNoMip SingleTex 1 t ar
Texture2DMS :: SingI layerCount => TextureDataType (Regular t) ar -> NatNum layerCount -> TextureType Tex2D TexNoMip (TexArrRepr layerCount) layerCount (MultiSample t) ar
TextureBuffer :: TextureDataType (Regular t) ar -> TextureType Tex1D TexNoMip SingleTex 1 (Buffer t) ar

data Texture gp dim arr t ar whereSource

Constructors

TextureSlot :: IsValidTextureSlot t => ByteString -> TextureType dim mip arr layerCount t ar -> Texture gp dim arr t ar
Texture :: (IsScalar (TexSizeRepr dim), IsMipValid canMip mip) => TextureType dim canMip arr layerCount t ar -> TexSizeRepr dim -> MipMap mip -> [gp (Image layerCount (TexDataRepr ar t))] -> Texture gp dim arr t ar

class IsMipValid canMip mip Source

Instances

IsMipValid TexNoMip TexNoMip
IsMipValid TexMip TexNoMip
IsMipValid TexMip TexMip

class IsValidTextureSlot a Source

Instances

IsValidTextureSlot (Buffer * a)
IsValidTextureSlot (Shadow * a)
IsValidTextureSlot (Regular * a)

type family TexSizeRepr a Source

data Frequency Source

Constructors

Obj
V
G
F

data OutputType Source

Constructors

SingleOutput
MultiOutput