homepage: ''
changelog-type: ''
hash: 73cd0452bd16781b037f26be615ef362c4c9b4df288c2fde810eacbb00e34180
test-bench-deps: {}
maintainer: Hails team <hails at scs dot stanford dot edu>
synopsis: Labeled File System interface for LIO
changelog: ''
basic-deps:
  bytestring: -any
  SHA: -any
  unix: -any
  base: ! '>=4.5 && <5.0'
  filepath: -any
  containers: -any
  lio: -any
  xattr: -any
  directory: -any
all-versions:
- 0.0.0.1
- 0.0.1.0
- 0.0.1.2
author: Hails team
latest: 0.0.1.2
description-type: haddock
description: ! 'A very simple file system interface for LIO. Labels are associated

  with files and directories in the form of extended attributes.  This

  library exposes a simple API for on files and directories that

  abides by information flow control: a label on the file protects its

  contents, while a directory label protects the containing files''

  attributes (names and labels).


  See "LIO.FS.TCB" for a description of the filestore implementation

  and "LIO.FS.Simple" for a description of the actual API.


  This library is still under development, use with care.'
license-name: LicenseRef-GPL

homepage: ''
changelog-type: ''
hash: 22e7eebcae379b56d3071d6477fc2e1c310f0cc50b59ed40a0009eb97ed48def
test-bench-deps: {}
maintainer: Hails team <hails at scs dot stanford dot edu>
synopsis: Labeled File System interface for LIO
changelog: ''
basic-deps:
  bytestring: -any
  SHA: -any
  unix: -any
  base: '>=4.5 && <5.0'
  filepath: -any
  containers: -any
  lio: -any
  xattr: -any
  directory: <1.3.8
all-versions:
- 0.0.0.1
- 0.0.1.0
- 0.0.1.2
author: Hails team
latest: 0.0.1.2
description-type: haddock
description: |-
  A very simple file system interface for LIO. Labels are associated
  with files and directories in the form of extended attributes.  This
  library exposes a simple API for on files and directories that
  abides by information flow control: a label on the file protects its
  contents, while a directory label protects the containing files'
  attributes (names and labels).

  See "LIO.FS.TCB" for a description of the filestore implementation
  and "LIO.FS.Simple" for a description of the actual API.

  This library is still under development, use with care.
license-name: LicenseRef-GPL

Update from Hackage at 2022-11-21T07:18:37Z
Update from Hackage at 2022-11-21T07:18:37Z
