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

[ bsd3, library, program, system ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

[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

Flags

Automatic Flags
NameDescriptionDefault
build-tests

Build the test executables

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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]
Tested with ghc ==7.0.4
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
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables halfs, halfs-tests
Downloads 1762 total (8 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]