Gpu.Vulkan.Object

OBJECT

data O

Constructors

Static_ O

Dynamic Nat O

Instances

(Storable v, KnownNat oalgn, SizeAlignmentList objs) => OffsetOfList (v :: Type) nm (List oalgn v nm ': objs)

Defined in Gpu.Vulkan.Object

Methods

offsetRangeListFromSzAlgns :: Size -> PL SizeAlignmentOf (List oalgn v nm ': objs) -> (Size, Size)

(SizeAlignment obj, OffsetOfList v nm objs) => OffsetOfList (v :: k) nm (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

offsetRangeListFromSzAlgns :: Size -> PL SizeAlignmentOf (obj ': objs) -> (Size, Size)

UpdateDynamicLength _bts ('[] :: [O])

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics _bts) -> PL Length (OnlyDynamics ('[] :: [O])) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics _bts)

LengthOf obj (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

lengthOf :: PL Length (obj ': objs) -> Length obj

LengthOf obj objs => LengthOf obj (obj' ': objs)

Defined in Gpu.Vulkan.Object

Methods

lengthOf :: PL Length (obj' ': objs) -> Length obj

(SizeAlignment v, OffsetRange v vs (i - 1)) => OffsetRange v (v ': vs) i

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

(SizeAlignment v, SizeAlignmentList vs) => OffsetRange v (v ': vs) 0

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

(SizeAlignment v', OffsetRange v vs i) => OffsetRange v (v' ': vs) i

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v' ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v' ': vs) -> (Size, Size)

MemoryBarrier2ListToMiddle ('[] :: [(Maybe Type, Type, Type, Symbol, O)])

Defined in Gpu.Vulkan.Buffer.Internal

Methods

memoryBarrier2ListToMiddle :: PL (U5 MemoryBarrier2) ('[] :: [(Maybe Type, Type, Type, Symbol, O)]) -> PL MemoryBarrier2 (M0_5 ('[] :: [(Maybe Type, Type, Type, Symbol, O)]))

MemoryBarrierListToMiddle ('[] :: [(Maybe Type, Type, Type, Symbol, O)])

Defined in Gpu.Vulkan.Buffer.Internal

Methods

memoryBarrierListToMiddle :: PL (U5 MemoryBarrier) ('[] :: [(Maybe Type, Type, Type, Symbol, O)]) -> PL MemoryBarrier (M0_5 ('[] :: [(Maybe Type, Type, Type, Symbol, O)]))

OnlyDynamicLengths ('[] :: [O])

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('[] :: [O])

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('[] :: [O]) = '[] :: [O]

Methods

onlyDynamicLength :: PL Length ('[] :: [O]) -> PL Length (OnlyDynamics ('[] :: [O]))

SizeAlignmentList ('[] :: [O])

Defined in Gpu.Vulkan.Object

Methods

sizeAlignmentListWholeAlignment :: ObjAlignment

sizeAlignmentList :: PL Length ('[] :: [O]) -> PL SizeAlignmentOf ('[] :: [O])

WholeAlign ('[] :: [O])

Defined in Gpu.Vulkan.Object

Methods

wholeAlign :: Size

BindSparseInfosToMiddle ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])])

Defined in Gpu.Vulkan.Queue

Methods

bindSparseInfosToMiddle :: D sd -> PL (U6 BindSparseInfo) ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])]) -> IO (PL BindSparseInfo (M0_6 ('[] :: [(Maybe Type, [Type], [(Type, Symbol, [O], [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [(Type, Symbol, Format, [(Type, [(Type, ImageBufferArg)], Nat)])], [Type])])))

MakeCopies ('[] :: [([O], Nat, Nat)]) ss ds

Defined in Gpu.Vulkan.Buffer.Internal

Methods

makeCopies :: PL Length ss -> PL Length ds -> [Copy]

MemoryBarrier2ListToMiddle nsmsbnmobjs => MemoryBarrier2ListToMiddle ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs)

Defined in Gpu.Vulkan.Buffer.Internal

Methods

memoryBarrier2ListToMiddle :: PL (U5 MemoryBarrier2) ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs) -> PL MemoryBarrier2 (M0_5 ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs))

MemoryBarrierListToMiddle nsmsbnmobjs => MemoryBarrierListToMiddle ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs)

Defined in Gpu.Vulkan.Buffer.Internal

Methods

memoryBarrierListToMiddle :: PL (U5 MemoryBarrier) ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs) -> PL MemoryBarrier (M0_5 ('(mn, sm, sb, nm, obj) ': nsmsbnmobjs))

OnlyDynamicLengths objs => OnlyDynamicLengths ('Dynamic _n o ': objs)

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('Dynamic _n o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Dynamic _n o ': objs) = o ': OnlyDynamics objs

Methods

onlyDynamicLength :: PL Length ('Dynamic _n o ': objs) -> PL Length (OnlyDynamics ('Dynamic _n o ': objs))

OnlyDynamicLengths objs => OnlyDynamicLengths ('Static_ _o ': objs)

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('Static_ _o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Static_ _o ': objs) = OnlyDynamics objs

Methods

onlyDynamicLength :: PL Length ('Static_ _o ': objs) -> PL Length (OnlyDynamics ('Static_ _o ': objs))

(SizeAlignment obj, SizeAlignmentList objs) => SizeAlignmentList (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

sizeAlignmentListWholeAlignment :: ObjAlignment

sizeAlignmentList :: PL Length (obj ': objs) -> PL SizeAlignmentOf (obj ': objs)

(SizeAlignment obj, WholeAlign objs) => WholeAlign (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

wholeAlign :: Size

(MemoryBindInfosToMiddle bbs, OpaqueMemoryBindInfosToMiddle iobs, MemoryBindInfosToMiddle ibs, BindSparseInfosToMiddle bsias) => BindSparseInfosToMiddle ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias)

Defined in Gpu.Vulkan.Queue

Methods

bindSparseInfosToMiddle :: D sd -> PL (U6 BindSparseInfo) ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias) -> IO (PL BindSparseInfo (M0_6 ('(mn, swss, bbs, iobs, ibs, ssss) ': bsias)))

(CopyInfo as is id ss ds, MakeCopies ass ss ds) => MakeCopies ('(as, is, id) ': ass) ss ds

Defined in Gpu.Vulkan.Buffer.Internal

Methods

makeCopies :: PL Length ss -> PL Length ds -> [Copy]

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer ('Dynamic n o ': os') ': bts) ('Dynamic n o ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Dynamic n o ': os') ': bts)) -> PL Length (OnlyDynamics ('Dynamic n o ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Dynamic n o ': os') ': bts))

UpdateDynamicLength ('Buffer os' ': bts) (oo ': os) => UpdateDynamicLength ('Buffer ('Dynamic n o ': os') ': bts) (oo ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Dynamic n o ': os') ': bts)) -> PL Length (OnlyDynamics (oo ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Dynamic n o ': os') ': bts))

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer (Dynamic n algn ('Just _nm) ot t ': os') ': bts) (Dynamic n algn ('Nothing :: Maybe Symbol) ot t ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Dynamic n algn ('Just _nm) ot t ': os') ': bts)) -> PL Length (OnlyDynamics (Dynamic n algn ('Nothing :: Maybe Symbol) ot t ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Dynamic n algn ('Just _nm) ot t ': os') ': bts))

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer (Dynamic n algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts) (Dynamic n algn ('Just _nm) ot t ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Dynamic n algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts)) -> PL Length (OnlyDynamics (Dynamic n algn ('Just _nm) ot t ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Dynamic n algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts))

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer (Static algn ('Just _nm) ot t ': os') ': bts) (Static algn ('Nothing :: Maybe Symbol) ot t ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Static algn ('Just _nm) ot t ': os') ': bts)) -> PL Length (OnlyDynamics (Static algn ('Nothing :: Maybe Symbol) ot t ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Static algn ('Just _nm) ot t ': os') ': bts))

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer (Static algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts) (Static algn ('Just _nm) ot t ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Static algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts)) -> PL Length (OnlyDynamics (Static algn ('Just _nm) ot t ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer (Static algn ('Nothing :: Maybe Symbol) ot t ': os') ': bts))

(UpdateDynamicLengthPrefix os os', OnlyDynamicLengths os) => UpdateDynamicLength ('Buffer ('Static_ o ': os') ': bts) ('Static_ o ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Static_ o ': os') ': bts)) -> PL Length (OnlyDynamics ('Static_ o ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Static_ o ': os') ': bts))

UpdateDynamicLength ('Buffer os' ': bts) (oo ': os) => UpdateDynamicLength ('Buffer ('Static_ o ': os') ': bts) (oo ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Static_ o ': os') ': bts)) -> PL Length (OnlyDynamics (oo ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('Static_ o ': os') ': bts))

UpdateDynamicLength bts (o ': os) => UpdateDynamicLength ('Buffer ('[] :: [O]) ': bts) (o ': os)

Defined in Gpu.Vulkan.DescriptorSetLayout.UpdateDynamicLengths

Methods

updateDynamicLength :: PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('[] :: [O]) ': bts)) -> PL Length (OnlyDynamics (o ': os)) -> PL (PL Length) (BindingTypeListBufferOnlyDynamics ('Buffer ('[] :: [O]) ': bts))

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (Dynamic n al ('Nothing :: Maybe Symbol) ot t ': objs) (i - 1) => BindingAndArrayElemBuffer ('Buffer (Dynamic n al ('Just _nm) ot t ': lobjs) ': lbts) (Dynamic n al ('Nothing :: Maybe Symbol) ot t ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n0 => n0 -> n0 -> (n0, n0)

IsPrefixObject objs lobjs => BindingAndArrayElemBuffer ('Buffer (Dynamic n al ('Just _nm) ot t ': lobjs) ': lbts) (Dynamic n al ('Nothing :: Maybe Symbol) ot t ': objs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n0 => n0 -> n0 -> (n0, n0)

IsPrefixObject objs lobjs => BindingAndArrayElemBuffer ('Buffer (Dynamic n al ('Nothing :: Maybe Symbol) ot t ': lobjs) ': lbts) (Dynamic n al ('Just _nm) ot t ': objs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n0 => n0 -> n0 -> (n0, n0)

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (Dynamic n al ('Just nm) ot t ': objs) (i - 1) => BindingAndArrayElemBuffer ('Buffer (Dynamic n al ('Nothing :: Maybe Symbol) ot t ': lobjs) ': lbts) (Dynamic n al ('Just nm) ot t ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n0 => n0 -> n0 -> (n0, n0)

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (Static al ('Nothing :: Maybe Symbol) ot t ': objs) (i - 1) => BindingAndArrayElemBuffer ('Buffer (Static al ('Just _nm) ot t ': lobjs) ': lbts) (Static al ('Nothing :: Maybe Symbol) ot t ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

IsPrefixObject objs lobjs => BindingAndArrayElemBuffer ('Buffer (Static al ('Just _nm) ot t ': lobjs) ': lbts) (Static al ('Nothing :: Maybe Symbol) ot t ': objs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

IsPrefixObject objs lobjs => BindingAndArrayElemBuffer ('Buffer (Static al ('Nothing :: Maybe Symbol) ot t ': lobjs) ': lbts) (Static al ('Just _nm) ot t ': objs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (Static al ('Just nm) ot t ': objs) (i - 1) => BindingAndArrayElemBuffer ('Buffer (Static al ('Nothing :: Maybe Symbol) ot t ': lobjs) ': lbts) (Static al ('Just nm) ot t ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (obj ': objs) i => BindingAndArrayElemBuffer ('Buffer (lobj ': lobjs) ': lbts) (obj ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

BindingAndArrayElemBuffer ('Buffer lobjs ': lbts) (obj ': objs) (i - 1) => BindingAndArrayElemBuffer ('Buffer (obj ': lobjs) ': lbts) (obj ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

IsPrefixObject objs lobjs => BindingAndArrayElemBuffer ('Buffer (obj ': lobjs) ': lbts) (obj ': objs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

BindingAndArrayElemBuffer lbts (obj ': objs) i => BindingAndArrayElemBuffer (bt ': lbts) (obj ': objs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem.Buffer

Methods

bindingAndArrayElemBuffer :: Integral n => n -> n -> (n, n)

type OnlyDynamics ('[] :: [O])

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('[] :: [O]) = '[] :: [O]

type OnlyDynamics ('Dynamic _n o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Dynamic _n o ': objs) = o ': OnlyDynamics objs

type OnlyDynamics ('Static_ _o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Static_ _o ': objs) = OnlyDynamics objs

Synonyms

type Static (algn :: Alignment) (mnm :: Maybe Symbol) (ot :: ObjectType) v = 'Static_ ('O algn mnm ot v)

type Dynamic (n :: Nat) (algn :: Alignment) (mnm :: Maybe Symbol) (ot :: ObjectType) v = 'Dynamic n ('O algn mnm ot v)

static

type Atom (algn :: Alignment) v (nm :: Symbol) = AtomMaybeName algn v ('Just nm)

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

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

type AtomNoName (algn :: Alignment) v = AtomMaybeName algn v ('Nothing :: Maybe Symbol)

type ListNoName (algn :: Alignment) v = ListMaybeName algn v ('Nothing :: Maybe Symbol)

type ImageNoName (algn :: Alignment) v = ImageMaybeName algn v ('Nothing :: Maybe Symbol)

type AtomMaybeName (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Static_ (AtomMaybeName algn v mnm)

type ListMaybeName (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Static_ (ListMaybeName algn v mnm)

type ImageMaybeName (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Static_ (ImageMaybeName algn v mnm)

dynamic

type DynAtomNew (n :: Nat) (algn :: Alignment) v (nm :: Symbol) = 'Dynamic n (AtomNew algn v nm)

type DynList (n :: Nat) (algn :: Alignment) v (nm :: Symbol) = 'Dynamic n (List algn v nm)

type DynImage (n :: Nat) (algn :: Alignment) v (nm :: Symbol) = 'Dynamic n (Image algn v nm)

type DynAtomNoName (n :: Nat) (algn :: Alignment) v = 'Dynamic n (AtomNoName algn v)

type DynListNoName (n :: Nat) (algn :: Alignment) v = 'Dynamic n (ListNoName algn v)

type DynImageNoName (n :: Nat) (algn :: Alignment) v = 'Dynamic n (ImageNoName algn v)

type DynAtomMaybeName (n :: Nat) (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Dynamic n (AtomMaybeName algn v mnm)

type DynListMaybeName (n :: Nat) (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Dynamic n (ListMaybeName algn v mnm)

type DynImageMaybeName (n :: Nat) (algn :: Alignment) v (mnm :: Maybe Symbol) = 'Dynamic n (ImageMaybeName algn v mnm)

Type Of Object

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

Equations

TypeOf ('Static_ kobj) = TypeOf kobj

TypeOf ('Dynamic n kobj) = TypeOf kobj

OBJECT LENGTH

data Length (obj :: O)

Instances

Show (Length obj)

Defined in Gpu.Vulkan.Object

Methods

showsPrec :: Int -> Length obj -> ShowS

show :: Length obj -> String

showList :: [Length obj] -> ShowS

Eq (Length obj)

Defined in Gpu.Vulkan.Object

Methods

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

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

Synonyms

pattern LengthAtom :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (AtomMaybeName algn v mnm))

pattern LengthList :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Size -> Length ('Static_ (ListMaybeName algn v mnm))

pattern LengthImage :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Size -> Size -> Size -> Size -> Size -> Length ('Static_ (ImageMaybeName algn v mnm))

lengthImageRow :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (ImageMaybeName algn v mnm)) -> Size

lengthImageWidth :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (ImageMaybeName algn v mnm)) -> Size

lengthImageHeight :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (ImageMaybeName algn v mnm)) -> Size

lengthImageDepth :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (ImageMaybeName algn v mnm)) -> Size

lengthImageLayerCount :: forall (algn :: Alignment) v (mnm :: Maybe Symbol). Length ('Static_ (ImageMaybeName algn v mnm)) -> Size

pattern LengthDynAtom :: forall (n :: Nat) (algn :: Alignment) v (nm :: Maybe Symbol). Length ('Dynamic n (Atom algn v nm))

pattern LengthDynList :: forall (n :: Nat) (algn :: Alignment) v (nm :: Symbol). Size -> Length ('Dynamic n (List algn v nm))

pattern LengthDynImage :: forall (n :: Nat) (algn :: Alignment) v (nm :: Symbol). Size -> Size -> Size -> Size -> Size -> Length ('Dynamic n (Image algn v nm))

pattern LengthList' :: forall (algn :: Alignment) v (nm :: Maybe Symbol). Word64 -> Length ('Static_ (ListMaybeName algn v nm))

Find Length

class LengthOf (obj :: O) (objs :: [O]) where

Methods

lengthOf :: PL Length objs -> Length obj

Instances

LengthOf obj (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

lengthOf :: PL Length (obj ': objs) -> Length obj

LengthOf obj objs => LengthOf obj (obj' ': objs)

Defined in Gpu.Vulkan.Object

Methods

lengthOf :: PL Length (obj' ': objs) -> Length obj

ONLY DYNAMIC LENGTHS

class OnlyDynamicLengths (objs :: [O]) where

Associated Types

type OnlyDynamics (objs :: [O]) :: [O]

Methods

onlyDynamicLength :: PL Length objs -> PL Length (OnlyDynamics objs)

Instances

OnlyDynamicLengths ('[] :: [O])

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('[] :: [O])

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('[] :: [O]) = '[] :: [O]

Methods

onlyDynamicLength :: PL Length ('[] :: [O]) -> PL Length (OnlyDynamics ('[] :: [O]))

OnlyDynamicLengths objs => OnlyDynamicLengths ('Dynamic _n o ': objs)

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('Dynamic _n o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Dynamic _n o ': objs) = o ': OnlyDynamics objs

Methods

onlyDynamicLength :: PL Length ('Dynamic _n o ': objs) -> PL Length (OnlyDynamics ('Dynamic _n o ': objs))

OnlyDynamicLengths objs => OnlyDynamicLengths ('Static_ _o ': objs)

Defined in Gpu.Vulkan.Object

Associated Types

type OnlyDynamics ('Static_ _o ': objs)

Defined in Gpu.Vulkan.Object

type OnlyDynamics ('Static_ _o ': objs) = OnlyDynamics objs

Methods

onlyDynamicLength :: PL Length ('Static_ _o ': objs) -> PL Length (OnlyDynamics ('Static_ _o ': objs))

STORE

class 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

Store v bobj => Store v ('Static_ bobj)

Defined in Gpu.Vulkan.Object

Methods

store :: Ptr (TypeOf ('Static_ bobj)) -> Length ('Static_ bobj) -> v -> IO ()

load :: Ptr (TypeOf ('Static_ bobj)) -> Length ('Static_ bobj) -> IO v

length :: v -> Length ('Static_ bobj)

(KnownNat n, Store v bobj) => Store [Maybe v] ('Dynamic n bobj)

Defined in Gpu.Vulkan.Object

Methods

store :: Ptr (TypeOf ('Dynamic n bobj)) -> Length ('Dynamic n bobj) -> [Maybe v] -> IO ()

load :: Ptr (TypeOf ('Dynamic n bobj)) -> Length ('Dynamic n bobj) -> IO [Maybe v]

length :: [Maybe v] -> Length ('Dynamic n bobj)

SIZE, ALIGNMENT AND OFFSET

Whole Size

wholeSize :: forall (objs :: [O]). SizeAlignmentList objs => PL Length objs -> Size

class WholeAlign (objs :: [O]) where

Methods

wholeAlign :: Size

Instances

WholeAlign ('[] :: [O])

Defined in Gpu.Vulkan.Object

Methods

wholeAlign :: Size

(SizeAlignment obj, WholeAlign objs) => WholeAlign (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

wholeAlign :: Size

Offset Range

offsetRange :: forall (obj :: O) (objs :: [O]) (i :: Nat). OffsetRange obj objs i => Size -> PL Length objs -> (Size, Size)

offsetSize :: forall (obj :: O) (objs :: [O]) (i :: Nat). OffsetRange obj objs i => Size -> PL Length objs -> (Size, Size)

class (SizeAlignmentList vs, TypeIndex v vs) => OffsetRange (v :: O) (vs :: [O]) (i :: Nat)

Minimal complete definition

offsetRangeFromSzAlgns', offsetSizeFromSzAlgns'

Instances

(SizeAlignment v, OffsetRange v vs (i - 1)) => OffsetRange v (v ': vs) i

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

(SizeAlignment v, SizeAlignmentList vs) => OffsetRange v (v ': vs) 0

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v ': vs) -> (Size, Size)

(SizeAlignment v', OffsetRange v vs i) => OffsetRange v (v' ': vs) i

Defined in Gpu.Vulkan.Object

Methods

offsetRangeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v' ': vs) -> (Size, Size)

offsetSizeFromSzAlgns' :: Size -> PL SizeAlignmentOf (v' ': vs) -> (Size, Size)

Offset Of List

offsetOfList :: forall {k} (v :: k) (onm :: Symbol) (vs :: [O]). OffsetOfList v onm vs => PL Length vs -> (Size, Size)

class SizeAlignmentList objs => OffsetOfList (v :: k) (nm :: Symbol) (objs :: [O]) where

Methods

offsetRangeListFromSzAlgns :: Size -> PL SizeAlignmentOf objs -> (Size, Size)

Instances

(Storable v, KnownNat oalgn, SizeAlignmentList objs) => OffsetOfList (v :: Type) nm (List oalgn v nm ': objs)

Defined in Gpu.Vulkan.Object

Methods

offsetRangeListFromSzAlgns :: Size -> PL SizeAlignmentOf (List oalgn v nm ': objs) -> (Size, Size)

(SizeAlignment obj, OffsetOfList v nm objs) => OffsetOfList (v :: k) nm (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

offsetRangeListFromSzAlgns :: Size -> PL SizeAlignmentOf (obj ': objs) -> (Size, Size)

Size AlignmentList

class SizeAlignmentList (objs :: [O]) where

Methods

sizeAlignmentListWholeAlignment :: ObjAlignment

sizeAlignmentList :: PL Length objs -> PL SizeAlignmentOf objs

Instances

SizeAlignmentList ('[] :: [O])

Defined in Gpu.Vulkan.Object

Methods

sizeAlignmentListWholeAlignment :: ObjAlignment

sizeAlignmentList :: PL Length ('[] :: [O]) -> PL SizeAlignmentOf ('[] :: [O])

(SizeAlignment obj, SizeAlignmentList objs) => SizeAlignmentList (obj ': objs)

Defined in Gpu.Vulkan.Object

Methods

sizeAlignmentListWholeAlignment :: ObjAlignment

sizeAlignmentList :: PL Length (obj ': objs) -> PL SizeAlignmentOf (obj ': objs)

class SizeAlignment (obj :: O) where

Methods

dynNum :: Size

size :: Length obj -> Size

alignment :: Size

Instances

SizeAlignment kobj => SizeAlignment ('Static_ kobj)

Defined in Gpu.Vulkan.Object

Methods

dynNum :: Size

size :: Length ('Static_ kobj) -> Size

alignment :: Size

(KnownNat n, SizeAlignment kobj) => SizeAlignment ('Dynamic n kobj)

Defined in Gpu.Vulkan.Object

Methods

dynNum :: Size

size :: Length ('Dynamic n kobj) -> Size

alignment :: Size