Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 s. F s -> IO a) -> IO a
- data F sf
- 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 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))
- 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 ()
- newtype CreateFlagBits = CreateFlagBits Word32
- pattern CreateFlagBitsMaxEnum :: CreateFlagBits
- pattern CreateFlagsZero :: CreateFlagBits
- unCreateFlagBits :: CreateFlagBits -> Word32
- type CreateFlags = CreateFlagBits
- pattern CreateSignaledBit :: CreateFlagBits
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 Source #
data CreateInfo (mn :: Maybe Type) #
CreateInfo | |
|
Instances
Show (M mn) => Show (CreateInfo mn) | |
Defined in Gpu.Vulkan.Fence.Middle.Internal 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 |
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 Source #
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)) Source #
unsafeDestroy :: forall k (ma :: Maybe (Type, Type)) sd sf. (Ord k, ToMiddle ma) => Group sd ma sf k -> k -> IO (Either String ()) Source #
lookup :: forall k sd (ma :: Maybe (Type, Type)) sf. Ord k => Group sd ma sf k -> k -> IO (Maybe (F sf)) Source #
WAIT FOR FENCES AND RESET FENCES
waitForFs :: forall sd (sfs :: [Type]). D sd -> PL F sfs -> Bool -> Maybe DiffTime -> IO () Source #
ENUM
newtype CreateFlagBits #
Instances
pattern CreateFlagBitsMaxEnum :: CreateFlagBits #
pattern CreateFlagsZero :: CreateFlagBits #
type CreateFlags = CreateFlagBits #
pattern CreateSignaledBit :: CreateFlagBits #