Gpu.Vulkan.DescriptorSetLayout

CREATE

create :: forall (mn :: Maybe Type) (bts :: [BindingType]) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), BindingListToMiddle bts, ToMiddle mac) => D sd -> CreateInfo mn bts -> M (U2 A) mac -> (forall s. D s bts -> IO a) -> IO a

data D (s :: k) (bts :: [BindingType])

Instances

Show (D s bts)

Defined in Gpu.Vulkan.DescriptorSetLayout.Type

Methods

showsPrec :: Int -> D s bts -> ShowS

show :: D s bts -> String

showList :: [D s bts] -> ShowS

data CreateInfo (mn :: Maybe Type) (bts :: [BindingType])

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags
• createInfoBindings :: PL Binding bts

Binding

data Binding (bt :: BindingType) where

Constructors

BindingBuffer

Fields

• :: forall (objs :: [O]). { bindingBufferDescriptorType :: Type
•    , bindingBufferStageFlags :: ShaderStageFlags
•    } -> Binding ('Buffer objs)

BindingBufferView

Fields

• :: forall (bvargs :: [(Symbol, Type)]). { bindingBufferViewDescriptorType :: Type
•    , bindingBufferViewStageFlags :: ShaderStageFlags
•    } -> Binding ('BufferView bvargs)

BindingImage

Fields

• :: forall (iargs :: [(Symbol, Format)]). { bindingImageDescriptorType :: Type
•    , bindingImageStageFlags :: ShaderStageFlags
•    } -> Binding ('Image iargs)

BindingImageSampler

Fields

• :: forall (iargs :: [(Symbol, Format, Type)]). { bindingImageSamplerDescriptorType :: Type
•    , bindingImageSamplerStageFlags :: ShaderStageFlags
•    , bindingImageSamplerImmutableSamplers :: PL S (M2_3 iargs)
•    } -> Binding ('ImageSampler iargs)

class BindingListToMiddle (bts :: [BindingType])

Minimal complete definition

bindingListToMiddle

Instances

BindingListToMiddle ('[] :: [BindingType])

Defined in Gpu.Vulkan.DescriptorSetLayout

Methods

bindingListToMiddle :: PL Binding ('[] :: [BindingType]) -> Word32 -> [Binding]

(BindingToMiddle bt, BindingListToMiddle bts) => BindingListToMiddle (bt ': bts)

Defined in Gpu.Vulkan.DescriptorSetLayout

Methods

bindingListToMiddle :: PL Binding (bt ': bts) -> Word32 -> [Binding]

BindingType

data BindingType

Constructors

Image [(Symbol, Format)]

ImageSampler [(Symbol, Format, Type)]

Buffer [O]

BufferView [(Symbol, Type)]

Instances

CreateInfoListToMiddle ('[] :: [(Maybe Type, (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]), (Type, [(Type, [BindingType])], [Type]), (k, (Type, [(Type, [BindingType])], [Type])))])

Defined in Gpu.Vulkan.Pipeline.Compute

Methods

createInfoListToMiddle :: D sd -> PL (U4 (CreateInfo :: Maybe Type -> (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]) -> (Type, [(Type, [BindingType])], [Type]) -> (k, (Type, [(Type, [BindingType])], [Type])) -> Type)) ('[] :: [(Maybe Type, (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]), (Type, [(Type, [BindingType])], [Type]), (k, (Type, [(Type, [BindingType])], [Type])))]) -> IO (PL (U3 CreateInfo) (MiddleArgs ('[] :: [(Maybe Type, (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]), (Type, [(Type, [BindingType])], [Type]), (k, (Type, [(Type, [BindingType])], [Type])))])))

(WithPoked (M n'), CreateInfoListToMiddle as, ToMiddle mscc, WithPoked (M n), WithPoked (M n1), PokableList vs) => CreateInfoListToMiddle ('(n, '(n1, n', 'GlslComputeShader, mscc, vs), lyta, bpha) ': as :: [(Maybe Type, (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]), (Type, [(Type, [BindingType])], [Type]), (k, (Type, [(Type, [BindingType])], [Type])))])

Defined in Gpu.Vulkan.Pipeline.Compute

Methods

createInfoListToMiddle :: D sd -> PL (U4 (CreateInfo :: Maybe Type -> (Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type]) -> (Type, [(Type, [BindingType])], [Type]) -> (k, (Type, [(Type, [BindingType])], [Type])) -> Type)) ('(n, '(n1, n', 'GlslComputeShader, mscc, vs), lyta, bpha) ': as) -> IO (PL (U3 CreateInfo) (MiddleArgs ('(n, '(n1, n', 'GlslComputeShader, mscc, vs), lyta, bpha) ': as)))

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

Defined in Gpu.Vulkan.Cmd

Methods

getDynamicLength :: PL (U2 D) ('[] :: [(Type, (Type, [BindingType]))]) -> IO (PL3 Length (LayoutArgListOnlyDynamics (M1_2 ('[] :: [(Type, (Type, [BindingType]))]))))

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

