diff options
Diffstat (limited to 'stdlib/effect.ts')
| -rw-r--r-- | stdlib/effect.ts | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/stdlib/effect.ts b/stdlib/effect.ts index 5ae9cd9..0662d00 100644 --- a/stdlib/effect.ts +++ b/stdlib/effect.ts @@ -7,7 +7,11 @@ export interface Kind1<Inp = unknown, Out = unknown> { return: Out } -export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect {} +type Func<Inp = unknown, Out = unknown> + = Kind1<Inp, Out> + | (<_T extends Inp>() => Out) + +export interface Bind<_Eff extends Effect, _Fn extends Func> extends Effect {} export interface Seq<_Effs extends Effect[]> extends Effect {} |