Sync.MerkleTree.Types

Documentation

data File

Information about a file that we expect to change, when the contents change.

Constructors

File

Fields

f_name :: Path

f_size :: FileSize

f_modtime :: FileModTime

Instances

Eq File

Ord File

Generic File

Serial File

type Rep File

data Entry

Constructors

FileEntry File

DirectoryEntry Path

Instances

Eq Entry

Ord Entry

Entries are sorted first according to their depth in the path which is useful for directory operations

Generic Entry

Serial Entry

HasDigest Entry

type Rep Entry

newtype FileSize

Constructors

FileSize

Fields

unFileSize :: Int64

Instances

Eq FileSize

Num FileSize

Ord FileSize

Generic FileSize

Serial FileSize

type Rep FileSize

data FileModTime

Constructors

FileModTime

Fields

unModTime :: !Int64

Instances

Eq FileModTime

Ord FileModTime

Generic FileModTime

Serial FileModTime

type Rep FileModTime

data Path

Representation for paths below the synchronization root directory

Constructors

Root

Path Text Path

Instances

Eq Path

Ord Path

Generic Path

Serial Path

type Rep Path

toFilePath :: FilePath -> Path -> FilePath

Returns the string representation of a path

levelOf :: Entry -> Int

Return the depth of an entries path