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]

Control
- Concurrent
  - DivideConquer
    - Control.Concurrent.DivideConquer.Linear
  - STM
    - Control.Concurrent.STM.TMDeque
    - Control.Concurrent.STM.TMDequeRingBuffer
- Monad
  - Borrow
    - Control.Monad.Borrow.Pure
      - Control.Monad.Borrow.Pure.Affine
        Control.Monad.Borrow.Pure.Affine.Internal
        Control.Monad.Borrow.Pure.Affine.Unsafe
      - Control.Monad.Borrow.Pure.BO
        Control.Monad.Borrow.Pure.BO.Internal
        Control.Monad.Borrow.Pure.BO.Unsafe
      - Control.Monad.Borrow.Pure.Clone
      - Control.Monad.Borrow.Pure.Copyable
      - Experimental
        Control.Monad.Borrow.Pure.Experimental.Borrows
        Control.Monad.Borrow.Pure.Experimental.Loop
        Control.Monad.Borrow.Pure.Experimental.Reborrowable
      - Control.Monad.Borrow.Pure.Lifetime
        Control.Monad.Borrow.Pure.Lifetime.Internal
        Control.Monad.Borrow.Pure.Lifetime.Token
        Control.Monad.Borrow.Pure.Lifetime.Token.Internal
        Control.Monad.Borrow.Pure.Lifetime.Token.Unsafe
- Syntax
  - Control.Syntax.DataFlow
Data
- Coerce
  - Data.Coerce.Directed
    - Data.Coerce.Directed.Internal
    - Data.Coerce.Directed.Unsafe
- Comonad
  - Data.Comonad.Linear
- Record
  - Linear
    - Borrow
      - Experimental
        Data.Record.Linear.Borrow.Experimental.PatternMatch
        Data.Record.Linear.Borrow.Experimental.Split
- Ref
  - Data.Ref.Linear
    - Data.Ref.Linear.Borrow
    - Data.Ref.Linear.Unlifted
- Unique
  - Data.Unique.Linear
- Vector
  - Mutable
    - Linear
      - Data.Vector.Mutable.Linear.Borrow

Flags

Manual Flags

Name	Description	Default
artifact	Build the artifact runner executable, which runs all the benchmarks and produces CSV files.	Disabled

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

Downloads

pure-borrow-0.0.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

HiromiIshii, Kinokkory

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.0.0
Change log	CHANGELOG.md
Dependencies	array, base (>=4.17 && <5), bytestring, cassava, containers, deepseq, directory, file-embed, hybrid-vectors, linear-base (>=0.7), linear-generics, monoidal-containers, optparse-applicative, process, pure-borrow, random, stm, tasty, tasty-bench, template-haskell, temporary, text, transformers, unordered-containers, vector, vector-algorithms [details]
Tested with	ghc ==9.10.2 \|\| ==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-05-05T00:20:17Z
Category	Linear Haskell
Home page	https://github.com/SoftwareFoundationGroupAtKyotoU/pure-borrow
Source repo	head: git clone https://github.com/SoftwareFoundationGroupAtKyotoU/pure-borrow
Distributions
Executables	artifact-runner, convert-qsort-bench-csv, qsort
Downloads	3 total (3 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-05-05 [all 1 reports]

Readme for pure-borrow-0.0.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.