Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Haskus.Memory.Property
Description
Memory properties
Synopsis
- data Mutability
- data Heap
- data Pinning
- data Finalization
Documentation
data Mutability Source #
Is the memory mutable or not?
Instances
Eq Mutability Source # | |
Defined in Haskus.Memory.Property | |
Show Mutability Source # | |
Defined in Haskus.Memory.Property Methods showsPrec :: Int -> Mutability -> ShowS # show :: Mutability -> String # showList :: [Mutability] -> ShowS # |
Is the buffer pinned into memory?
Constructors
Pinned | The buffer has a fixed associated memory address |
NotPinned | The buffer contents can be freely moved to another address |
data Finalization Source #
Is the memory automatically garbage collected?
Constructors
Collected | Automatically collected by the garbage-collector |
Finalized | Finalizers are run just before the garbage collector collects the referencing entity (buffer, pointer...). The memory used by the entity may be collected too (Internal heap), explicitly freed by a finalizer or not freed at all. |
NotFinalized | The memory is not automatically freed and we can't attach finalizers to the buffer. |
Instances
Eq Finalization Source # | |
Defined in Haskus.Memory.Property | |
Show Finalization Source # | |
Defined in Haskus.Memory.Property Methods showsPrec :: Int -> Finalization -> ShowS # show :: Finalization -> String # showList :: [Finalization] -> ShowS # |