Defined in Gpu.Vulkan.DescriptorSet

Methods

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

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

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

BindingListToMiddle ('[] :: [BindingType])

Defined in Gpu.Vulkan.DescriptorSetLayout

Methods

bindingListToMiddle :: PL Binding ('[] :: [BindingType]) -> Word32 -> [Binding]

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

Defined in Gpu.Vulkan.Pipeline.Compute

Methods

fromMiddleList :: forall {k} (sc :: k). [C] -> PL (C sc) ('[] :: [(Type, [(Type, [BindingType])], [Type])])

CreateInfoListToMiddle ('[] :: [(Maybe Type, [(Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type])], (Maybe Type, [(Type, Rate)], [(Nat, Type)]), Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, (Type, [(Type, [BindingType])], [Type]), Type, (Type, [(Type, Rate)], [(Nat, Type)], (Type, [(Type, [BindingType])], [Type])))])

Defined in Gpu.Vulkan.Pipeline.Graphics

Methods

createInfoListToMiddle :: D sd -> PL (U14 CreateInfo) ('[] :: [(Maybe Type, [(Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type])], (Maybe Type, [(Type, Rate)], [(Nat, Type)]), Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, (Type, [(Type, [BindingType])], [Type]), Type, (Type, [(Type, Rate)], [(Nat, Type)], (Type, [(Type, [BindingType])], [Type])))]) -> IO (PL (U11 CreateInfo) (MiddleArgs ('[] :: [(Maybe Type, [(Maybe Type, Maybe Type, ShaderKind, Maybe (Type, Type), [Type])], (Maybe Type, [(Type, Rate)], [(Nat, Type)]), Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, Maybe Type, (Type, [(Type, [BindingType])], [Type]), Type, (Type, [(Type, Rate)], [(Nat, Type)], (Type, [(Type, [BindingType])], [Type])))])))

GetDynamicLength spslbtss => GetDynamicLength (slbts ': spslbtss)

Defined in Gpu.Vulkan.Cmd

Methods

getDynamicLength :: PL (U2 D) (slbts ': spslbtss) -> IO (PL3 Length (LayoutArgListOnlyDynamics (M1_2 (slbts ': spslbtss))))

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

Defined in Gpu.Vulkan.DescriptorSet

Methods

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

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

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

