The halfs package

[Tags:bsd3, library, program]

A library implementing a file system suitable for use in HaLVMs. Provides useful abstractions over the underlying block layer. Implemented atop FUSE. Note: This is a new implementation of the halfs project, and bears little to no resemblance to halfs 0.2.

Properties

Versions 0.2, 2.0
Dependencies array, base (>=3 && <=4), bytestring, cereal, containers, directory, filepath, fingertree, halfs, HFuse (>=0.2.4.1), mtl, QuickCheck, random, time, unix [details]
License BSD3
Author Joel Stanley <intractable@gmail.com>, Adam Wick <awick@galois.com>, Isaac Jones <ijones@galois.com>
Maintainer Joel Stanley <intractable@gmail.com>
Stability experimental
Category System
Source repository head: git clone git clone https://github.com/GaloisInc/halfs.git
Uploaded Wed Oct 10 17:31:08 UTC 2012 by JoelStanley
Distributions NixOS:2.0
Downloads 474 total (3 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-12 [all 5 reports]

Modules

  • Halfs
    • Halfs.BlockMap
    • Halfs.Classes
    • Halfs.CoreAPI
    • Halfs.Directory
    • Halfs.Errors
    • Halfs.File
    • Halfs.HalfsState
    • Halfs.Inode
    • Halfs.Monad
    • Halfs.MonadUtils
    • Halfs.Protection
    • Halfs.SuperBlock
    • Halfs.Types
    • Halfs.Utils
  • System
    • Device
      • System.Device.BlockDevice
      • System.Device.File
      • System.Device.Memory
      • System.Device.ST
  • Tests
    • Tests.Instances
    • Tests.Types
    • Tests.Utils

Flags

NameDescriptionDefaultType
build-testsBuild the test executablesEnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees