Safe Haskell	None
Language	Haskell2010

Gpu.Vulkan.AllocationCallbacks.Internal

Contents

CREATE
- Function Types
  - Size and Alignment
APPLY

Synopsis

create :: FunctionsInfo a -> (forall s. Functions s a -> IO b) -> IO b
data Functions s a
data FunctionsInfo a = FunctionsInfo {
}
type FnAllocationFunction a = Ptr a -> Size -> Alignment -> SystemAllocationScope -> IO (Ptr ())
type FnReallocationFunction a = Ptr a -> Ptr () -> Size -> Alignment -> SystemAllocationScope -> IO (Ptr ())
type FnFreeFunction a = Ptr a -> Ptr () -> IO ()
type FnInternalAllocationNotification a = Ptr a -> Size -> InternalAllocationType -> SystemAllocationScope -> IO ()
type FnInternalFreeNotification a = Ptr a -> Size -> InternalAllocationType -> SystemAllocationScope -> IO ()
type Size = Word64
type Alignment = Word64
apply :: Functions s a -> Ptr a -> A s a
data A s a
class ToMiddle (msa :: Maybe (Type, Type)) where
- type Snd (msa :: Maybe (Type, Type)) :: Maybe Type
- toMiddle :: M (U2 A) msa -> M A (Snd msa)

CREATE

create :: FunctionsInfo a -> (forall s. Functions s a -> IO b) -> IO b Source #

data Functions s a Source #

Instances

Instances details

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

data FunctionsInfo a #

Constructors

FunctionsInfo
Fields functionsInfoFnAllocation :: FnAllocationFunction a functionsInfoFnReallocation :: FnReallocationFunction a functionsInfoFnFree :: FnFreeFunction a functionsInfoFnInternalAllocationFree :: Maybe (FnInternalAllocationNotification a, FnInternalFreeNotification a)

Function Types

type FnAllocationFunction a = Ptr a -> Size -> Alignment -> SystemAllocationScope -> IO (Ptr ()) #

type FnReallocationFunction a = Ptr a -> Ptr () -> Size -> Alignment -> SystemAllocationScope -> IO (Ptr ()) #

type FnFreeFunction a = Ptr a -> Ptr () -> IO () #

type FnInternalAllocationNotification a = Ptr a -> Size -> InternalAllocationType -> SystemAllocationScope -> IO () #

type FnInternalFreeNotification a = Ptr a -> Size -> InternalAllocationType -> SystemAllocationScope -> IO () #

Size and Alignment

type Size = Word64 #

type Alignment = Word64 #

APPLY

apply :: Functions s a -> Ptr a -> A s a Source #

data A s a Source #

Instances

Instances details

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

class ToMiddle (msa :: Maybe (Type, Type)) where Source #

Associated Types

type Snd (msa :: Maybe (Type, Type)) :: Maybe Type Source #

Methods

toMiddle :: M (U2 A) msa -> M A (Snd msa) Source #

Instances

Instances details

ToMiddle ('Nothing :: Maybe (Type, Type)) Source #

Instance details

Defined in Gpu.Vulkan.AllocationCallbacks.Type

Associated Types

type Snd ('Nothing :: Maybe (Type, Type))
Instance details Defined in Gpu.Vulkan.AllocationCallbacks.Type type Snd ('Nothing :: Maybe (Type, Type)) = 'Nothing :: Maybe Type

Methods

toMiddle :: M (U2 A) ('Nothing :: Maybe (Type, Type)) -> M A (Snd ('Nothing :: Maybe (Type, Type))) Source #

ToMiddle ('Just '(s, a)) Source #

Instance details

Defined in Gpu.Vulkan.AllocationCallbacks.Type

Associated Types

type Snd ('Just '(s, a))
Instance details Defined in Gpu.Vulkan.AllocationCallbacks.Type type Snd ('Just '(s, a)) = 'Just a

Methods

toMiddle :: M (U2 A) ('Just '(s, a)) -> M A (Snd ('Just '(s, a))) Source #