halfs: The HAskelL File System ("halfs" -- intended for use on the HaLVM)

[ bsd3, library, program, system ] [ Propose Tags ]

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.


[Last Documentation]

  • 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


Automatic Flags

Build the test executables


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


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.2, 2.0
Dependencies array, base (>=3 && <=4), bytestring, cereal, containers, directory, filepath, fingertree, halfs, HFuse (>=, mtl, QuickCheck, random, time, unix [details]
License BSD-3-Clause
Author Joel Stanley <intractable@gmail.com>, Adam Wick <awick@galois.com>, Isaac Jones <ijones@galois.com>
Maintainer Joel Stanley <intractable@gmail.com>
Category System
Source repo head: git clone git clone https://github.com/GaloisInc/halfs.git
Uploaded by JoelStanley at 2012-10-10T17:31:08Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables halfs, halfs-tests
Downloads 1735 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-23 [all 7 reports]