Graphics.Gl.Block

OpenGL std140 and std430 support

Documentation

class Block b where

This describes how to load and store primitives through a uniform/shader storage blocks according to OpenGL Std140 and Std430.

There are lots of fiddly little constants around, beware.

Minimal complete definition

Nothing

Associated Types

type PackedSize b :: Nat

type PackedSize b = GPackedSize (Rep b)

Methods

alignment140 :: proxy b -> Int

As per Storable alignment, but matching OpenGL Std140.

default alignment140 :: GBlock (Rep b) => proxy b -> Int

sizeOf140 :: proxy b -> Int

As per Storable sizeOf, but matching OpenGL Std140.

default sizeOf140 :: GBlock (Rep b) => proxy b -> Int

isStruct :: proxy b -> Bool

Structures get smashed up to a minimum of a vec4 alignment in 140 mode

read140 :: MonadIO m => Ptr a -> Diff a b -> m b

default read140 :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> m b

write140 :: MonadIO m => Ptr a -> Diff a b -> b -> m ()

default write140 :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> b -> m ()

alignment430 :: proxy b -> Int

As per Storable alignment, but matching OpenGL Std430.

default alignment430 :: GBlock (Rep b) => proxy b -> Int

sizeOf430 :: proxy b -> Int

As per Storable sizeOf, but matching OpenGL Std430.

default sizeOf430 :: GBlock (Rep b) => proxy b -> Int

read430 :: MonadIO m => Ptr a -> Diff a b -> m b

default read430 :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> m b

write430 :: MonadIO m => Ptr a -> Diff a b -> b -> m ()

default write430 :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> b -> m ()

sizeOfPacked :: proxy b -> Int

As per Storable sizeOf, but without padding and no alignment

default sizeOfPacked :: KnownNat (PackedSize b) => proxy b -> Int

readPacked :: MonadIO m => Ptr a -> Diff a b -> m b

default readPacked :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> m b

writePacked :: MonadIO m => Ptr a -> Diff a b -> b -> m ()

default writePacked :: (MonadIO m, Generic b, GBlock (Rep b)) => Ptr a -> Diff a b -> b -> m ()

Instances

Block Int32

Defined in Graphics.Gl.Block

Associated Types

type PackedSize Int32 :: Nat

Methods

alignment140 :: proxy Int32 -> Int

sizeOf140 :: proxy Int32 -> Int

isStruct :: proxy Int32 -> Bool

read140 :: MonadIO m => Ptr a -> Diff a Int32 -> m Int32

write140 :: MonadIO m => Ptr a -> Diff a Int32 -> Int32 -> m ()

alignment430 :: proxy Int32 -> Int

sizeOf430 :: proxy Int32 -> Int

read430 :: MonadIO m => Ptr a -> Diff a Int32 -> m Int32

write430 :: MonadIO m => Ptr a -> Diff a Int32 -> Int32 -> m ()

sizeOfPacked :: proxy Int32 -> Int

readPacked :: MonadIO m => Ptr a -> Diff a Int32 -> m Int32

writePacked :: MonadIO m => Ptr a -> Diff a Int32 -> Int32 -> m ()

Block Word32

Defined in Graphics.Gl.Block

Associated Types

type PackedSize Word32 :: Nat

Methods

alignment140 :: proxy Word32 -> Int

sizeOf140 :: proxy Word32 -> Int

isStruct :: proxy Word32 -> Bool

read140 :: MonadIO m => Ptr a -> Diff a Word32 -> m Word32

write140 :: MonadIO m => Ptr a -> Diff a Word32 -> Word32 -> m ()

alignment430 :: proxy Word32 -> Int

sizeOf430 :: proxy Word32 -> Int

read430 :: MonadIO m => Ptr a -> Diff a Word32 -> m Word32

write430 :: MonadIO m => Ptr a -> Diff a Word32 -> Word32 -> m ()

sizeOfPacked :: proxy Word32 -> Int

readPacked :: MonadIO m => Ptr a -> Diff a Word32 -> m Word32

writePacked :: MonadIO m => Ptr a -> Diff a Word32 -> Word32 -> m ()

Block Bool

Defined in Graphics.Gl.Block

Associated Types

type PackedSize Bool :: Nat

Methods

alignment140 :: proxy Bool -> Int

sizeOf140 :: proxy Bool -> Int

isStruct :: proxy Bool -> Bool

read140 :: MonadIO m => Ptr a -> Diff a Bool -> m Bool

