Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
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 -> Statistics Source
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