Gpu.Vulkan.DescriptorSet

ALLOCATE

allocateDs :: forall (mn :: Maybe Type) (slbtss :: [(Type, [BindingType])]) sd sp a. (WithPoked (M mn), DListFromMiddle slbtss) => D sd -> AllocateInfo mn sp slbtss -> (forall s. PL (D s) slbtss -> IO a) -> IO a

data D s (slbts :: (Type, [BindingType]))

data AllocateInfo (mn :: Maybe Type) sp (slbtss :: [(Type, [BindingType])])

Constructors

AllocateInfo

Fields

• allocateInfoNext :: M mn
• allocateInfoDescriptorPool :: P sp
• allocateInfoSetLayouts :: PL (U2 (D :: Type -> [BindingType] -> Type)) slbtss

Instances

(Show (M n), Show (PL (U2 (D :: Type -> [BindingType] -> Type)) slbtss)) => Show (AllocateInfo n sp slbtss)

Defined in Gpu.Vulkan.DescriptorSet

Methods

showsPrec :: Int -> AllocateInfo n sp slbtss -> ShowS

show :: AllocateInfo n sp slbtss -> String

showList :: [AllocateInfo n sp slbtss] -> ShowS

class DListFromMiddle (slbtss :: [(Type, [BindingType])])

Minimal complete definition

dListFromMiddle

Instances

DListFromMiddle ('[] :: [(Type, [BindingType])])

Defined in Gpu.Vulkan.DescriptorSet

Methods

dListFromMiddle :: [D] -> IO (PL (D s) ('[] :: [(Type, [BindingType])]))

(DefaultDynamicLengths slbts, DListFromMiddle slbtss) => DListFromMiddle (slbts ': slbtss)

Defined in Gpu.Vulkan.DescriptorSet

Methods

dListFromMiddle :: [D] -> IO (PL (D s) (slbts ': slbtss))

type DefaultDynamicLengths (slbts :: (Type, [BindingType])) = Default (PL (PL Length) (BindingTypeListBufferOnlyDynamics (I1_2 slbts)))

Descriptor Set Group

data Group sd s k sp (slbtss :: [(Type, [BindingType])])

group :: forall sd k sp (slbtss :: [(Type, [BindingType])]) a. D sd -> (forall s. Group sd s k sp slbtss -> IO a) -> IO a

allocateDs' :: forall k (mn :: Maybe Type) (slbtss :: [(Type, [BindingType])]) sd sg sp. (Ord k, WithPoked (M mn), DListFromMiddle slbtss) => Group sd sg k sp slbtss -> k -> AllocateInfo mn sp slbtss -> IO (Either String (PL (D sg) slbtss))

unsafeFreeDs :: forall k sd sg sp (slbtss :: [(Type, [BindingType])]). Ord k => Group sd sg k sp slbtss -> k -> IO (Either String ())

lookup :: forall k sd s sp (slbtss :: [(Type, [BindingType])]). Ord k => Group sd s k sp slbtss -> k -> IO (Maybe (PL (D s) slbtss))

UPDATE

updateDs :: forall (writeArgs :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]) (copyArgs :: [(Maybe Type, Type, (Type, [BindingType]), Nat, Type, (Type, [BindingType]), Nat, BindingType)]) sd. (Show (PL Write (M0_5 writeArgs)), WriteListToMiddle writeArgs, WriteListUpdateDynamicLengths writeArgs, CopyListToMiddle copyArgs) => D sd -> PL (U5 Write) writeArgs -> PL (U8 Copy) copyArgs -> IO ()

Write

data Write (mn :: Maybe Type) sds (slbts :: (Type, [BindingType])) (wsarg :: WriteSourcesArg) (i :: Nat)

Constructors

Write

Fields

• writeNext :: M mn
• writeDstSet :: D sds slbts
• writeDescriptorType :: Type
• writeSources :: WriteSources wsarg

class WriteListToCore (M0_5 wargs) => WriteListToMiddle (wargs :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Minimal complete definition

writeListToMiddle

Instances

WriteListToMiddle ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListToMiddle :: PL (U5 Write) ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]) -> PL Write (M0_5 ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]))

(WithPoked (M mn), WriteSourcesToMiddle (I1_2 slbts) wsarg i, WriteListToMiddle wargs) => WriteListToMiddle ('(mn, sds, slbts, wsarg, i) ': wargs)

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListToMiddle :: PL (U5 Write) ('(mn, sds, slbts, wsarg, i) ': wargs) -> PL Write (M0_5 ('(mn, sds, slbts, wsarg, i) ': wargs))

class WriteListUpdateDynamicLengths (wargs :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Minimal complete definition

writeListUpdateDynamicLength

Instances

WriteListUpdateDynamicLengths ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListUpdateDynamicLength :: PL (U5 Write) ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]) -> IO ()

(WriteSourcesUpdateDynamicLengths bts wsarg, WriteListUpdateDynamicLengths wargs) => WriteListUpdateDynamicLengths ('(mn, sds, '(sl, bts), wsarg, i) ': wargs)

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListUpdateDynamicLength :: PL (U5 Write) ('(mn, sds, '(sl, bts), wsarg, i) ': wargs) -> IO ()

class OnlyDynamicLengths objs => UpdateDynamicLength (bts :: [BindingType]) (objs :: [O])

Minimal complete definition

updateDynamicLength

Instances

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)

