LC_T_DSLType

Synopsis

• data TextureShape
  • = Tex1D
  • | Tex2D
  • | Tex3D
  • | TexRect
• data Red = Red
• data RG = RG
• data RGB = RGB
• data RGBA = RGBA
• data TextureSemantics a
  • = Regular a
  • | Shadow a
  • | MultiSample a
  • | Buffer a
• data TextureArray
  • = SingleTex
  • | ArrayTex
  • | CubeTex
• data Sampler
• class GPU a => IsScalar a where
  • toValue :: a -> Value
  • toType :: a -> InputType
• class Show a => GPU a where
  • tupleType :: a -> Ty
• class GPU a => SGPU a
• type family EltRepr a :: *
• type family EltRepr' a :: *
• class IsTuple tup where
  • type TupleRepr tup
• data Tuple c t where
  • NilTup :: Tuple c ()
  • SnocTup :: GPU t => Tuple c s -> c t -> Tuple c (s, t)
• data TupleIdx t e where
  • ZeroTupIdx :: GPU s => TupleIdx (t, s) s
  • SuccTupIdx :: TupleIdx t e -> TupleIdx (t, s) e
• tix0 :: GPU s => TupleIdx (t, s) s
• tix1 :: GPU s => TupleIdx ((t, s), s1) s
• tix2 :: GPU s => TupleIdx (((t, s), s1), s2) s
• tix3 :: GPU s => TupleIdx ((((t, s), s1), s2), s3) s
• tix4 :: GPU s => TupleIdx (((((t, s), s1), s2), s3), s4) s
• tix5 :: GPU s => TupleIdx ((((((t, s), s1), s2), s3), s4), s5) s
• tix6 :: GPU s => TupleIdx (((((((t, s), s1), s2), s3), s4), s5), s6) s
• tix7 :: GPU s => TupleIdx ((((((((t, s), s1), s2), s3), s4), s5), s6), s7) s
• tix8 :: GPU s => TupleIdx (((((((((t, s), s1), s2), s3), s4), s5), s6), s7), s8) s

Documentation