Gpu.Vulkan.Semaphore.Internal

CREATE

create :: forall (mn :: Maybe Type) (mac :: Maybe (Type, Type)) sd a. (WithPoked (M mn), ToMiddle mac) => D sd -> CreateInfo mn -> M (U2 A) mac -> (forall ss. S ss -> IO a) -> IO a

newtype S s

Constructors

S S

Instances

Show (S s)

Defined in Gpu.Vulkan.Semaphore.Type

Methods

showsPrec :: Int -> S s -> ShowS

show :: S s -> String

showList :: [S s] -> ShowS

data CreateInfo (mn :: Maybe Type)

Constructors

CreateInfo

Fields

• createInfoNext :: M mn
• createInfoFlags :: CreateFlags

Instances

Show (M mn) => Show (CreateInfo mn)

Defined in Gpu.Vulkan.Semaphore.Middle.Internal

Methods

showsPrec :: Int -> CreateInfo mn -> ShowS

show :: CreateInfo mn -> String

showList :: [CreateInfo mn] -> ShowS

Default (CreateInfo ('Nothing :: Maybe Type))

Defined in Gpu.Vulkan.Semaphore.Middle.Internal

Methods

def :: CreateInfo ('Nothing :: Maybe Type)

Group

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

data Group sd (ma :: Maybe (Type, Type)) ss k

create' :: forall k (mn :: Maybe Type) (ma :: Maybe (Type, Type)) sd ss. (Ord k, WithPoked (M mn), ToMiddle ma) => Group sd ma ss k -> k -> CreateInfo mn -> IO (Either String (S ss))

unsafeDestroy :: forall k (ma :: Maybe (Type, Type)) sd ss. (Ord k, ToMiddle ma) => Group sd ma ss k -> k -> IO (Either String ())

lookup :: forall k sd (ma :: Maybe (Type, Type)) ss. Ord k => Group sd ma ss k -> k -> IO (Maybe (S ss))