Safe Haskell | Safe-Inferred |
---|
Helper functions for newtype wrappers.
Documentation
alloc :: (Failure AllocFailure m, IdAllocator a) => (a -> a') -> a -> m (Id a, a')Source
free :: (Failure AllocFailure m, IdAllocator a) => (a -> a') -> Id a -> a -> m a'Source
statistics :: IdAllocator a => a -> StatisticsSource
allocRange :: (Failure AllocFailure m, RangeAllocator a) => (a -> a') -> Int -> a -> m (Range (Id a), a')Source
freeRange :: (Failure AllocFailure m, RangeAllocator a) => (a -> a') -> Range (Id a) -> a -> m a'Source