aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-07 00:53:23 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-07 00:53:23 +0530
commit2a0815eeb378b0140ef2885514715fb00db7a11e (patch)
tree6e1c2e2e86269bae4a36f8ffac32d58ca5c6507c /examples
parentd5d685253568f8c6855dd873ac3623e0af642d54 (diff)
downloadts-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.ts2
-rw-r--r--examples/ffi.ts2
-rw-r--r--examples/file.ts2
-rw-r--r--examples/greeting.ts2
-rw-r--r--examples/guess-number.ts2
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">,