Gpu.Vulkan.VertexInput

Documentation

data Rate

Constructors

RateVertex

RateInstance

Instances

Show Rate

Defined in Gpu.Vulkan.VertexInput.Internal

Methods

showsPrec :: Int -> Rate -> ShowS

show :: Rate -> String

showList :: [Rate] -> ShowS

T 'RateInstance Rate

Defined in Gpu.Vulkan.VertexInput.Internal

Methods

t :: Rate

T 'RateVertex Rate

Defined in Gpu.Vulkan.VertexInput.Internal

Methods

t :: Rate

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

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