justified-map #10

Merged

xand merged 46 commits from justified-map into dev 2025-05-14 13:32:04 -04:00

Conversation 0 Commits 46 Files changed 4 +332 -30

xand commented 2025-05-14 13:30:54 -04:00

Owner

Copy link

No description provided.

xand added 46 commits 2025-05-14 13:30:54 -04:00

Added Camino.Map.Justified 30834abc69

Added 'traverseWithKey' ab9bfbb2e7

Added extensions for Camino.Map.Justified aa31dc2149

Added explicit export list; improved commentary 00d992bd16

Added 'mapWithKey' a73f61a402

Changed the order of the export list 5888ca1bba

Rearranged definitions 4f95efd98a

Added attribution note bbdd8d1db5

Added 'forgetKey' 8b94b79b07

Implemented justified graphs 7d54909bd0

Rebuilt 'fromMapExact' in terms of justified graphs d897b9ccca

Added internal coercions d29ad31548

Improved module doc comment ed958dc6f5

Fixed clunky wording 366a49fd6e

Fixed a little oversight 9ac5fb0ef5

Generalized justified graph function type signatures 6b93f9731b

Moved coercion definitions 65df294018

Added proper Justified hierarchy 66db67ef8f

Added proper Justified hierarchy e12d68662d

Moved 'JustMap' and 'withJustMap' up 836a688652

Added an example to the module doc 40dd1cfab9

Added JustGraph type, docs, & export list 70cc440b94

Added withJustGraphT 7d0dc388a3

Tiny doc formatting dddb581eb9

Import 'withJustMap' unqualified ce3d9786bb

Added deriving strategies and role annotations 29110309b6

Moved attribution into the module header 9f78dad199

Added table of contents; moved example program out of the way 078f6316f5

Moved $toplevel_examples closer to relevant functions fb2acd6d29

Changed ToC format to match source material 42ac6ab5c2

Simplified the attribution ab2123b402

Added 'fromJustGraph' 976543132c

Added Note [One-shot edgesMap] 4443855077

Made a small mistake a7d61658da

Fixed stuff that was bothering me 3375c879ec

Added ? and ! 3ab5402e5b

More descriptive documentation a263ef1fbd

More descriptive documentation 0766f26fc9

Moved detailed module description to a named section e87a58aed0

Removed redundant whitespace in ToC 477b74f5ee

Improved the wording of the module description b87c9ce254

Tidied some wordy commentary 3826ff0b42

Made whitespace for $ModuleDescription consistent with the rest of the export list d0260c61be

Elaborated on queries indirectly checking membership a45e1ec7c6

Rephrased "sometimes" as "often" c0f4b26964

Improved section headings ec5f44491d

xand added the

Kind/Feature

Kind/Enhancement

Priority

High

labels 2025-05-14 13:31:31 -04:00

xand self-assigned this 2025-05-14 13:31:32 -04:00

xand merged commit 39011ba54a into dev 2025-05-14 13:32:04 -04:00

xand referenced this pull request from a commit 2025-05-14 13:32:04 -04:00

justified-map (#10)

xand referenced this pull request from a commit 2025-05-16 10:44:11 -04:00

justified-map (#10)

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

Compat/Breaking

Breaking change that won't be backward compatible

  

Kind/Bug

Something is not working

  

Kind/Documentation

Documentation changes

  

Kind/Enhancement

Improve existing functionality

  

Kind/Feature

New functionality

  

Kind/Security

This is security issue

  

Kind/Testing

Issue or pull request related to testing

  

Priority

Critical

The priority is critical

  

Priority

High

The priority is high

  

Priority

Low

The priority is low

  

Priority

Medium

The priority is medium

  

Reviewed

Confirmed

Issue has been confirmed

  

Reviewed

Duplicate

This issue or pull request already exists

  

Reviewed

Invalid

Invalid issue

  

Reviewed

Won't Fix

This issue won't be fixed

  

Status

Abandoned

Somebody has started to work on this but abandoned work

  

Status

Blocked

Something is blocking this issue or pull request

  

Status

Need More Info

Feedback is required to reproduce issue or to continue work

No labels

Compat/Breaking

Kind/Bug

Kind/Documentation

Kind/Enhancement

Kind/Feature

Kind/Security

Kind/Testing

Priority

Critical

Priority

High

Priority

Low

Priority

Medium

Reviewed

Confirmed

Reviewed

Duplicate

Reviewed

Invalid

Reviewed

Won't Fix

Status

Abandoned

Status

Blocked

Status

Need More Info

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

xand

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

xand/camino!10

No description provided.