(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))

data WriteSources (arg :: WriteSourcesArg) where

Constructors

ImageInfos :: forall (iiargs :: [(Type, Symbol, Format, Type)]). PL (U4 ImageInfo) iiargs -> WriteSources ('WriteSourcesArgImage iiargs)

ImageInfosNoSampler :: forall (iiargs :: [(Symbol, Format, Type)]). PL (U3 ImageInfoNoSampler) iiargs -> WriteSources ('WriteSourcesArgImageNoSampler iiargs)

BufferInfos :: forall (biargs :: [(Type, Type, Symbol, O, Nat)]). PL (U5 BufferInfo) biargs -> WriteSources ('WriteSourcesArgBuffer biargs)

TexelBufferViews :: forall (tbvargs :: [(Type, Symbol, Type)]). PL (U3 B) tbvargs -> WriteSources ('WriteSourcesArgBufferView tbvargs)

WriteSourcesInNext :: DstBinding -> DstArrayElement -> DescriptorCount -> WriteSources 'WriteSourcesArgInNext

data WriteSourcesArg

Constructors

WriteSourcesArgImage [(Type, Symbol, Format, Type)]

WriteSourcesArgImageNoSampler [(Symbol, Format, Type)]

WriteSourcesArgBuffer [(Type, Type, Symbol, O, Nat)]

WriteSourcesArgBufferView [(Type, Symbol, Type)]

WriteSourcesArgInNext

Instances

WriteListToMiddle ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListToMiddle :: PL (U5 Write) ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]) -> PL Write (M0_5 ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]))

WriteListUpdateDynamicLengths ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)])

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListUpdateDynamicLength :: PL (U5 Write) ('[] :: [(Maybe Type, Type, (Type, [BindingType]), WriteSourcesArg, Nat)]) -> IO ()

(WithPoked (M mn), WriteSourcesToMiddle (I1_2 slbts) wsarg i, WriteListToMiddle wargs) => WriteListToMiddle ('(mn, sds, slbts, wsarg, i) ': wargs)

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListToMiddle :: PL (U5 Write) ('(mn, sds, slbts, wsarg, i) ': wargs) -> PL Write (M0_5 ('(mn, sds, slbts, wsarg, i) ': wargs))

(WriteSourcesUpdateDynamicLengths bts wsarg, WriteListUpdateDynamicLengths wargs) => WriteListUpdateDynamicLengths ('(mn, sds, '(sl, bts), wsarg, i) ': wargs)

Defined in Gpu.Vulkan.DescriptorSet.Write

Methods

writeListUpdateDynamicLength :: PL (U5 Write) ('(mn, sds, '(sl, bts), wsarg, i) ': wargs) -> IO ()

class WriteSourcesToMiddle (lbts :: [BindingType]) (wsarg :: WriteSourcesArg) (i :: Nat)

Minimal complete definition

writeSourcesToMiddle

Instances

WriteSourcesToMiddle lbts 'WriteSourcesArgInNext i

Defined in Gpu.Vulkan.DescriptorSet.Write.Sources

Methods

writeSourcesToMiddle :: WriteSources 'WriteSourcesArgInNext -> ((Word32, Word32), WriteSources)

BindingAndArrayElemBuffer lbts (M3_5 barg) i => WriteSourcesToMiddle lbts ('WriteSourcesArgBuffer barg) i

Defined in Gpu.Vulkan.DescriptorSet.Write.Sources

Methods

writeSourcesToMiddle :: WriteSources ('WriteSourcesArgBuffer barg) -> ((Word32, Word32), WriteSources)

BindingAndArrayElemBufferView lbts (M1'2_3 bvarg) i => WriteSourcesToMiddle lbts ('WriteSourcesArgBufferView bvarg) i

Defined in Gpu.Vulkan.DescriptorSet.Write.Sources

Methods

writeSourcesToMiddle :: WriteSources ('WriteSourcesArgBufferView bvarg) -> ((Word32, Word32), WriteSources)

BindingAndArrayElemImage lbts (M1'2_4 iarg) i => WriteSourcesToMiddle lbts ('WriteSourcesArgImage iarg) i

Defined in Gpu.Vulkan.DescriptorSet.Write.Sources

Methods

writeSourcesToMiddle :: WriteSources ('WriteSourcesArgImage iarg) -> ((Word32, Word32), WriteSources)

BindingAndArrayElemImageWithImmutableSampler lbts (M0'1_3 iarg) i => WriteSourcesToMiddle lbts ('WriteSourcesArgImageNoSampler iarg) i

Defined in Gpu.Vulkan.DescriptorSet.Write.Sources

Methods

writeSourcesToMiddle :: WriteSources ('WriteSourcesArgImageNoSampler iarg) -> ((Word32, Word32), WriteSources)

Copy

data Copy (mn :: Maybe Type) sdss (slbtss :: (Type, [BindingType])) (is :: Nat) sdsd (slbtsd :: (Type, [BindingType])) (id :: Nat) (lbts :: BindingType)

Constructors

Copy

Fields

• copyNext :: M mn
• copySrcSet :: D sdss slbtss
• copyDstSet :: D sdsd slbtsd

class CopyListToCore (M0_8 cargs) => CopyListToMiddle (cargs :: [(Maybe Type, Type, (Type, [BindingType]), Nat, Type, (Type, [BindingType]), Nat, BindingType)])

Minimal complete definition

copyListToMiddle

Instances

CopyListToMiddle ('[] :: [(Maybe Type, Type, (Type, [BindingType]), Nat, Type, (Type, [BindingType]), Nat, BindingType)])

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

copyListToMiddle :: PL (U8 Copy) ('[] :: [(Maybe Type, Type, (Type, [BindingType]), Nat, Type, (Type, [BindingType]), Nat, BindingType)]) -> PL Copy (M0_8 ('[] :: [(Maybe Type, Type, (Type, [BindingType]), Nat, Type, (Type, [BindingType]), Nat, BindingType)]))

(WithPoked (M mn), BindingAndArrayElem (I1_2 slbtss) lbts is, BindingAndArrayElem (I1_2 slbtsd) lbts id, BindingLength lbts, CopyListToMiddle cargs) => CopyListToMiddle ('(mn, sdss, slbtss, is, sdsd, slbtsd, id, lbts) ': cargs)

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

copyListToMiddle :: PL (U8 Copy) ('(mn, sdss, slbtss, is, sdsd, slbtsd, id, lbts) ': cargs) -> PL Copy (M0_8 ('(mn, sdss, slbtss, is, sdsd, slbtsd, id, lbts) ': cargs))

BindingAndArrayElem

class BindingAndArrayElem (lbts :: [BindingType]) (lbt :: BindingType) (i :: Nat)

Minimal complete definition

bindingAndArrayElem

Instances

BindingAndArrayElemBuffer lbts objs i => BindingAndArrayElem lbts ('Buffer objs) i

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

bindingAndArrayElem :: Integral n => (n, n)

BindingAndArrayElemBufferView lbts bvargs i => BindingAndArrayElem lbts ('BufferView bvargs) i

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

bindingAndArrayElem :: Integral n => (n, n)

BindingAndArrayElemImage lbts iargs i => BindingAndArrayElem lbts ('Image iargs) i

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

bindingAndArrayElem :: Integral n => (n, n)

BindingAndArrayElemImageWithImmutableSampler lbts (M0'1_3 iargs) i => BindingAndArrayElem lbts ('ImageSampler iargs) i

Defined in Gpu.Vulkan.DescriptorSet.Copy

Methods

bindingAndArrayElem :: Integral n => (n, n)

class BindingAndArrayElemImage (lbts :: [BindingType]) (iargs :: [(Symbol, Format)]) (i :: Nat)

Minimal complete definition

bindingAndArrayElemImage

Instances

BindingAndArrayElemImage ('Image liargs ': lbts) iargs i => BindingAndArrayElemImage ('Image (liarg ': liargs) ': lbts) iargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemImage lbts iargs i => BindingAndArrayElemImage (bt ': lbts) iargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemImage ('Image liargs ': lbts) (iarg ': iargs) (i - 1) => BindingAndArrayElemImage ('Image (iarg ': liargs) ': lbts) (iarg ': iargs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

IsPrefixOf iargs liargs => BindingAndArrayElemImage ('Image (iarg ': liargs) ': lbts) (iarg ': iargs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

class BindingAndArrayElemImageWithImmutableSampler (lbts :: [BindingType]) (iargs :: [(Symbol, Format)]) (i :: Nat)

Minimal complete definition

bindingAndArrayElemImageWithImmutableSampler

Instances

BindingAndArrayElemImageWithImmutableSampler ('ImageSampler liargs ': lbts) iargs i => BindingAndArrayElemImageWithImmutableSampler ('ImageSampler (liarg ': liargs) ': lbts) iargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemImageWithImmutableSampler lbts iargs i => BindingAndArrayElemImageWithImmutableSampler (bt ': lbts) iargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemImageWithImmutableSampler ('ImageSampler liargs ': lbts) ('(nm, fmt) ': iargs) (i - 1) => BindingAndArrayElemImageWithImmutableSampler ('ImageSampler ('(nm, fmt, ss) ': liargs) ': lbts) ('(nm, fmt) ': iargs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

IsPrefixOf iargs (M0'1_3 liargs) => BindingAndArrayElemImageWithImmutableSampler ('ImageSampler ('(nm, fmt, ss) ': liargs) ': lbts) ('(nm, fmt) ': iargs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

class BindingAndArrayElemBuffer (lbts :: [BindingType]) (objs :: [O]) (i :: Nat)

Minimal complete definition

bindingAndArrayElemBuffer

Instances

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)

class BindingAndArrayElemBufferView (bt :: [BindingType]) (bvargs :: [(Symbol, Type)]) (i :: Nat)

Minimal complete definition

bindingAndArrayElemBufferView

Instances

BindingAndArrayElemBufferView ('BufferView lbvargs ': lbts) bvargs i => BindingAndArrayElemBufferView ('BufferView (bvarg ': lbvargs) ': lbts) bvargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemBufferView lbts bvargs i => BindingAndArrayElemBufferView (bt ': lbts) bvargs i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

BindingAndArrayElemBufferView ('BufferView lbvargs ': lbts) (bvarg ': bvargs) (i - 1) => BindingAndArrayElemBufferView ('BufferView (bvarg ': lbvargs) ': lbts) (bvarg ': bvargs) i

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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

IsPrefixOf bvargs lbvargs => BindingAndArrayElemBufferView ('BufferView (bvarg ': lbvargs) ': lbts) (bvarg ': bvargs) 0

Defined in Gpu.Vulkan.DescriptorSet.BindingAndArrayElem

Methods

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