diff options
Diffstat (limited to 'tests/builtins.spec.ts')
| -rw-r--r-- | tests/builtins.spec.ts | 263 |
1 files changed, 160 insertions, 103 deletions
diff --git a/tests/builtins.spec.ts b/tests/builtins.spec.ts index 31e2cc0..1c833c0 100644 --- a/tests/builtins.spec.ts +++ b/tests/builtins.spec.ts @@ -1,6 +1,15 @@ -import { Bind, BindTo, Do, Effect, Label, Pure } from '../stdlib/effect' +import { + Bind, + BindTo, + Do, + Effect, + Label, + Noop, + Pure, + Seq, +} from '../stdlib/effect' import { Throw, Try } from '../stdlib/exception' -import { PutStringLn } from '../stdlib/stdio' +import { Print, PutStringLn } from '../stdlib/stdio' import { DefineEffect, JsExpr, SetEvalEnvironment } from '../stdlib/sys' import { Test, AssertEqualsK, AssertEquals } from '../stdlib/test' @@ -14,121 +23,169 @@ export type main = [ PutStringLn<'=== Running tests ==='>, PutStringLn<'=====================\n\n'>, - Do< - [ - PutStringLn<'Bind & BindTo'>, + testDo, + testSeq, + testBind, + testException, + testFFI, - Test< - 'should bind value to function and kind', - [ - Bind< - Pure<[1, 2, 3]>, - <val extends number[]>() => AssertEquals<val, [1, 2, 3]> - >, + PutStringLn<''> +] + +type testSeq = Do< + [ + PutStringLn<'Seq'>, + + Test< + 'should run a sequence of effects and all results', + [ + BindTo<'result', Seq<[Pure<1>, Pure<2>, Pure<3>, Pure<4>]>>, + + Bind<Label<'result'>, AssertEqualsK<[1, 2, 3, 4]>> + ] + >, + + Test< + 'should produce undefined for effects with no result', + [ + BindTo<'result', Seq<[Pure<1>, Noop, Pure<3>, Noop]>>, + + Bind<Label<'result'>, AssertEqualsK<[1, undefined, 3, undefined]>> + ] + > + ] +> + +type testDo = Do< + [ + PutStringLn<'Do'>, - Bind<Pure<[1, 2, 3]>, AssertEqualsK<[1, 2, 3]>> - ] - >, + Test< + 'should run a sequence of effects and return the last effect', + [ + BindTo<'result', Do<[Pure<1>, Pure<2>, Pure<3>, Pure<4>]>>, - Test< - 'should bind label correctly', - [ - BindTo<'value', Pure<{ a: 'b'; c: { d: 1 } }>>, + Bind<Label<'result'>, AssertEqualsK<4>> + ] + >, - Bind<Label<'value'>, AssertEqualsK<{ a: 'b'; c: { d: 1 } }>> - ] - >, + Test< + 'should return undefined if last effect doesnt produce a result', + [ + BindTo<'result', Do<[Pure<1>, Noop, Pure<3>, Noop]>>, - Test< - 'should bind only inside Do scope', - [ - Do< - [ - BindTo<'value', Pure<'some value'>>, - Bind<Label<'value'>, AssertEqualsK<'some value'>> - ] - >, + Bind<Label<'result'>, AssertEqualsK<undefined>> + ] + > + ] +> - Bind< - Try<Label<'value'>, <_>() => Pure<'none'>>, - AssertEqualsK<'none'> - > - ] - >, +type testBind = Do< + [ + PutStringLn<'Bind & BindTo'>, - Test< - 'should bind only inside Bind scope', - [ - Bind< + Test< + 'should bind value to function and kind', + [ + Bind< + Pure<[1, 2, 3]>, + <val extends number[]>() => AssertEquals<val, [1, 2, 3]> + >, + + Bind<Pure<[1, 2, 3]>, AssertEqualsK<[1, 2, 3]>> + ] + >, + + Test< + 'should bind label correctly', + [ + BindTo<'value', Pure<{ a: 'b'; c: { d: 1 } }>>, + + Bind<Label<'value'>, AssertEqualsK<{ a: 'b'; c: { d: 1 } }>> + ] + >, + + Test< + 'should bind only inside Do scope', + [ + Do< + [ BindTo<'value', Pure<'some value'>>, - <_>() => Bind<Label<'value'>, AssertEqualsK<'some value'>> - >, + Bind<Label<'value'>, AssertEqualsK<'some value'>> + ] + >, - Bind< - Try<Label<'value'>, <_>() => Pure<'none'>>, - AssertEqualsK<'none'> - > - ] - > - ] - >, + Bind<Try<Label<'value'>, <_>() => Pure<'none'>>, AssertEqualsK<'none'>> + ] + >, - Do< - [ - PutStringLn<'Try/Throw'>, + Test< + 'should bind only inside Bind scope', + [ + Bind< + BindTo<'value', Pure<'some value'>>, + <_>() => Bind<Label<'value'>, AssertEqualsK<'some value'>> + >, - Test< - 'should return the result of effect', - [Bind<Try<Pure<20>, <_>() => Pure<0>>, AssertEqualsK<20>>] - >, + Bind<Try<Label<'value'>, <_>() => Pure<'none'>>, AssertEqualsK<'none'>> + ] + > + ] +> - Test< - 'should return the result of error handler', - [ - Bind< - Try<Do<[Throw<'wow'>, Pure<20>]>, <_>() => Pure<0>>, - AssertEqualsK<0> - >, +type testException = Do< + [ + PutStringLn<'Try/Throw'>, - Bind< - Try<Do<[Throw<'wow'>, Pure<20>]>, <e>() => Pure<e>>, - AssertEqualsK<'wow'> - > - ] - > - ] - >, + Test< + 'should return the result of effect', + [Bind<Try<Pure<20>, <_>() => Pure<0>>, AssertEqualsK<20>>] + >, - Do< - [ - PutStringLn<'FFI'>, + Test< + 'should return the result of error handler', + [ + Bind< + Try<Do<[Throw<'wow'>, Pure<20>]>, <_>() => Pure<0>>, + AssertEqualsK<0> + >, - Test< - 'should return the result of js expression', - [Bind<JsExpr<'69 * 420'>, AssertEqualsK<28980>>] - >, + Bind< + Try<Do<[Throw<'wow'>, Pure<20>]>, <e>() => Pure<e>>, + AssertEqualsK<'wow'> + > + ] + > + ] +> - Test< - 'should test custom effect', - [ - DefineEffect< - 'MyEffect', - `([a, b, c], ctx) => { - return [ - ctx.getTypeValue(a) * 2, - ctx.getTypeValue(b) + '!', - [...ctx.getTypeValue(c), 'wow'], - ] - }` - >, - Bind< - MyEffect<4, 'hey', [1, 2]>, - AssertEqualsK<[8, 'hey!', [1, 2, 'wow']]> - > - ] - > - ] - >, +type testFFI = Do< + [ + PutStringLn<'FFI'>, - PutStringLn<''> -] + Test< + 'should return the result of js expression', + [Bind<JsExpr<'69 * 420'>, AssertEqualsK<28980>>] + >, + + Test< + 'should test custom effect', + [ + DefineEffect< + 'MyEffect', + `([a, b, c], ctx) => { + return [ + ctx.getTypeValue(a) * 2, + ctx.getTypeValue(b) + '!', + [...ctx.getTypeValue(c), 'wow'], + ] + }` + >, + Bind< + MyEffect<4, 'hey', [1, 2]>, + AssertEqualsK<[8, 'hey!', [1, 2, 'wow']]> + > + ] + > + ] +> |