LambdaCube.Language.Type

Documentation

data NatNum :: Nat -> * where

Constructors

N0 :: NatNum 0

N1 :: NatNum 1

N2 :: NatNum 2

N3 :: NatNum 3

N4 :: NatNum 4

N5 :: NatNum 5

N6 :: NatNum 6

N7 :: NatNum 7

N8 :: NatNum 8

N9 :: NatNum 9

Instances

Typeable (Nat -> *) NatNum

n0 :: NatNum 0

n1 :: NatNum 1

n2 :: NatNum 2

n3 :: NatNum 3

n4 :: NatNum 4

n5 :: NatNum 5

n6 :: NatNum 6

n7 :: NatNum 7

n8 :: NatNum 8

n9 :: NatNum 9

class InputTuple tup where

Associated Types

type InputTupleRepr tup

Methods

toInputList :: tup -> [(ByteString, InputType)]

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)

data Input a where

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)

type InputTupleRepr (Input a) = a

type InputTupleRepr (Input a, Input b) = (a, b)

type InputTupleRepr (Input a, Input b, Input c) = (a, b, c)

type InputTupleRepr (Input a, Input b, Input c, Input d) = (a, b, c, d)

type InputTupleRepr (Input a, Input b, Input c, Input d, Input e) = (a, b, c, d, e)

type InputTupleRepr (Input a, Input b, Input c, Input d, Input e, Input f) = (a, b, c, d, e, f)

type InputTupleRepr (Input a, Input b, Input c, Input d, Input e, Input f, Input g) = (a, b, c, d, e, f, g)

type InputTupleRepr (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h) = (a, b, c, d, e, f, g, h)

type InputTupleRepr (Input a, Input b, Input c, Input d, Input e, Input f, Input g, Input h, Input i) = (a, b, c, d, e, f, g, h, i)

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

data PrimitiveType

Constructors

Triangle

Line

Point

TriangleAdjacency

LineAdjacency

data FetchPrimitive :: PrimitiveType -> * where

Constructors

Points :: FetchPrimitive Point

Lines :: FetchPrimitive Line

Triangles :: FetchPrimitive Triangle

LinesAdjacency :: FetchPrimitive LineAdjacency

TrianglesAdjacency :: FetchPrimitive TriangleAdjacency

data OutputPrimitive :: PrimitiveType -> * where

Constructors

TrianglesOutput :: OutputPrimitive Triangle

LinesOutput :: OutputPrimitive Line

PointsOutput :: OutputPrimitive Point

data Blending c where

Constructors

NoBlending :: Blending c

BlendLogicOp :: IsIntegral c => LogicOperation -> Blending c

Blend :: (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> V4F -> Blending Float

blend :: Blending Float

data VertexStream primitive t

data PrimitiveStream primitive clipDistances layerCount freq t

data FragmentStream layerCount t

data ZZ

Constructors

ZZ

Instances

Show ZZ

Typeable * ZZ

IsColorOutput * ZZ

IsFloatTuple * ZZ

type NoStencilRepr ZZ = ZZ

type ColorRepr ZZ = ZZ

type FTRepr ZZ = ()

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ((:+:) (i9 i) ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ZZ)))))) = (a, b, c, d, e, f)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ZZ))))) = (a, b, c, d, e)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ZZ)))) = (a, b, c, d)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ZZ))) = (a, b, c)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ZZ)) = (a, b)

type FTRepr' ((:+:) (i1 a) ZZ) = a

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ((:+:) i ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ZZ)))))) = (a, b, c, d, e, f)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ZZ))))) = (a, b, c, d, e)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ZZ)))) = (a, b, c, d)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ZZ))) = (a, b, c)

type FTRepr ((:+:) a ((:+:) b ZZ)) = (a, b)

type FTRepr ((:+:) a ZZ) = a

data tail :+: head infixr 1

Constructors

!tail :+: !head infixr 1

Instances

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

IsColorOutput * a => IsValidOutput * ((:+:) (Stencil k s) a)

IsColorOutput * a => IsValidOutput * ((:+:) (Depth k d) a)

IsColorOutput * a => IsValidOutput * ((:+:) (Color k c) a)

IsColorOutput * b => IsColorOutput * ((:+:) (Color k c) b)

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

(Show tail, Show head) => Show ((:+:) tail head)

Typeable (* -> * -> *) (:+:)

type NoStencilRepr ((:+:) (Stencil k a) b) = NoStencilRepr b

type NoStencilRepr ((:+:) (Depth k a) b) = (:+:) (Depth k a) (NoStencilRepr b)

type NoStencilRepr ((:+:) (Color k a) b) = (:+:) (Color k a) (NoStencilRepr b)

