Repository navigation

feat(core): compose Affine → Getter (Optional/AffineFold andThen Getter = AffineFold) - #25

Merged

kryptt merged 14 commits into

mainfrom

feat/affine-getter-compose

Jun 10, 2026

Commits on Jun 9, 2026
- feat(core): compose Affine -> Getter (Optional/AffineFold andThen Getter = AffineFold)
  
  kryptt
  and
  claude
  committed
  2789b79
Commits on Jun 10, 2026
- feat(core): general optic∘Getter/Setter collapse via Morph; def-encoded to/from
  
  kryptt
  and
  claude
  committed
  2e26f94
- refactor(core): cruft sweep + de-anonymize the shared read-only wrappers
  
  kryptt
  and
  claude
  committed
  515c432
- docs(brainstorms): two spikes — Unfold (build-many cell) + failure-typed build
  
  kryptt
  and
  claude
  committed
  1aae237
- feat(core): close the composition matrix — ReadCompose collapse, opaque carriers, matrix spec
  
  kryptt
  and
  claude
  committed
  fa32e20
- refactor(core): conventional F/G carrier param names in ReadCompose
  
  kryptt
  and
  claude
  committed
  9ac6925
- chore: drop stray editor lock file
  
  kryptt
  and
  claude
  committed
  29609ef
- chore: ignore editor lock files
  
  kryptt
  and
  claude
  committed
  827f3cb
- refactor(core): hide MultiFocusK/ForgetK, drop redundant carrier given-imports
  
  kryptt
  and
  claude
  committed
  100b706
- chore(circe): remove orphaned NamedTupleCodecSpikeMacro
  
  kryptt
  and
  claude
  committed
  b568772
- chore: gitignore .context/ (compound-engineering tooling scratch)
  
  kryptt
  and
  claude
  committed
  7ff9ae3
- ci(benchmarks): add optional -prof input (e.g. gc for allocation B/op)
  
  kryptt
  and
  claude
  committed
  80d3c35
- refactor(core): drop read-collapse andThen members now subsumed by ReadCompose
  
  kryptt
  and
  claude
  committed
  cf26169
- refactor(core): split carrier/composition typeclasses into accessor, forgetful, compose packages
  
  kryptt
  and
  claude
  committed
  2ae615e

Navigation Menu

Repository navigation

feat(core): compose Affine → Getter (Optional/AffineFold andThen Getter = AffineFold) - #25

feat(core): compose Affine → Getter (Optional/AffineFold andThen Getter = AffineFold)#25
kryptt merged 14 commits into
mainfrom
feat/affine-getter-compose

Commits on Jun 9, 2026

feat(core): compose Affine -> Getter (Optional/AffineFold andThen Getter = AffineFold)

Commits on Jun 10, 2026

feat(core): general optic∘Getter/Setter collapse via Morph; def-encoded to/from

refactor(core): cruft sweep + de-anonymize the shared read-only wrappers

docs(brainstorms): two spikes — Unfold (build-many cell) + failure-typed build

feat(core): close the composition matrix — ReadCompose collapse, opaque carriers, matrix spec

refactor(core): conventional F/G carrier param names in ReadCompose

chore: drop stray editor lock file

chore: ignore editor lock files

refactor(core): hide MultiFocusK/ForgetK, drop redundant carrier given-imports

chore(circe): remove orphaned NamedTupleCodecSpikeMacro

chore: gitignore .context/ (compound-engineering tooling scratch)

ci(benchmarks): add optional -prof input (e.g. gc for allocation B/op)

refactor(core): drop read-collapse andThen members now subsumed by ReadCompose

refactor(core): split carrier/composition typeclasses into accessor, forgetful, compose packages