nandi.uk
Fork of daniellemaywood.uk/gleam — Wasm codegen work
1.2 kB
24 lines
1// SPDX-License-Identifier: Apache-2.0
2// SPDX-FileCopyrightText: 2026 The Gleam contributors
3
4import type { Option$ } from "./build/dev/javascript/gleam_stdlib/gleam/option.d.mts";
5import type { List } from "./build/dev/javascript/typescript_declarations/gleam.d.mts";
6import * as gleam from "./build/dev/javascript/typescript_declarations/typescript_declarations.mjs";
7
8// These statements use the `satisfies` keyword to assert the types are
9// what we expect.
10
11gleam.const_int satisfies number
12gleam.const_int_alias satisfies number
13gleam.const_int_list satisfies List<number>
14gleam.const_string_list satisfies List<string>
15gleam.const_tuple satisfies [string, number]
16gleam.either_int satisfies gleam.Either$<number, number>
17gleam.function_int_int_returns_int_alias satisfies (a: number, b: number) => number
18gleam.function_closure_returns_fn_int_which_returns_int_alias satisfies () => (a: number) => number
19
20type GenericFn<T = any> = (a: T, fn: (a: T) => T) => T;
21gleam.function_generic_fn_generic_which_returns_generic_returns_generic satisfies GenericFn
22
23gleam.function_int_int_returns_int satisfies (a: number, b: number) => number
24gleam.function_option satisfies () => Option$<number>