Gpu.Vulkan.BufferView

CREATE

create :: forall (mn :: Maybe Type) t (nm :: Symbol) (objs :: [O]) (mscc :: Maybe (Type, Type)) sd sm sb (bnm :: Symbol) a. (WithPoked (M mn), FormatToValue (FormatOf t), OffsetOfList t nm objs, ToMiddle mscc) => D sd -> CreateInfo mn t nm '(sm, sb, bnm, objs) -> M (U2 A) mscc -> (forall s. B s nm t -> IO a) -> IO a

data B s (nm :: Symbol) t

Instances

Show (B s nm t)

Defined in Gpu.Vulkan.BufferView.Internal

Methods

showsPrec :: Int -> B s nm t -> ShowS

show :: B s nm t -> String

showList :: [B s nm t] -> ShowS

data CreateInfo (mn :: Maybe Type) t (nm :: Symbol) (snmobjs :: (Type, Type, Symbol, [O]))

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags
• createInfoBuffer :: U4 Binded snmobjs

type family FormatOf t :: Format

Buffer View Group

data Group (ma :: Maybe (Type, Type)) s k (nm :: Symbol) t

group :: forall (ma :: Maybe (Type, Type)) sd k (nm :: Symbol) t a. ToMiddle ma => D sd -> M (U2 A) ma -> (forall s. Group ma s k nm t -> IO a) -> IO a

create' :: forall k (mn :: Maybe Type) t (nm :: Symbol) (objs :: [O]) (mscc :: Maybe (Type, Type)) sd s sm sb (bnm :: Symbol). (Ord k, WithPoked (M mn), FormatToValue (FormatOf t), OffsetOfList t nm objs, ToMiddle mscc) => D sd -> Group mscc s k nm t -> k -> CreateInfo mn t nm '(sm, sb, bnm, objs) -> IO (Either String (B s nm t))

unsafeDestroy :: forall k (ma :: Maybe (Type, Type)) sd sg (nm :: Symbol) t. (Ord k, ToMiddle ma) => D sd -> Group ma sg k nm t -> k -> IO (Either String ())

lookup :: forall k (md :: Maybe (Type, Type)) sg (nm :: Symbol) t. Ord k => Group md sg k nm t -> k -> IO (Maybe (B sg nm t))