diff options
| author | Akshay Nair <phenax5@gmail.com> | 2023-01-06 20:40:29 +0530 |
|---|---|---|
| committer | Akshay Nair <phenax5@gmail.com> | 2023-01-06 20:43:49 +0530 |
| commit | cda0419722b022ed0a8f3c4fd3122230b19a0c64 (patch) | |
| tree | 6d63849e950cc4c0257a2368560eb1bafefbd9d4 /examples/ffi.ts | |
| parent | a56f093bf08780ab7ed7ef196f031c193a522922 (diff) | |
| download | ts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.tar.gz ts-types-lang-cda0419722b022ed0a8f3c4fd3122230b19a0c64.zip | |
feat: adds examples for everything
Diffstat (limited to 'examples/ffi.ts')
| -rw-r--r-- | examples/ffi.ts | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/ffi.ts b/examples/ffi.ts new file mode 100644 index 0000000..7a73a0a --- /dev/null +++ b/examples/ffi.ts @@ -0,0 +1,12 @@ +import { Bind, Debug, JsExpr, Kind1 } from "../src/stdlib" + +interface PrintK<Label extends string = ""> extends Kind1 { + return: Debug<Label, this['input']> +} + +type Square<N extends number> = JsExpr<`${N} ** 2`> + +export type main = [ + Bind<JsExpr<"{ boobaa: [5 * 3, 5 * 2] }">, PrintK<'|'>>, + Bind<Square<69>, PrintK<"69^2 =">>, +] |