emilypi / smash

Smash products, Wedge products, and other Pointed stuff

emilypi/smash Issues

Add schmaversals
Updated 3 years ago
Consideration to add `Universe` and `Finite` instances for `Wedge`, `Can`, `Smash`
Closed 3 years ago3
A few point-free opportunities
Closed 3 years ago4
Add `These` to this library
Updated 3 years ago4
Type variable ordering for partition functions
Closed 3 years ago3
Equivalence relations for Wedge, Smash, Can
Closed 3 years ago7
Monad Transformers for `smash-core`
Closed 3 years ago5
Let `partition*` be defined by their oplax Monoidal actions
Updated 3 years ago1
Haddock syntax woes.
Closed 3 years ago3
Write the obvious `Iso`s between Wedge ~ Maybe (Either a b), Can, Smash etc.
Closed 4 years ago
Indexed traversals in smash-optics use Maybe Bool as index but Nothing is never used
Closed 4 years ago4
RFC: `smash-categories` Project
Updated 4 years ago1
Unzipping and undeciding works for any functor
Closed 4 years ago6