Gpu.Vulkan.Fence.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 s. F s -> IO a) -> IO a

newtype F sf

Constructors

F F

Instances

Show (F sf)

Defined in Gpu.Vulkan.Fence.Type

Methods

showsPrec :: Int -> F sf -> ShowS

show :: F sf -> String

showList :: [F sf] -> 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.Fence.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.Fence.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 sf. Group sd ma sf k -> IO a) -> IO a

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

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

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

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

WAIT FOR FENCES AND RESET FENCES

waitForFs :: forall sd (sfs :: [Type]). D sd -> PL F sfs -> Bool -> Maybe DiffTime -> IO ()

resetFs :: forall sd (sfs :: [Type]). D sd -> PL F sfs -> IO ()