Category: fix id definition

gcanti · gcanti · commit ffeb08e4a76f · 2016-10-04T06:34:39.000+02:00
diff --git a/src/Category.js b/src/Category.js
@@ -4,7 +4,7 @@ import type { Semigroupoid } from './Semigroupoid'
 import type { Monoid } from './Monoid'
 
 export interface Category<C> extends Semigroupoid<C> {
-  id(): HKT2<C, any, any>
+  id<A>(): HKT2<C, A, A>
 }
 
 // the set of arrows from A to B

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ import type { Semigroupoid } from './Semigroupoid'`
`4`	`4`	`import type { Monoid } from './Monoid'`
`5`	`5`
`6`	`6`	`export interface Category<C> extends Semigroupoid<C> {`
`7`		`- id(): HKT2<C, any, any>`
	`7`	`+ id<A>(): HKT2<C, A, A>`
`8`	`8`	`}`
`9`	`9`
`10`	`10`	`// the set of arrows from A to B`