issues
search
leftaroundabout
/
constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
http://hackage.haskell.org/package/constrained-categories
GNU General Public License v3.0
20
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Tradeoffs behind `Control.Category.Constrained.Reified`?
#10
emeinhardt
opened
8 months ago
1
Constraints and defining `foldMap` for a free category?
#9
emeinhardt
opened
1 year ago
7
Better names for the classes of categories
#8
leftaroundabout
opened
2 years ago
0
Readme says "Deprecated in lieu of Subhask", still relevant, and what were the differences you liked?
#7
freckletonj
closed
2 years ago
1
`type Object k a :: Constraint` vs `type Object k :: Type -> Constraint`?
#6
freckletonj
closed
2 years ago
3
An idea to extend the proc-syntax-ness of Agents
#5
freckletonj
opened
2 years ago
8
Add constraints to (&&&) and terminal
#4
ryantrinkle
opened
3 years ago
6
Fixing MonadFail bug due to the change in ghc-8.8.1
#3
AliceRixte
closed
4 years ago
2
Semigroup is a superclass of Monoid since base-4.11.0.0
#2
jragonfyre
closed
6 years ago
2
Fix two tiny typos.
#1
iblech
closed
8 years ago
0