type ColorRepr ((:+:) a b) = (:+:) (Color * a) (ColorRepr b)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ((:+:) (i9 i) ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ZZ)))))) = (a, b, c, d, e, f)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ZZ))))) = (a, b, c, d, e)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ZZ)))) = (a, b, c, d)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ZZ))) = (a, b, c)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ZZ)) = (a, b)

type FTRepr' ((:+:) (i1 a) ZZ) = a

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ((:+:) i ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ZZ)))))) = (a, b, c, d, e, f)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ZZ))))) = (a, b, c, d, e)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ZZ)))) = (a, b, c, d)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ZZ))) = (a, b, c)

type FTRepr ((:+:) a ((:+:) b ZZ)) = (a, b)

type FTRepr ((:+:) a ZZ) = a

data FlatTuple c a t where

Constructors

ZT :: FlatTuple c a ZZ

(:.) :: c t => a t -> FlatTuple c a t' -> FlatTuple c a (t :+: t') infixr 1

class IsFloatTuple a

Instances

IsFloatTuple * ZZ

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

data Interpolated e a where

Constructors

Flat :: e a -> Interpolated e a

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

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

Instances

Typeable ((k -> *) -> k -> *) (Interpolated k)

data Color a

Instances

IsColorOutput * a => IsValidOutput * ((:+:) (Color k c) a)

IsColorOutput * b => IsColorOutput * ((:+:) (Color k c) b)

Typeable (k -> *) (Color k)

type NoStencilRepr ((:+:) (Color k a) b) = (:+:) (Color k a) (NoStencilRepr b)

data Depth a

Instances

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

IsColorOutput * a => IsValidOutput * ((:+:) (Depth k d) a)

Typeable (k -> *) (Depth k)

type NoStencilRepr ((:+:) (Depth k a) b) = (:+:) (Depth k a) (NoStencilRepr b)

data Stencil a

Instances

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

IsColorOutput * a => IsValidOutput * ((:+:) (Stencil k s) a)

Typeable (k -> *) (Stencil k)

type NoStencilRepr ((:+:) (Stencil k a) b) = NoStencilRepr b

type family PrimitiveVertices primitive a

Instances

type PrimitiveVertices LineAdjacency a = (a, a, a, a)

type PrimitiveVertices TriangleAdjacency a = (a, a, a, a, a, a)

type PrimitiveVertices Point a = a

type PrimitiveVertices Line a = (a, a)

type PrimitiveVertices Triangle a = (a, a, a)

data RasterContext t where

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

class NoConstraint a

Instances

NoConstraint k a

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

data FragmentOperation ty where

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 where

Constructors

DepthImage :: KnownNat layerCount => NatNum layerCount -> Float -> Image layerCount (Depth Float)

StencilImage :: KnownNat layerCount => NatNum layerCount -> Int32 -> Image layerCount (Stencil Int32)

ColorImage :: (IsNum t, IsVecScalar d color t, IsScalar color, KnownNat layerCount) => NatNum layerCount -> color -> Image layerCount (Color color)

UnclearedImage :: (IsNum t, IsVecScalar d color t, IsScalar color, KnownNat layerCount) => NatNum layerCount -> Image layerCount (Color color)

Instances

Typeable (Nat -> * -> *) Image

class IsColorOutput a

Instances

IsColorOutput * ZZ

IsColorOutput * b => IsColorOutput * ((:+:) (Color k c) b)

class IsValidOutput a

Instances

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

IsColorOutput * a => IsValidOutput * ((:+:) (Stencil k s) a)

IsColorOutput * a => IsValidOutput * ((:+:) (Depth k d) a)

IsColorOutput * a => IsValidOutput * ((:+:) (Color k c) a)

type family FTRepr a :: *

Instances

type FTRepr ZZ = ()

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ((:+:) i ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ((:+:) h ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ((:+:) g ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ((:+:) f ZZ)))))) = (a, b, c, d, e, f)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ((:+:) e ZZ))))) = (a, b, c, d, e)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ((:+:) d ZZ)))) = (a, b, c, d)

type FTRepr ((:+:) a ((:+:) b ((:+:) c ZZ))) = (a, b, c)

type FTRepr ((:+:) a ((:+:) b ZZ)) = (a, b)

type FTRepr ((:+:) a ZZ) = a

type family FTRepr' a :: *

Instances

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ((:+:) (i9 i) ZZ))))))))) = (a, b, c, d, e, f, g, h, i)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ((:+:) (i8 h) ZZ)))))))) = (a, b, c, d, e, f, g, h)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ((:+:) (i7 g) ZZ))))))) = (a, b, c, d, e, f, g)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ((:+:) (i6 f) ZZ)))))) = (a, b, c, d, e, f)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ((:+:) (i5 e) ZZ))))) = (a, b, c, d, e)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ((:+:) (i4 d) ZZ)))) = (a, b, c, d)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ((:+:) (i3 c) ZZ))) = (a, b, c)