(BindingToMiddle bt, BindingListToMiddle bts) => BindingListToMiddle (bt ': bts)

Defined in Gpu.Vulkan.DescriptorSetLayout

Methods

bindingListToMiddle :: PL Binding (bt ': bts) -> Word32 -> [Binding]

FromMiddleList ss => FromMiddleList (s ': ss)

Defined in Gpu.Vulkan.Pipeline.Compute

Methods

fromMiddleList :: forall {k} (sc :: k). [C] -> PL (C sc) (s ': ss)

(Map3_5 ssas, CreateInfoListToMiddle ssas, CreateInfoListToCore (MiddleArgs ssas), BindingStrideList vibs Rate, AttributeDescriptions vibs vias, WithPoked (M mn), WithPoked (M nvis), WithPoked (M iasa), WithPoked (M tsssa), WithPoked (M vpsa), WithPoked (M rstsa), WithPoked (M mssa), WithPoked (M dssa), WithPoked (M cbsa), WithPoked (M dsa), CreateInfoListToMiddle ss) => CreateInfoListToMiddle ('(mn, ssas, '(nvis, vibs, vias), iasa, tsssa, vpsa, rstsa, mssa, dssa, cbsa, dsa, '(sl, sbtss, pcl), rpa, '(sb, vibs', vias', slbtss')) ': ss)

Defined in Gpu.Vulkan.Pipeline.Graphics

Methods

createInfoListToMiddle :: D sd -> PL (U14 CreateInfo) ('(mn, ssas, '(nvis, vibs, vias), iasa, tsssa, vpsa, rstsa, mssa, dssa, cbsa, dsa, '(sl, sbtss, pcl), rpa, '(sb, vibs', vias', slbtss')) ': ss) -> IO (PL (U11 CreateInfo) (MiddleArgs ('(mn, ssas, '(nvis, vibs, vias), iasa, tsssa, vpsa, rstsa, mssa, dssa, cbsa, dsa, '(sl, sbtss, pcl), rpa, '(sb, vibs', vias', slbtss')) ': ss)))

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)

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)

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)

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

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)

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)

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)

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 family BindingTypeListBufferOnlyDynamics (bts :: [BindingType]) :: [[O]] where ...

Equations

BindingTypeListBufferOnlyDynamics ('[] :: [BindingType]) = '[] :: [[O]]

BindingTypeListBufferOnlyDynamics (bt ': bts) = BindingTypeBufferOnlyDynamics bt ': BindingTypeListBufferOnlyDynamics bts

ENUM

newtype CreateFlagBits

Constructors

CreateFlagBits Word32

Instances

Default CreateFlagBits

Defined in Gpu.Vulkan.DescriptorSetLayout.Enum

Methods

def :: CreateFlagBits

Bits CreateFlagBits

Defined in Gpu.Vulkan.DescriptorSetLayout.Enum

Methods

(.&.) :: CreateFlagBits -> CreateFlagBits -> CreateFlagBits

(.|.) :: CreateFlagBits -> CreateFlagBits -> CreateFlagBits

xor :: CreateFlagBits -> CreateFlagBits -> CreateFlagBits

complement :: CreateFlagBits -> CreateFlagBits

shift :: CreateFlagBits -> Int -> CreateFlagBits

rotate :: CreateFlagBits -> Int -> CreateFlagBits

zeroBits :: CreateFlagBits

bit :: Int -> CreateFlagBits

setBit :: CreateFlagBits -> Int -> CreateFlagBits

clearBit :: CreateFlagBits -> Int -> CreateFlagBits

complementBit :: CreateFlagBits -> Int -> CreateFlagBits

testBit :: CreateFlagBits -> Int -> Bool

bitSizeMaybe :: CreateFlagBits -> Maybe Int

bitSize :: CreateFlagBits -> Int

isSigned :: CreateFlagBits -> Bool

shiftL :: CreateFlagBits -> Int -> CreateFlagBits

unsafeShiftL :: CreateFlagBits -> Int -> CreateFlagBits

shiftR :: CreateFlagBits -> Int -> CreateFlagBits

unsafeShiftR :: CreateFlagBits -> Int -> CreateFlagBits

rotateL :: CreateFlagBits -> Int -> CreateFlagBits

rotateR :: CreateFlagBits -> Int -> CreateFlagBits

popCount :: CreateFlagBits -> Int

Storable CreateFlagBits

Defined in Gpu.Vulkan.DescriptorSetLayout.Enum

Methods

sizeOf :: CreateFlagBits -> Int

alignment :: CreateFlagBits -> Int

peekElemOff :: Ptr CreateFlagBits -> Int -> IO CreateFlagBits

pokeElemOff :: Ptr CreateFlagBits -> Int -> CreateFlagBits -> IO ()

peekByteOff :: Ptr b -> Int -> IO CreateFlagBits

pokeByteOff :: Ptr b -> Int -> CreateFlagBits -> IO ()

peek :: Ptr CreateFlagBits -> IO CreateFlagBits

poke :: Ptr CreateFlagBits -> CreateFlagBits -> IO ()

Show CreateFlagBits

Defined in Gpu.Vulkan.DescriptorSetLayout.Enum

Methods

showsPrec :: Int -> CreateFlagBits -> ShowS

show :: CreateFlagBits -> String

showList :: [CreateFlagBits] -> ShowS

Eq CreateFlagBits

Defined in Gpu.Vulkan.DescriptorSetLayout.Enum

Methods

(==) :: CreateFlagBits -> CreateFlagBits -> Bool

(/=) :: CreateFlagBits -> CreateFlagBits -> Bool

pattern CreateFlagBitsMaxEnum :: CreateFlagBits

pattern CreateFlagsZero :: CreateFlagBits

unCreateFlagBits :: CreateFlagBits -> Word32

type CreateFlags = CreateFlagBits

pattern CreateHostOnlyPoolBitValve :: CreateFlagBits

pattern CreateUpdateAfterBindPoolBitExt :: CreateFlagBits

pattern CreatePerStageBitNv :: CreateFlagBits

pattern CreateHostOnlyPoolBitExt :: CreateFlagBits

pattern CreateIndirectBindableBitNv :: CreateFlagBits

pattern CreateEmbeddedImmutableSamplersBitExt :: CreateFlagBits

pattern CreateDescriptorBufferBitExt :: CreateFlagBits

pattern CreatePushDescriptorBitKhr :: CreateFlagBits

pattern CreateUpdateAfterBindPoolBit :: CreateFlagBits