write140 :: MonadIO m => Ptr a -> Diff a Bool -> Bool -> m ()

alignment430 :: proxy Bool -> Int

sizeOf430 :: proxy Bool -> Int

read430 :: MonadIO m => Ptr a -> Diff a Bool -> m Bool

write430 :: MonadIO m => Ptr a -> Diff a Bool -> Bool -> m ()

sizeOfPacked :: proxy Bool -> Int

readPacked :: MonadIO m => Ptr a -> Diff a Bool -> m Bool

writePacked :: MonadIO m => Ptr a -> Diff a Bool -> Bool -> m ()

Block Double

Defined in Graphics.Gl.Block

Associated Types

type PackedSize Double :: Nat

Methods

alignment140 :: proxy Double -> Int

sizeOf140 :: proxy Double -> Int

isStruct :: proxy Double -> Bool

read140 :: MonadIO m => Ptr a -> Diff a Double -> m Double

write140 :: MonadIO m => Ptr a -> Diff a Double -> Double -> m ()

alignment430 :: proxy Double -> Int

sizeOf430 :: proxy Double -> Int

read430 :: MonadIO m => Ptr a -> Diff a Double -> m Double

write430 :: MonadIO m => Ptr a -> Diff a Double -> Double -> m ()

sizeOfPacked :: proxy Double -> Int

readPacked :: MonadIO m => Ptr a -> Diff a Double -> m Double

writePacked :: MonadIO m => Ptr a -> Diff a Double -> Double -> m ()

Block Float

Defined in Graphics.Gl.Block

Associated Types

type PackedSize Float :: Nat

Methods

alignment140 :: proxy Float -> Int

sizeOf140 :: proxy Float -> Int

isStruct :: proxy Float -> Bool

read140 :: MonadIO m => Ptr a -> Diff a Float -> m Float

write140 :: MonadIO m => Ptr a -> Diff a Float -> Float -> m ()

alignment430 :: proxy Float -> Int

sizeOf430 :: proxy Float -> Int

read430 :: MonadIO m => Ptr a -> Diff a Float -> m Float

write430 :: MonadIO m => Ptr a -> Diff a Float -> Float -> m ()

sizeOfPacked :: proxy Float -> Int

readPacked :: MonadIO m => Ptr a -> Diff a Float -> m Float

writePacked :: MonadIO m => Ptr a -> Diff a Float -> Float -> m ()

(Block a, Block b, KnownNat (PackedSize a + PackedSize b)) => Block (a, b)

Defined in Graphics.Gl.Block

Associated Types

type PackedSize (a, b) :: Nat

Methods

alignment140 :: proxy (a, b) -> Int

sizeOf140 :: proxy (a, b) -> Int

isStruct :: proxy (a, b) -> Bool

read140 :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> m (a, b)

write140 :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> (a, b) -> m ()

alignment430 :: proxy (a, b) -> Int

sizeOf430 :: proxy (a, b) -> Int

read430 :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> m (a, b)

write430 :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> (a, b) -> m ()

sizeOfPacked :: proxy (a, b) -> Int

readPacked :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> m (a, b)

writePacked :: MonadIO m => Ptr a0 -> Diff a0 (a, b) -> (a, b) -> m ()

(Block a, Block b, Block c, KnownNat (PackedSize a + (PackedSize b + PackedSize c))) => Block (a, b, c)

Defined in Graphics.Gl.Block

Associated Types

type PackedSize (a, b, c) :: Nat

Methods

alignment140 :: proxy (a, b, c) -> Int

sizeOf140 :: proxy (a, b, c) -> Int

isStruct :: proxy (a, b, c) -> Bool

read140 :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> m (a, b, c)

write140 :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> (a, b, c) -> m ()

alignment430 :: proxy (a, b, c) -> Int

sizeOf430 :: proxy (a, b, c) -> Int

read430 :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> m (a, b, c)

write430 :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> (a, b, c) -> m ()

sizeOfPacked :: proxy (a, b, c) -> Int

readPacked :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> m (a, b, c)

writePacked :: MonadIO m => Ptr a0 -> Diff a0 (a, b, c) -> (a, b, c) -> m ()

class GBlock f where

Automatically derive Std140 and Std430 alignment using GHC Generics

Associated Types

type GPackedSize f :: Nat

Methods

galignment140 :: p f -> Int

galignment430 :: p f -> Int

gsizeOf140 :: p f -> Int

gsizeOf430 :: p f -> Int

