tweag/linear-base

View on GitHub

Standard library for linear types in Haskell.

Stars: 359
Forks: 45
Open beginner issues: 0
Indexed issues: 44

Dominant language: Haskell
License: MIT
Last GitHub push: Jun 30, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

44 open issues indexed

Introduce basic & (additive conjunction) and possibly ⊤ (top - additive conjunctive unit) types Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/linear-base#514 · 5 comments · Opened Jun 28, 2026
Address an elemet from a list from Data.List.Linear Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

tweag/linear-base#489 · 1 comment · Opened Apr 11, 2025
Lazy tuple workaround Open

type: feature request

Difficulty 4/5 3-5 days Newbie friendliness 25/100

tweag/linear-base#456 · 6 comments · Opened May 30, 2023
More natural takeWhile analogue? Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#455 · 2 comments · Opened May 30, 2023
Add one or more queue/steque types Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#454 · 5 comments · Opened May 22, 2023
Remove cycle and repeat from Data.List.Linear Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

tweag/linear-base#453 · 11 comments · Opened May 20, 2023
Eq and Ord classes don't seem very useful Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#447 · 4 comments · Opened Apr 7, 2023
Question: unrestricted list functions Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#446 · 1 comment · Opened Apr 5, 2023
Movable for amortized structures Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#445 · 11 comments · Opened Apr 4, 2023
Dispose with side effects Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/linear-base#436 · 9 comments · 2 reactions · Opened Jan 17, 2023
`linear-base` has a `streaming`-style `Stream` type. Should it have a `streaming-bytestring` style `ByteStream`? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#435 · 1 comment · 1 reaction · Opened Jan 7, 2023
When is it safe to use `toLinear`? Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/linear-base#430 · 1 comment · Opened Sep 12, 2022
Linear Array type with unrestricted gets? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#422 · 9 comments · Opened Jun 23, 2022
Unlifted standard classes Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

tweag/linear-base#418 · 2 comments · Opened May 20, 2022
Continuation monad transformer Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 20/100

tweag/linear-base#408 · Opened Apr 10, 2022
Function to apply to a `Moveable` argument? Open

Difficulty 3/5 1-2 days Newbie friendliness 38/100

tweag/linear-base#406 · 3 comments · Opened Apr 10, 2022
Don't export `fst` (and alike) from `Prelude.Linear` Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/linear-base#405 · 7 comments · Opened Apr 10, 2022
Try to get rid of `Instances` internal modules Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#396 · Opened Feb 25, 2022
Reorganise `Control.Functor.Linear.Internal` Open

type: feature request

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/linear-base#395 · Opened Feb 25, 2022
Merge `Data.Arity.Linear.Peano` with `Unsafe.INat` Open

type: feature request

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/linear-base#392 · 2 comments · Opened Feb 22, 2022
Move to GHC 9.2 Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/linear-base#389 · Opened Feb 17, 2022
Add generic implementation and generic deriving for linear `Semigroup` and `Monoid` Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 35/100

tweag/linear-base#371 · Opened Feb 11, 2022
Pure values Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#351 · 7 comments · Opened Oct 17, 2021
Yet another Applicative? Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

tweag/linear-base#350 · 1 comment · Opened Oct 13, 2021
Optimizing linear arrays Open

type: bug

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#328 · 13 comments · Opened May 15, 2021
Performance issues with linear hashmap Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

tweag/linear-base#280 · 7 comments · Opened Dec 16, 2020
Linear Mutable Arrays with Linear Values via Ownership Open

type: feature request

tweag/linear-base#253 · 2 comments · 1 assignee · Opened Oct 8, 2020
Use Destinations in Foreign.Marshall.Pure / the System-Heap API Open

type: feature request

tweag/linear-base#249 · 1 assignee · Opened Oct 8, 2020
A Nice System-Heap (and off GC Heap) Memory API Open

type: feature request

tweag/linear-base#248 · 6 comments · 1 assignee · Opened Oct 8, 2020
Which `IO` to export in `Prelude` Open

Bikeshedding

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#236 · Opened Sep 29, 2020
Linear numeric classes Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#230 · Opened Sep 26, 2020
The Traversal story Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#220 · 3 comments · Opened Sep 25, 2020
Reduce unsafe casts on Data.List.Linear module Open

type: bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tweag/linear-base#215 · Opened Sep 25, 2020
Add push and pull versions of vectors of known length Open

type: feature request

Difficulty 5/5 Over a week Newbie friendliness 30/100

tweag/linear-base#208 · Opened Sep 24, 2020
Design: living with slow instances Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#206 · 5 comments · Opened Sep 23, 2020
Is there a notion of lens-to-something-unrestricted? Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

tweag/linear-base#197 · 19 comments · Opened Sep 18, 2020
Traversable with data applicatives Open

Bikeshedding type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#190 · 4 comments · Opened Sep 18, 2020
Find a workaround for `never` Open

Streaming

tweag/linear-base#211 · 1 comment · 1 assignee · Opened Sep 17, 2020
Add developer documentation for unlifted mutable arrays Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

tweag/linear-base#188 · Opened Sep 16, 2020
A way to enforce uniqueness in typeclass instances Open

Bikeshedding

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#183 · 7 comments · Opened Sep 10, 2020
Multiplicity polymorphic Consumable Open

Bikeshedding type: feature request

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#140 · 2 comments · Opened Aug 25, 2020
Sources of uniqueness: the daring design debate Open

Bikeshedding

Difficulty 5/5 Over a week Newbie friendliness 25/100

tweag/linear-base#130 · 22 comments · 1 reaction · Opened Aug 6, 2020
Dependencies needed from linear base Open

Streaming

tweag/linear-base#213 · 1 comment · 1 assignee · Opened Jul 30, 2020
Polymorphism big plans for Data and Control functor hierarchy Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

tweag/linear-base#27 · 1 comment · Opened Dec 20, 2018

tweag/linear-base

Get new issues in your inbox