hashed-storage-0.6: Hashed file storage support code. Source code Contents Index

Storage.Hashed.Utils

Description

Mostly internal utilities for use by the rest of the library. Subject to removal without further notice.

Synopsis

type FileSegment = (Absolute, Maybe (Int64, Int)) readSegment :: FileSegment -> IO ByteString withCurrentDirectory :: AbsRel x => Path x -> IO a -> IO a unsafePokeBS :: ByteString -> ByteString -> IO () align :: Integral a => a -> a -> a xlate32 :: Bits a => a -> a xlate64 :: Bits a => a -> a mfixFrom :: (Eq a, Functor m, Monad m) => (a -> m a) -> a -> m a fixFrom :: Eq a => (a -> a) -> a -> a reachable :: forall monad key value. (Functor monad, Monad monad, Ord key, Eq value) => (value -> monad [key]) -> (key -> monad (Maybe (key, value))) -> Set key -> monad (Map key value)

Documentation

type FileSegment = (Absolute, Maybe (Int64, Int)) Source

Pointer to a filesystem, possibly with start/end offsets. Supposed to be fed to (uncurry mmapFileByteString) or similar.

readSegment :: FileSegment -> IO ByteString Source

Read in a FileSegment into a Lazy ByteString. Implemented using mmap.

withCurrentDirectory :: AbsRel x => Path x -> IO a -> IO a Source

Run an IO action with path as a working directory. Does neccessary bracketing.

unsafePokeBS :: ByteString -> ByteString -> IO () Source

align :: Integral a => a -> a -> a Source

xlate32 :: Bits a => a -> a Source

xlate64 :: Bits a => a -> a Source

mfixFrom :: (Eq a, Functor m, Monad m) => (a -> m a) -> a -> m a Source

Find a monadic fixed point of f that is the least above i. (Will happily diverge if there is none.)

fixFrom :: Eq a => (a -> a) -> a -> a Source

Find a fixed point of f that is the least above i. (Will happily diverge if there is none.)

reachable :: forall monad key value. (Functor monad, Monad monad, Ord key, Eq value) => (value -> monad [key]) -> (key -> monad (Maybe (key, value))) -> Set key -> monad (Map key value) Source

For a refs function, a map (key -> value) and a rootSet, find a submap of map such that all items in map are reachable, through refs from rootSet.

Produced by Haddock version 2.6.0