type FTRepr' ((:+:) (i1 a) ((:+:) (i2 b) ZZ)) = (a, b)

type FTRepr' ((:+:) (i1 a) ZZ) = a

type family ColorRepr a :: *

Instances

type ColorRepr ZZ = ZZ

type ColorRepr ((:+:) a b) = (:+:) (Color * a) (ColorRepr b)

type family NoStencilRepr a :: *

Instances

type NoStencilRepr ZZ = ZZ

type NoStencilRepr ((:+:) (Stencil k a) b) = NoStencilRepr b

type NoStencilRepr ((:+:) (Depth k a) b) = (:+:) (Depth k a) (NoStencilRepr b)

type NoStencilRepr ((:+:) (Color k a) b) = (:+:) (Color k a) (NoStencilRepr b)

data TextureMipMap

Constructors

TexMip

TexNoMip

Instances

Typeable TextureMipMap TexNoMip

Typeable TextureMipMap TexMip

Typeable (TextureShape -> TextureMipMap -> TextureArray -> Nat -> TextureSemantics * -> * -> *) TextureType

Typeable (TextureMipMap -> *) MipMap

data MipMap t where

Constructors

NoMip :: MipMap TexNoMip

Mip :: Int -> Int -> MipMap TexMip

AutoMip :: Int -> Int -> MipMap TexMip

Instances

Typeable (TextureMipMap -> *) MipMap

type family TexDataRepr arity t

Instances

type TexDataRepr RGBA (v a) = V4 a

type TexDataRepr RGB (v a) = V3 a

type TexDataRepr RG (v a) = V2 a

type TexDataRepr Red (v a) = a

data TextureDataType kind arity where

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

Instances

Typeable (TextureSemantics * -> * -> *) TextureDataType

type family TexArrRepr a :: TextureArray

Instances

type TexArrRepr 1 = SingleTex

type TexArrRepr 2 = ArrayTex

type TexArrRepr 3 = ArrayTex

type TexArrRepr 4 = ArrayTex

type TexArrRepr 5 = ArrayTex

type TexArrRepr 6 = ArrayTex

type TexArrRepr 7 = ArrayTex

type TexArrRepr 8 = ArrayTex

type TexArrRepr 9 = ArrayTex

class IsColorArity a where

Methods

toColorArity :: a -> ColorArity

Instances

IsColorArity RGBA

IsColorArity RGB

IsColorArity RG

IsColorArity Red

data TextureType :: TextureShape -> TextureMipMap -> TextureArray -> Nat -> TextureSemantics * -> * -> * where

Constructors

Texture1D :: KnownNat layerCount => TextureDataType t ar -> NatNum layerCount -> TextureType Tex1D TexMip (TexArrRepr layerCount) layerCount t ar

Texture2D :: KnownNat 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 :: KnownNat 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

Instances

Typeable (TextureShape -> TextureMipMap -> TextureArray -> Nat -> TextureSemantics * -> * -> *) TextureType

data Texture dim arr t ar

Instances

Typeable (TextureShape -> TextureArray -> TextureSemantics * -> k -> *) (Texture k)

class IsMipValid canMip mip

Instances

IsMipValid TexNoMip TexNoMip

IsMipValid TexMip TexNoMip

IsMipValid TexMip TexMip

class IsValidTextureSlot a

Instances

IsValidTextureSlot (Buffer * a)

IsValidTextureSlot (Shadow * a)

IsValidTextureSlot (Regular * a)

type family TexSizeRepr a

Instances

type TexSizeRepr TexRect = V2U

type TexSizeRepr Tex3D = V3U

type TexSizeRepr Tex2D = V2U

type TexSizeRepr Tex1D = Word32

data Frequency

Constructors

Obj

V

G

F

Instances

Typeable Frequency F

Typeable Frequency G

Typeable Frequency V

Typeable Frequency Obj

data OutputType

Constructors

SingleOutput

MultiOutput

Instances

Typeable OutputType MultiOutput

Typeable OutputType SingleOutput

class IsVec dim vec component | vec -> dim component, dim component -> vec

Instances

IsVec * * 2 (V2 Bool) Bool

IsVec * * 2 (V2 Float) Float

IsVec * * 2 (V2 Int32) Int32

IsVec * * 2 (V2 Word32) Word32

IsVec * * 3 (V3 Bool) Bool

IsVec * * 3 (V3 Float) Float

IsVec * * 3 (V3 Int32) Int32

IsVec * * 3 (V3 Word32) Word32

IsVec * * 4 (V4 Bool) Bool

IsVec * * 4 (V4 Float) Float

IsVec * * 4 (V4 Int32) Int32

