Skip to content

stdlib: remove prelude/option/result duplicate & conflicting definitions #133

@hyperpolymath

Description

@hyperpolymath

Part of #128.

prelude.affine and option.affine both define is_some/is_none/unwrap/unwrap_or/map/filter/contains — with conflicting signatures (prelude.map(arr, f) vs option.map(f, opt)). result.affine overlaps similarly.

Task: per the decision in #128-B, remove the duplicate/conflicting definitions across prelude / option / result so there is exactly one canonical binding per name (or properly module-qualified ones).

Depends on: #128-B. Blocks: #128-E.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions