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