UNPKG
monads-co
Version:
latest (1.0.3)
1.0.3
1.0.2
1.0.1
1.0.0
An implementation of Haskell's type classes in TS
calebowens/monads
monads-co
/
out
/
Functor.d.ts
9 lines
(8 loc)
•
298 B
TypeScript
View Raw
1
2
3
4
5
6
7
8
9
import
{
CallHKT
,
HKT
}
from
'./HKT'
;
export
interface
FunctorHKT
extends
HKT {
output
:
Functor
<
this
[
"input"
]>; }
export
declare
abstract
class
Functor
<A> {
abstract
map<B,
Fun
extends
FunctorHKT
>(
mapping
:
(
value
: A
) =>
B):
CallHKT
<
Fun
, B>; replaceA<B>(
value
: B):
Functor
<B>; }