Make Category poly-kinded.
commit8a1a7bf0aaaab4aefea72356cfad968eafbdd428
authorGregory Pfeil <greg@technomadic.org>
dateThu 30 Nov 2017, 13:30 (9 years ago)
parent4c79980
libs/base/Control/Category.idr+1−1
@@ -4,7 +4,7 @@ import Data.Morphisms
44
55%access public export
66
7−interface Category (cat : Type -> Type -> Type) where
7+interface Category (cat : k -> k -> Type) where
88 id : cat a a
99 (.) : cat b c -> cat a b -> cat a c
1010