Search results

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

Status: Open.

#514 In tweag/linear-base;

· Jashweii opened on Jun 28, 2026

Address an elemet from a list from Data.List.Linear

Status: Open.

#489 In tweag/linear-base;

· hellwolf opened on Apr 11, 2025

Lazy tuple workaround

type: feature request

Status: Open.

#456 In tweag/linear-base;

· treeowl opened on May 30, 2023

More natural takeWhile analogue?

type: feature request

Status: Open.

#455 In tweag/linear-base;

· treeowl opened on May 30, 2023

Add one or more queue/steque types

type: feature request

Status: Open.

#454 In tweag/linear-base;

· treeowl opened on May 22, 2023

Remove cycle and repeat from Data.List.Linear

Status: Open.

#453 In tweag/linear-base;

· alt-romes opened on May 20, 2023

Eq and Ord classes don't seem very useful

Status: Open.

#447 In tweag/linear-base;

· treeowl opened on Apr 7, 2023

Question: unrestricted list functions

Status: Open.

#446 In tweag/linear-base;

· treeowl opened on Apr 5, 2023

Movable for amortized structures

Status: Open.

#445 In tweag/linear-base;

· treeowl opened on Apr 4, 2023

Dispose with side effects

Status: Open.

#436 In tweag/linear-base;

· pedromsrocha opened on Jan 17, 2023

linear-base has a streaming-style Stream type. Should it have a streaming-bytestring style ByteStream?

Status: Open.

#435 In tweag/linear-base;

· endgame opened on Jan 7, 2023

When is it safe to use toLinear?

Status: Open.

#430 In tweag/linear-base;

· L-as opened on Sep 12, 2022