diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-07 00:53:23 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-07 00:53:23 +0530 |
| commit | 2a0815eeb378b0140ef2885514715fb00db7a11e (patch) | |
| tree | 6e1c2e2e86269bae4a36f8ffac32d58ca5c6507c /examples | |
| parent | d5d685253568f8c6855dd873ac3623e0af642d54 (diff) | |
| download | ts-types-lang-2a0815eeb378b0140ef2885514715fb00db7a11e.tar.gz ts-types-lang-2a0815eeb378b0140ef2885514715fb00db7a11e.zip | |
refactor: moves stdlib around + package stuff
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">, |
