Safe Haskell	None
Language	Haskell2010

Gpu.Vulkan.Semaphore.Internal

Contents

Synopsis

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 = S S
data CreateInfo (mn :: Maybe Type) = CreateInfo {
- createInfoNext :: M mn
- createInfoFlags :: CreateFlags
}
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))
data SubmitInfo (mn :: Maybe Type) ss = SubmitInfo {
- submitInfoNext :: M mn
- submitInfoSemaphore :: S ss
- submitInfoValue :: Word64
- submitInfoStageMask :: StageFlags2
- submitInfoDeviceIndex :: Index
}
class (Length (M0_2 mnsss), ToListWithCCpsM' WithPoked M (M0_2 mnsss)) => SubmitInfoListToMiddle (mnsss :: [(Maybe Type, Type)]) where
- submitInfoListToMiddle :: PL (U2 SubmitInfo) mnsss -> PL SubmitInfo (M0_2 mnsss)

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 Source #

newtype S s Source #

Constructors

Instances details

Show (S s) Source #
Instance details Defined in Gpu.Vulkan.Semaphore.Type Methods showsPrec :: Int -> S s -> ShowS # show :: S s -> String # showList :: [S s] -> ShowS #

Constructors

CreateInfo
Fields createInfoNext :: M mn createInfoFlags :: CreateFlags

Instances details

Default (CreateInfo ('Nothing :: Maybe Type))
Instance details Defined in Gpu.Vulkan.Semaphore.Middle.Internal Methods def :: CreateInfo ('Nothing :: Maybe Type) #
Show (M mn) => Show (CreateInfo mn)
Instance details Defined in Gpu.Vulkan.Semaphore.Middle.Internal Methods showsPrec :: Int -> CreateInfo mn -> ShowS # show :: CreateInfo mn -> String # showList :: [CreateInfo mn] -> ShowS #

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 Source #

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

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)) Source #

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

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

Constructors

SubmitInfo
Fields submitInfoNext :: M mn submitInfoSemaphore :: S ss submitInfoValue :: Word64 submitInfoStageMask :: StageFlags2 submitInfoDeviceIndex :: Index

Methods

Instances details

SubmitInfoListToMiddle ('[] :: [(Maybe Type, Type)]) Source #
Instance details Defined in Gpu.Vulkan.Semaphore.Internal Methods submitInfoListToMiddle :: PL (U2 SubmitInfo) ('[] :: [(Maybe Type, Type)]) -> PL SubmitInfo (M0_2 ('[] :: [(Maybe Type, Type)])) Source #
(Length (M0_2 (mnss ': mnsss)), ToListWithCCpsM' WithPoked M (M0_2 (mnss ': mnsss)), SubmitInfoListToMiddle mnsss) => SubmitInfoListToMiddle (mnss ': mnsss) Source #
Instance details Defined in Gpu.Vulkan.Semaphore.Internal Methods submitInfoListToMiddle :: PL (U2 SubmitInfo) (mnss ': mnsss) -> PL SubmitInfo (M0_2 (mnss ': mnsss)) Source #