gsizeOfPacked :: p f -> Int

gread140 :: Ptr a -> Int -> IO (f b)

gread430 :: Ptr a -> Int -> IO (f b)

greadPacked :: Ptr a -> Int -> IO (f b)

gwrite140 :: Ptr a -> Int -> f b -> IO ()

gwrite430 :: Ptr a -> Int -> f b -> IO ()

gwritePacked :: Ptr a -> Int -> f b -> IO ()

Instances

GBlock (U1 :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize U1 :: Nat

Methods

galignment140 :: p U1 -> Int

galignment430 :: p U1 -> Int

gsizeOf140 :: p U1 -> Int

gsizeOf430 :: p U1 -> Int

gsizeOfPacked :: p U1 -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO (U1 b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO (U1 b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO (U1 b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> U1 b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> U1 b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> U1 b -> IO ()

(GBlock f, GBlock g) => GBlock (f :*: g :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize (f :*: g) :: Nat

Methods

galignment140 :: p (f :*: g) -> Int

galignment430 :: p (f :*: g) -> Int

gsizeOf140 :: p (f :*: g) -> Int

gsizeOf430 :: p (f :*: g) -> Int

gsizeOfPacked :: p (f :*: g) -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO ((f :*: g) b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO ((f :*: g) b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO ((f :*: g) b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> (f :*: g) b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> (f :*: g) b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> (f :*: g) b -> IO ()

Block c => GBlock (K1 i c :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize (K1 i c) :: Nat

Methods

galignment140 :: p (K1 i c) -> Int

galignment430 :: p (K1 i c) -> Int

gsizeOf140 :: p (K1 i c) -> Int

gsizeOf430 :: p (K1 i c) -> Int

gsizeOfPacked :: p (K1 i c) -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO (K1 i c b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO (K1 i c b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO (K1 i c b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> K1 i c b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> K1 i c b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> K1 i c b -> IO ()

GBlock f => GBlock (M1 C c f :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize (M1 C c f) :: Nat

Methods

galignment140 :: p (M1 C c f) -> Int

galignment430 :: p (M1 C c f) -> Int

gsizeOf140 :: p (M1 C c f) -> Int

gsizeOf430 :: p (M1 C c f) -> Int

gsizeOfPacked :: p (M1 C c f) -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 C c f b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 C c f b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO (M1 C c f b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> M1 C c f b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> M1 C c f b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> M1 C c f b -> IO ()

GBlock f => GBlock (M1 D c f :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize (M1 D c f) :: Nat

Methods

galignment140 :: p (M1 D c f) -> Int

galignment430 :: p (M1 D c f) -> Int

gsizeOf140 :: p (M1 D c f) -> Int

gsizeOf430 :: p (M1 D c f) -> Int

gsizeOfPacked :: p (M1 D c f) -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 D c f b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 D c f b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO (M1 D c f b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> M1 D c f b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> M1 D c f b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> M1 D c f b -> IO ()

GBlock f => GBlock (M1 S c f :: k -> Type)

Defined in Graphics.Gl.Block

Associated Types

type GPackedSize (M1 S c f) :: Nat

Methods

galignment140 :: p (M1 S c f) -> Int

galignment430 :: p (M1 S c f) -> Int

gsizeOf140 :: p (M1 S c f) -> Int

gsizeOf430 :: p (M1 S c f) -> Int

gsizeOfPacked :: p (M1 S c f) -> Int

gread140 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 S c f b)

gread430 :: forall a (b :: k0). Ptr a -> Int -> IO (M1 S c f b)

greadPacked :: forall a (b :: k0). Ptr a -> Int -> IO (M1 S c f b)

gwrite140 :: forall a (b :: k0). Ptr a -> Int -> M1 S c f b -> IO ()

gwrite430 :: forall a (b :: k0). Ptr a -> Int -> M1 S c f b -> IO ()

gwritePacked :: forall a (b :: k0). Ptr a -> Int -> M1 S c f b -> IO ()

newtype Packed a

Constructors

Packed

Fields

• getPacked :: a

Instances

Foldable Packed

Defined in Graphics.Gl.Block

Methods

fold :: Monoid m => Packed m -> m

foldMap :: Monoid m => (a -> m) -> Packed a -> m

foldMap' :: Monoid m => (a -> m) -> Packed a -> m

foldr :: (a -> b -> b) -> b -> Packed a -> b

foldr' :: (a -> b -> b) -> b -> Packed a -> b

foldl :: (b -> a -> b) -> b -> Packed a -> b

foldl' :: (b -> a -> b) -> b -> Packed a -> b

foldr1 :: (a -> a -> a) -> Packed a -> a

foldl1 :: (a -> a -> a) -> Packed a -> a

toList :: Packed a -> [a]

null :: Packed a -> Bool

length :: Packed a -> Int

elem :: Eq a => a -> Packed a -> Bool

maximum :: Ord a => Packed a -> a

minimum :: Ord a => Packed a -> a

sum :: Num a => Packed a -> a

product :: Num a => Packed a -> a

Traversable Packed

Defined in Graphics.Gl.Block

Methods

traverse :: Applicative f => (a -> f b) -> Packed a -> f (Packed b)

sequenceA :: Applicative f => Packed (f a) -> f (Packed a)

mapM :: Monad m => (a -> m b) -> Packed a -> m (Packed b)

sequence :: Monad m => Packed (m a) -> m (Packed a)

Functor Packed

Defined in Graphics.Gl.Block

Methods

fmap :: (a -> b) -> Packed a -> Packed b

(<$) :: a -> Packed b -> Packed a

Data a => Data (Packed a)

Defined in Graphics.Gl.Block

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Packed a -> c (Packed a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Packed a)

toConstr :: Packed a -> Constr

dataTypeOf :: Packed a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Packed a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Packed a))

gmapT :: (forall b. Data b => b -> b) -> Packed a -> Packed a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Packed a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Packed a -> r

gmapQ :: (forall d. Data d => d -> u) -> Packed a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Packed a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Packed a -> m (Packed a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Packed a -> m (Packed a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Packed a -> m (Packed a)

Block a => Storable (Packed a)

Defined in Graphics.Gl.Block

Methods

sizeOf :: Packed a -> Int

alignment :: Packed a -> Int

peekElemOff :: Ptr (Packed a) -> Int -> IO (Packed a)

pokeElemOff :: Ptr (Packed a) -> Int -> Packed a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Packed a)

pokeByteOff :: Ptr b -> Int -> Packed a -> IO ()

peek :: Ptr (Packed a) -> IO (Packed a)

poke :: Ptr (Packed a) -> Packed a -> IO ()

Generic (Packed a)

Defined in Graphics.Gl.Block

Associated Types

type Rep (Packed a) :: Type -> Type

Methods

from :: Packed a -> Rep (Packed a) x

to :: Rep (Packed a) x -> Packed a

Read a => Read (Packed a)

Defined in Graphics.Gl.Block

Methods

readsPrec :: Int -> ReadS (Packed a)

readList :: ReadS [Packed a]

readPrec :: ReadPrec (Packed a)

readListPrec :: ReadPrec [Packed a]

Show a => Show (Packed a)

Defined in Graphics.Gl.Block

Methods

showsPrec :: Int -> Packed a -> ShowS

show :: Packed a -> String

showList :: [Packed a] -> ShowS

Eq a => Eq (Packed a)

Defined in Graphics.Gl.Block

Methods

(==) :: Packed a -> Packed a -> Bool

(/=) :: Packed a -> Packed a -> Bool

Ord a => Ord (Packed a)

Defined in Graphics.Gl.Block

Methods

compare :: Packed a -> Packed a -> Ordering

(<) :: Packed a -> Packed a -> Bool

(<=) :: Packed a -> Packed a -> Bool

(>) :: Packed a -> Packed a -> Bool

(>=) :: Packed a -> Packed a -> Bool

max :: Packed a -> Packed a -> Packed a

min :: Packed a -> Packed a -> Packed a

type Rep (Packed a)

Defined in Graphics.Gl.Block

type Rep (Packed a) = D1 ('MetaData "Packed" "Graphics.Gl.Block" "gl-block-1.0-9KxWvhJL6MZ4sPMBjpKfRA" 'True) (C1 ('MetaCons "Packed" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPacked") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Std140 a

Constructors

Std140

Fields

• getStd140 :: a

Instances

Foldable Std140

Defined in Graphics.Gl.Block

Methods

fold :: Monoid m => Std140 m -> m

foldMap :: Monoid m => (a -> m) -> Std140 a -> m

foldMap' :: Monoid m => (a -> m) -> Std140 a -> m

foldr :: (a -> b -> b) -> b -> Std140 a -> b

foldr' :: (a -> b -> b) -> b -> Std140 a -> b

foldl :: (b -> a -> b) -> b -> Std140 a -> b

foldl' :: (b -> a -> b) -> b -> Std140 a -> b

foldr1 :: (a -> a -> a) -> Std140 a -> a

foldl1 :: (a -> a -> a) -> Std140 a -> a

toList :: Std140 a -> [a]

null :: Std140 a -> Bool

length :: Std140 a -> Int

elem :: Eq a => a -> Std140 a -> Bool

maximum :: Ord a => Std140 a -> a

minimum :: Ord a => Std140 a -> a

sum :: Num a => Std140 a -> a

product :: Num a => Std140 a -> a

Traversable Std140

Defined in Graphics.Gl.Block

Methods

traverse :: Applicative f => (a -> f b) -> Std140 a -> f (Std140 b)

sequenceA :: Applicative f => Std140 (f a) -> f (Std140 a)

mapM :: Monad m => (a -> m b) -> Std140 a -> m (Std140 b)

sequence :: Monad m => Std140 (m a) -> m (Std140 a)

Functor Std140

Defined in Graphics.Gl.Block

Methods

fmap :: (a -> b) -> Std140 a -> Std140 b

(<$) :: a -> Std140 b -> Std140 a

Data a => Data (Std140 a)

Defined in Graphics.Gl.Block

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Std140 a -> c (Std140 a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Std140 a)

toConstr :: Std140 a -> Constr

dataTypeOf :: Std140 a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Std140 a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Std140 a))

gmapT :: (forall b. Data b => b -> b) -> Std140 a -> Std140 a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Std140 a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Std140 a -> r

gmapQ :: (forall d. Data d => d -> u) -> Std140 a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Std140 a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Std140 a -> m (Std140 a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Std140 a -> m (Std140 a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Std140 a -> m (Std140 a)

Block a => Storable (Std140 a)

Defined in Graphics.Gl.Block

Methods

sizeOf :: Std140 a -> Int

alignment :: Std140 a -> Int

peekElemOff :: Ptr (Std140 a) -> Int -> IO (Std140 a)

pokeElemOff :: Ptr (Std140 a) -> Int -> Std140 a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Std140 a)

pokeByteOff :: Ptr b -> Int -> Std140 a -> IO ()

peek :: Ptr (Std140 a) -> IO (Std140 a)

poke :: Ptr (Std140 a) -> Std140 a -> IO ()

Generic (Std140 a)

Defined in Graphics.Gl.Block

Associated Types

type Rep (Std140 a) :: Type -> Type

Methods

from :: Std140 a -> Rep (Std140 a) x

to :: Rep (Std140 a) x -> Std140 a

Read a => Read (Std140 a)

Defined in Graphics.Gl.Block

Methods

readsPrec :: Int -> ReadS (Std140 a)

readList :: ReadS [Std140 a]

readPrec :: ReadPrec (Std140 a)

readListPrec :: ReadPrec [Std140 a]

Show a => Show (Std140 a)

Defined in Graphics.Gl.Block

Methods

showsPrec :: Int -> Std140 a -> ShowS

show :: Std140 a -> String

showList :: [Std140 a] -> ShowS

Eq a => Eq (Std140 a)

Defined in Graphics.Gl.Block

Methods

(==) :: Std140 a -> Std140 a -> Bool

(/=) :: Std140 a -> Std140 a -> Bool

Ord a => Ord (Std140 a)

Defined in Graphics.Gl.Block

Methods

compare :: Std140 a -> Std140 a -> Ordering

(<) :: Std140 a -> Std140 a -> Bool

(<=) :: Std140 a -> Std140 a -> Bool

(>) :: Std140 a -> Std140 a -> Bool

(>=) :: Std140 a -> Std140 a -> Bool

max :: Std140 a -> Std140 a -> Std140 a

min :: Std140 a -> Std140 a -> Std140 a

type Rep (Std140 a)

Defined in Graphics.Gl.Block

type Rep (Std140 a) = D1 ('MetaData "Std140" "Graphics.Gl.Block" "gl-block-1.0-9KxWvhJL6MZ4sPMBjpKfRA" 'True) (C1 ('MetaCons "Std140" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStd140") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Std430 a

Constructors

Std430

Fields

• getStd430 :: a

Instances

Foldable Std430

Defined in Graphics.Gl.Block

Methods

fold :: Monoid m => Std430 m -> m

foldMap :: Monoid m => (a -> m) -> Std430 a -> m

foldMap' :: Monoid m => (a -> m) -> Std430 a -> m

foldr :: (a -> b -> b) -> b -> Std430 a -> b

foldr' :: (a -> b -> b) -> b -> Std430 a -> b

foldl :: (b -> a -> b) -> b -> Std430 a -> b

foldl' :: (b -> a -> b) -> b -> Std430 a -> b

foldr1 :: (a -> a -> a) -> Std430 a -> a

foldl1 :: (a -> a -> a) -> Std430 a -> a

toList :: Std430 a -> [a]

null :: Std430 a -> Bool

length :: Std430 a -> Int

elem :: Eq a => a -> Std430 a -> Bool

maximum :: Ord a => Std430 a -> a

minimum :: Ord a => Std430 a -> a

sum :: Num a => Std430 a -> a

product :: Num a => Std430 a -> a

Traversable Std430

Defined in Graphics.Gl.Block

Methods

traverse :: Applicative f => (a -> f b) -> Std430 a -> f (Std430 b)

sequenceA :: Applicative f => Std430 (f a) -> f (Std430 a)

mapM :: Monad m => (a -> m b) -> Std430 a -> m (Std430 b)

sequence :: Monad m => Std430 (m a) -> m (Std430 a)

Functor Std430

Defined in Graphics.Gl.Block

Methods

fmap :: (a -> b) -> Std430 a -> Std430 b

(<$) :: a -> Std430 b -> Std430 a

Data a => Data (Std430 a)

Defined in Graphics.Gl.Block

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Std430 a -> c (Std430 a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Std430 a)

toConstr :: Std430 a -> Constr

dataTypeOf :: Std430 a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Std430 a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Std430 a))

gmapT :: (forall b. Data b => b -> b) -> Std430 a -> Std430 a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Std430 a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Std430 a -> r

gmapQ :: (forall d. Data d => d -> u) -> Std430 a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Std430 a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Std430 a -> m (Std430 a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Std430 a -> m (Std430 a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Std430 a -> m (Std430 a)

Block a => Storable (Std430 a)

Defined in Graphics.Gl.Block

Methods

sizeOf :: Std430 a -> Int

alignment :: Std430 a -> Int

peekElemOff :: Ptr (Std430 a) -> Int -> IO (Std430 a)

pokeElemOff :: Ptr (Std430 a) -> Int -> Std430 a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Std430 a)

pokeByteOff :: Ptr b -> Int -> Std430 a -> IO ()

peek :: Ptr (Std430 a) -> IO (Std430 a)

poke :: Ptr (Std430 a) -> Std430 a -> IO ()

Generic (Std430 a)

Defined in Graphics.Gl.Block

Associated Types

type Rep (Std430 a) :: Type -> Type

Methods

from :: Std430 a -> Rep (Std430 a) x

to :: Rep (Std430 a) x -> Std430 a

Read a => Read (Std430 a)

Defined in Graphics.Gl.Block

Methods

readsPrec :: Int -> ReadS (Std430 a)

readList :: ReadS [Std430 a]

readPrec :: ReadPrec (Std430 a)

readListPrec :: ReadPrec [Std430 a]

Show a => Show (Std430 a)

Defined in Graphics.Gl.Block

Methods

showsPrec :: Int -> Std430 a -> ShowS

show :: Std430 a -> String

showList :: [Std430 a] -> ShowS

Eq a => Eq (Std430 a)

Defined in Graphics.Gl.Block

Methods

(==) :: Std430 a -> Std430 a -> Bool

(/=) :: Std430 a -> Std430 a -> Bool

Ord a => Ord (Std430 a)

Defined in Graphics.Gl.Block

Methods

compare :: Std430 a -> Std430 a -> Ordering

(<) :: Std430 a -> Std430 a -> Bool

(<=) :: Std430 a -> Std430 a -> Bool

(>) :: Std430 a -> Std430 a -> Bool

(>=) :: Std430 a -> Std430 a -> Bool

max :: Std430 a -> Std430 a -> Std430 a

min :: Std430 a -> Std430 a -> Std430 a

type Rep (Std430 a)

Defined in Graphics.Gl.Block

type Rep (Std430 a) = D1 ('MetaData "Std430" "Graphics.Gl.Block" "gl-block-1.0-9KxWvhJL6MZ4sPMBjpKfRA" 'True) (C1 ('MetaCons "Std430" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStd430") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

roundUp :: Int -> Int -> Int

roundUp k n rounds up k up to an integral multiple of n