IsVec * * 4 (V4 Word32) Word32

class IsVecScalar dim vec component | vec -> dim component, dim component -> vec

Instances

IsVecScalar * * 1 Bool Bool

IsVecScalar * * 1 Float Float

IsVecScalar * * 1 Int32 Int32

IsVecScalar * * 1 Word32 Word32

IsVecScalar * * 2 (V2 Bool) Bool

IsVecScalar * * 2 (V2 Float) Float

IsVecScalar * * 2 (V2 Int32) Int32

IsVecScalar * * 2 (V2 Word32) Word32

IsVecScalar * * 3 (V3 Bool) Bool

IsVecScalar * * 3 (V3 Float) Float

IsVecScalar * * 3 (V3 Int32) Int32

IsVecScalar * * 3 (V3 Word32) Word32

IsVecScalar * * 4 (V4 Bool) Bool

IsVecScalar * * 4 (V4 Float) Float

IsVecScalar * * 4 (V4 Int32) Int32

IsVecScalar * * 4 (V4 Word32) Word32

class IsMat mat h w | mat -> h w

Instances

IsMat * * * M22F V2F V2F

IsMat * * * M23F V2F V3F

IsMat * * * M24F V2F V4F

IsMat * * * M32F V3F V2F

IsMat * * * M33F V3F V3F

IsMat * * * M34F V3F V4F

IsMat * * * M42F V4F V2F

IsMat * * * M43F V4F V3F

IsMat * * * M44F V4F V4F

class IsMatVecScalar a t | a -> t

Instances

IsMatVecScalar * * Bool Bool

IsMatVecScalar * * Float Float

IsMatVecScalar * * Int32 Int32

IsMatVecScalar * * Word32 Word32

IsMatVecScalar * * M22F Float

IsMatVecScalar * * M23F Float

IsMatVecScalar * * M24F Float

IsMatVecScalar * * M32F Float

IsMatVecScalar * * M33F Float

IsMatVecScalar * * M34F Float

IsMatVecScalar * * M42F Float

IsMatVecScalar * * M43F Float

IsMatVecScalar * * M44F Float

IsMatVecScalar * * (V2 Bool) Bool

IsMatVecScalar * * (V2 Float) Float

IsMatVecScalar * * (V2 Int32) Int32

IsMatVecScalar * * (V2 Word32) Word32

IsMatVecScalar * * (V3 Bool) Bool

IsMatVecScalar * * (V3 Float) Float

IsMatVecScalar * * (V3 Int32) Int32

IsMatVecScalar * * (V3 Word32) Word32

IsMatVecScalar * * (V4 Bool) Bool

IsMatVecScalar * * (V4 Float) Float

IsMatVecScalar * * (V4 Int32) Int32

IsMatVecScalar * * (V4 Word32) Word32

class IsMatVec a t | a -> t

Instances

IsMatVec * * M22F Float

IsMatVec * * M23F Float

IsMatVec * * M24F Float

IsMatVec * * M32F Float

IsMatVec * * M33F Float

IsMatVec * * M34F Float

IsMatVec * * M42F Float

IsMatVec * * M43F Float

IsMatVec * * M44F Float

IsMatVec * * (V2 Bool) Bool

IsMatVec * * (V2 Float) Float

IsMatVec * * (V2 Int32) Int32

IsMatVec * * (V2 Word32) Word32

IsMatVec * * (V3 Bool) Bool

IsMatVec * * (V3 Float) Float

IsMatVec * * (V3 Int32) Int32

IsMatVec * * (V3 Word32) Word32

IsMatVec * * (V4 Bool) Bool

IsMatVec * * (V4 Float) Float

IsMatVec * * (V4 Int32) Int32

IsMatVec * * (V4 Word32) Word32

class IsComponent a

Instances

IsComponent * Bool

IsComponent * Float

IsComponent * Int32

IsComponent * Word32

IsComponent * V2F

IsComponent * V3F

IsComponent * V4F

class IsNumComponent a

Instances

IsNumComponent * Float

IsNumComponent * Int32

IsNumComponent * Word32

IsNumComponent * V2F

IsNumComponent * V3F

IsNumComponent * V4F

class IsSigned a

Instances

IsSigned * Float

IsSigned * Int

class Real a => IsNum a

Instances

IsNum Float

IsNum Int32

IsNum Word32

class IsIntegral a

Instances

IsIntegral * Int32

IsIntegral * Word32

class IsFloating a

Instances

IsFloating * Float

IsFloating * M22F

IsFloating * M23F

IsFloating * M24F

IsFloating * M32F

IsFloating * M33F

IsFloating * M34F

IsFloating * M42F

IsFloating * M43F

IsFloating * M44F

IsFloating * V2F

IsFloating * V3F

IsFloating * V4F