diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/custom-effect.ts | 2 | ||||
| -rw-r--r-- | examples/ffi.ts | 2 | ||||
| -rw-r--r-- | examples/file.ts | 2 | ||||
| -rw-r--r-- | examples/greeting.ts | 2 | ||||
| -rw-r--r-- | examples/guess-number.ts | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/examples/custom-effect.ts b/examples/custom-effect.ts index 6a4b8b0..5fbffed 100644 --- a/examples/custom-effect.ts +++ b/examples/custom-effect.ts @@ -1,4 +1,4 @@ -import { Bind, DefineEffect, Effect, Kind1, Print } from '../src/stdlib' +import { Bind, DefineEffect, Effect, Kind1, Print } from '../stdlib' interface Mathemagic<_A, _B> extends Effect { } diff --git a/examples/ffi.ts b/examples/ffi.ts index 3310712..484e84d 100644 --- a/examples/ffi.ts +++ b/examples/ffi.ts @@ -1,4 +1,4 @@ -import { Bind, Debug, DefineEffect, Effect, JsExpr, Kind1 } from "../src/stdlib" +import { Bind, Debug, DefineEffect, Effect, JsExpr, Kind1 } from "../stdlib" interface PrintK<Label extends string = ""> extends Kind1 { return: Debug<Label, this['input']> diff --git a/examples/file.ts b/examples/file.ts index 3de26d3..b0942de 100644 --- a/examples/file.ts +++ b/examples/file.ts @@ -1,4 +1,4 @@ -import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib' +import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib' interface PrintK extends Kind1<string> { return: PutStringLn<this['input']> diff --git a/examples/greeting.ts b/examples/greeting.ts index 5e1a164..ac59151 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -1,4 +1,4 @@ -import { PutString, Bind, Kind1, ReadLine, Seq } from '../src/stdlib' +import { PutString, Bind, Kind1, ReadLine, Seq } from '../stdlib' interface GreetK extends Kind1<string> { return: Seq<[ diff --git a/examples/guess-number.ts b/examples/guess-number.ts index 79f6ad1..92674fd 100644 --- a/examples/guess-number.ts +++ b/examples/guess-number.ts @@ -1,4 +1,4 @@ -import { Print, PutString, Bind, Kind1, JsExpr, ReadLine, Do, PutStringLn } from '../src/stdlib' +import { Print, PutString, Bind, Kind1, JsExpr, ReadLine, Do, PutStringLn } from '../stdlib' export type main = [ PutStringLn<"You have 5 guesses">, |
