Hackage :: [Package]

pure-borrow: Rust-style borrowing in Linear Haskell with purity

[ bsd3, library, linear-haskell, program ] [ Propose Tags ] [ Report a vulnerability ]

This package realizes rust-style borrowing in Linear Haskell with purity and concurrency support. See Control.Monad.Borrow.Pure for the main API documentation, and see our paper Pure Borrowing: Linear Haskell Meets Rust-Style Borrowing by Y. Matsushita and H. Ishii for the details.

[Skip to Readme]

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
examples

Build the example executable, which runs some examples of the library.

Disabled
slow

Restore the previous, sublifetime-allocating implementations of the scalar borrow scopes (sharing, sharing', sharing_, reborrowing, reborrowing', reborrowing_), of their plural counterparts (reborrowings, reborrowings', reborrowings_), of srunBO/srunBO_ and of copyAtMut. These build the sublifetime at runtime, with a token and a lender, where the default implementations delimit exactly the same sublifetime statically. Enable to A/B the two against each other, or to check whether a suspected miscompilation or unsoundness is attributable to the erased scopes.

Disabled

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.0.0.0, 0.1.0.0
Change log CHANGELOG.md
Dependencies array, atomic-primops, base (>=4.17 && <5), bytestring, cassava, containers, deepseq, directory, filepath, fmlist, hashable, hybrid-vectors, integer-logarithms, linear-base (>=0.7), linear-generics, monoidal-containers, optparse-applicative, primitive, pure-borrow, random, stm, stm-chans, tasty-bench, text, unordered-containers, vector, vector-algorithms [details]
Tested with ghc ==9.10.3 || ==9.12.4 || ==9.14.1
License BSD-3-Clause
Copyright Copyright (c) 2025-present, Yusuke Matsushita and Hiromi Ishii
Author Yusuke Matsushita and Hiromi Ishii
Maintainer ysk.m24t@gmail.com konn.jinro@gmail.com
Uploaded by HiromiIshii at 2026-09-20T08:53:27Z
Category Linear Haskell
Home page https://github.com/SoftwareFoundationGroupAtKyotoU/pure-borrow
Source repo head: git clone https://github.com/SoftwareFoundationGroupAtKyotoU/pure-borrow
Distributions
Executables convert-qsort-bench-csv, fft, qsort
Downloads 25 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2026-09-20 [all 2 reports]

Readme for pure-borrow-0.1.0.0

[back to package description]

pure-borrow: Pure realization of Rust-style borrows in Linear Haskell

This is pure-borrow, a library that realizes Rust-style borrows in Linear Haskell in a pure manner. See the haddock or publication below for the more information.

Supported GHC Versions

We support GHC 9.10.2+, but we recommend GHC 9.12.4+, due to subtle compiler bug in older GHC.

Known Issues

Due to the bug of linear types in GHC <9.12.3, some program segfaults when evaluated in interpreter with older GHCs (see https://gitlab.haskell.org/ghc/ghc/-/issues/26565#note_645783). Compiled programs just work as expected with GHC 9.10.2+, so this issue will only affect you are trying to use GHCi or Eval Plugin of Haskell Language Server. If you want to use interpreters, use GHC 9.12.3+.

Publication(s)

  • Y. Matsushita and H. Ishii, Pure Borrow: Linear Haskell Meets Rust-Style Borrowing, 2026. To appear in: PLDI 2026. Boulder, Colorado, USA, June 15-19. DOI: 10.1145/3808259. Extended Version: arxiv:2604.15290.
  • Y. Matsushita and H. Ishii, Artifact for PLDI 2026 "Pure Borrow: Linear Haskell Meets Rust-Style Borrowing", 2026. Zenodo: https://zenodo.org/records/19622061.