aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test.ts
diff options
context:
space:
mode:
authorAkshay Nair <phenax5@gmail.com>2023-01-14 18:16:41 +0530
committerAkshay Nair <phenax5@gmail.com>2023-01-14 18:16:41 +0530
commite75a5a15912b8f297fe9c9747f574486d6c4e334 (patch)
tree603cd3b9fa68e6e0bd700fe66fede80e9ae657c9 /stdlib/test.ts
parent78e384c2f32996478edced59c837a348dec77e57 (diff)
downloadts-types-lang-e75a5a15912b8f297fe9c9747f574486d6c4e334.tar.gz
ts-types-lang-e75a5a15912b8f297fe9c9747f574486d6c4e334.zip
chore: adds some docs
Diffstat (limited to 'stdlib/test.ts')
-rw-r--r--stdlib/test.ts20
1 files changed, 15 insertions, 5 deletions
diff --git a/stdlib/test.ts b/stdlib/test.ts
index fd1045b..a3b1d80 100644
--- a/stdlib/test.ts
+++ b/stdlib/test.ts
@@ -2,11 +2,21 @@ import { Do, Effect, Kind1 } from './effect'
import { Throw, Try } from './exception'
import { Equals } from './util'
-export interface Config {
- // compileTimeTestFailures: false
- // stopAtFailure: true // TODO: stopAtFailure
-}
-
+/**
+ * Assert a boolean expression is true
+ *
+ * @typeParam _B - The boolean value to assert
+ *
+ * @throws {"assertion error"} if false
+ *
+ * @example
+ * Here's an example checking if `SomeValue` is not equal to [1,2,3]
+ * Uses - {@link util.Not}, {@link util.Equals}
+ *
+ * ```ts
+ * Assert<Not<Equals<SomeValue, [1, 2, 3]>>>
+ * ```
+ */
export interface Assert<_B extends boolean> extends Effect {}
export interface Test<_m extends string, _effs extends Effect[]>