Skip to content

v0.3.0

Choose a tag to compare

View all tags
@justinelliottcobb justinelliottcobb released this 11 Mar 23:50
· 44 commits to main since this release
v0.3.0
aabf23f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's New

Phase 9 — Adjunctions & Advanced Category Theory

  • Adjunction<F, U> trait with unit/counit, plus IdentityAdj and CurryAdj<E> instances
  • State monad and Store comonad derived from the currying adjunction
  • ContravariantAdjunction with ContAdj (self-adjoint continuation functor)
  • ProfunctorAdjunction and ProfunctorFunctor (GAT-as-HKT3)
  • End<P>, Coend<P, A>, DinaturalTransformation<P, Q>
  • ComposeF<F, G> functor composition with HKT + Functor impls

Phase 10 — Effect System & Monad Transformers

  • FunctorSt, ApplicativeSt, ChainSt — parallel functor hierarchy with 'static bounds for Box<dyn Fn> compatibility
  • MonadTrans trait for lifting inner monad into transformer stack
  • Four monad transformers: ExceptTF, WriterTF, ReaderTF, StateTF
  • New karpal-effect crate (no_std compatible)

Roadmap

  • Phase 16 (karpal-topos: topos-theoretic constructions) added
  • Phase 15 extended with sub-phases E–H

Stats

  • 9 crates in workspace
  • 774 tests, all passing
  • Full no_std support across 7 crates
Assets 2
Loading