issues
search
emilypi
/
smash
Smash products, Wedge products, and other Pointed stuff
34
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update version bounds and changelogs
#32
sofia-m-a
closed
2 years ago
2
Add schmaversals
#31
masaeedu
opened
3 years ago
0
Remove redundant constraints.
#30
greydot
closed
3 years ago
2
Consideration to add `Universe` and `Finite` instances for `Wedge`, `Can`, `Smash`
#29
subttle
closed
3 years ago
3
Issue23
#28
subttle
closed
3 years ago
1
rearrange type variables for partition functions (#26)
#27
subttle
closed
3 years ago
0
Type variable ordering for partition functions
#26
subttle
closed
3 years ago
3
Monad Transformers + More instances
#25
emilypi
closed
3 years ago
0
rewrite some functions in point-free style
#24
subttle
closed
3 years ago
4
Equivalence relations for Wedge, Smash, Can
#23
subttle
closed
3 years ago
7
A few point-free opportunities
#22
subttle
closed
3 years ago
4
update CI + ghc info
#21
emilypi
closed
3 years ago
0
Add Template Haskell `Lift` instances
#20
gergoerdi
closed
4 years ago
1
small spelling fixes
#19
lemastero
closed
4 years ago
0
Fix haddock formatting for smash-core
#18
L7R7
closed
4 years ago
9
Fix small documentation issues for Wedge
#17
L7R7
closed
4 years ago
0
Add unfolds to API
#16
emilypi
closed
4 years ago
0
Let `partition*` be defined by their oplax Monoidal actions
#15
emilypi
opened
4 years ago
1
Add definition isomorphisms
#14
emilypi
closed
4 years ago
0
Add Biapplicative instances
#13
emilypi
closed
4 years ago
0
use Bool-indexed traversals for each datatype
#12
emilypi
closed
4 years ago
0
Indexed traversals in smash-optics use Maybe Bool as index but Nothing is never used
#11
arybczak
closed
4 years ago
4
smash-optics: use affine traversals where appropriate and fix haddock
#10
arybczak
closed
4 years ago
1
Add `These` to this library
#9
emilypi
opened
4 years ago
4
Write the obvious `Iso`s between Wedge ~ Maybe (Either a b), Can, Smash etc.
#8
emilypi
closed
4 years ago
0
Monad Transformers for `smash-core`
#7
emilypi
closed
3 years ago
5
can: add some convenient eliminators
#6
infinity0
closed
4 years ago
0
RFC: `smash-categories` Project
#5
emilypi
opened
4 years ago
1
Fix typo in Can/Smash description
#4
rampion
closed
4 years ago
0
Haddock syntax woes.
#3
phadej
closed
3 years ago
3
Factors out shared logic for unzipping and undeciding
#2
masaeedu
closed
4 years ago
4
Unzipping and undeciding works for any functor
#1
masaeedu
closed
4 years ago
6