Gpu.Vulkan.Object.Base

OBJECT

data O

Constructors

O Alignment (Maybe Symbol) ObjectType Type

class (Storable (ImagePixel img), FormatToValue (ImageFormat img)) => IsImage img where

Associated Types

type ImagePixel img

type ImageFormat img :: Format

Methods

imageRow :: img -> Size

imageWidth :: img -> Size

imageHeight :: img -> Size

imageDepth :: img -> Size

imageBody :: img -> [[ImagePixel img]]

imageMake :: Size -> Size -> Size -> [[ImagePixel img]] -> img

Synonyms

type Atom (algn :: Alignment) t (mnm :: Maybe Symbol) = AtomMaybeName algn t mnm

type AtomNew (algn :: Alignment) t (nm :: Symbol) = AtomMaybeName algn t ('Just nm)

type List (algn :: Alignment) t (nm :: Symbol) = ListMaybeName algn t ('Just nm)

type Image (algn :: Alignment) t (nm :: Symbol) = ImageMaybeName algn t ('Just nm)

type AtomNoName (al :: Alignment) t = AtomMaybeName al t ('Nothing :: Maybe Symbol)

type ListNoName (al :: Alignment) t = ListMaybeName al t ('Nothing :: Maybe Symbol)

type ImageNoName (al :: Alignment) t = ImageMaybeName al t ('Nothing :: Maybe Symbol)

type AtomMaybeName (al :: Alignment) t (mnm :: Maybe Symbol) = 'O al mnm 'AtomT t

type ListMaybeName (al :: Alignment) t (mnm :: Maybe Symbol) = 'O al mnm 'ListT t

type ImageMaybeName (al :: Alignment) t (mnm :: Maybe Symbol) = 'O al mnm 'ImageT t

Type Of Object

type family TypeOf (obj :: O) where ...

Equations

TypeOf (Atom _algn t _nm) = t

TypeOf (List _algn t _nm) = t

OBJECT LENGTH

data Length (obj :: O) where

Constructors

LengthAtom :: forall (algn :: Alignment) t (nm :: Maybe Symbol). Length ('O algn nm 'AtomT t)

LengthList :: forall (algn :: Alignment) (mnm :: Maybe Symbol) t. Size -> Length ('O algn mnm 'ListT t)

LengthImage

Fields

• :: forall (algn :: Alignment) (mnm :: Maybe Symbol) t. { lengthImageRow :: Size
•    , lengthImageWidth :: Size
•    , lengthImageHeight :: Size
•    , lengthImageDepth :: Size
•    } -> Length ('O algn mnm 'ImageT t)

Instances

Show (Length obj)

Defined in Gpu.Vulkan.Object.Base

Methods

showsPrec :: Int -> Length obj -> ShowS

show :: Length obj -> String

showList :: [Length obj] -> ShowS

Default (Length (Atom algn t mnm))

Defined in Gpu.Vulkan.Object.Base

Methods

def :: Length (Atom algn t mnm)

Default (Length (Image algn t nm))

Defined in Gpu.Vulkan.Object.Base

Methods

def :: Length (Image algn t nm)

Default (Length (List algn t nm))

Defined in Gpu.Vulkan.Object.Base

Methods

def :: Length (List algn t nm)

Eq (Length obj)

Defined in Gpu.Vulkan.Object.Base

Methods

(==) :: Length obj -> Length obj -> Bool

(/=) :: Length obj -> Length obj -> Bool

renameLength :: forall (algn :: Alignment) (mnm :: Maybe Symbol) (ot :: ObjectType) t (mnm' :: Maybe Symbol). Length ('O algn mnm ot t) -> Length ('O algn mnm' ot t)

STORE OBJECT

class SizeAlignment obj => Store v (obj :: O) where

Methods

store :: Ptr (TypeOf obj) -> Length obj -> v -> IO ()

load :: Ptr (TypeOf obj) -> Length obj -> IO v

length :: v -> Length obj

Instances

(KnownNat algn, IsImage img) => Store img (Image algn img nm)

Defined in Gpu.Vulkan.Object.Base

Methods

store :: Ptr (TypeOf (Image algn img nm)) -> Length (Image algn img nm) -> img -> IO ()

load :: Ptr (TypeOf (Image algn img nm)) -> Length (Image algn img nm) -> IO img

length :: img -> Length (Image algn img nm)

(Storable t, KnownNat algn) => Store t (Atom algn t _nm)

Defined in Gpu.Vulkan.Object.Base

Methods

store :: Ptr (TypeOf (Atom algn t _nm)) -> Length (Atom algn t _nm) -> t -> IO ()

load :: Ptr (TypeOf (Atom algn t _nm)) -> Length (Atom algn t _nm) -> IO t

length :: t -> Length (Atom algn t _nm)

(KnownNat algn, IsSequence v, Storable t, Element v ~ t) => Store v (List algn t _nm)

Defined in Gpu.Vulkan.Object.Base

Methods

store :: Ptr (TypeOf (List algn t _nm)) -> Length (List algn t _nm) -> v -> IO ()

load :: Ptr (TypeOf (List algn t _nm)) -> Length (List algn t _nm) -> IO v

length :: v -> Length (List algn t _nm)

SIZE AND ALIGNMENT

class SizeAlignment (obj :: O) where

Methods

size :: Length obj -> Size

alignment :: Size

Instances

(KnownNat algn, Storable t) => SizeAlignment (AtomMaybeName algn t _nm)

Defined in Gpu.Vulkan.Object.Base

Methods

size :: Length (AtomMaybeName algn t _nm) -> Size

alignment :: Size

(KnownNat algn, Storable (ImagePixel img)) => SizeAlignment (ImageMaybeName algn img nm)

Defined in Gpu.Vulkan.Object.Base

Methods

size :: Length (ImageMaybeName algn img nm) -> Size

alignment :: Size

(KnownNat algn, Storable t) => SizeAlignment (ListMaybeName algn t _nm)

Defined in Gpu.Vulkan.Object.Base

Methods

size :: Length (ListMaybeName algn t _nm) -> Size

alignment :: Size