The halfs package
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, HFuse (≥0.2.4.1), mtl, QuickCheck, random, time, unix |
| 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 | git clone git clone https://github.com/GaloisInc/halfs.git |
| Executables | halfs, halfs-tests |
| Upload date | Wed Oct 10 17:31:08 UTC 2012 |
| Uploaded by | JoelStanley |
| Build failure | ghc-7.6 (log) |
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
- Device
- Tests
- Tests.Instances
- Tests.Types
- Tests.Utils
Downloads
- halfs-2.0.tar.gz (Cabal source package)
- package description (included in the package)