import { Bind, BindTo, Do, Effect, Label, Pure } from '../stdlib/effect'
import { Throw, Try } from '../stdlib/exception'
import { PutStringLn } from '../stdlib/stdio'
import { DefineEffect, JsExpr, SetEvalEnvironment } from '../stdlib/sys'
import { Test, AssertEqualsK, AssertEquals } from '../stdlib/test'

interface MyEffect<_a extends number, _b extends string, _c extends unknown>
  extends Effect {}

export type main = [
  SetEvalEnvironment<'test.node'>,

  PutStringLn<'====================='>,
  PutStringLn<'=== Running tests ==='>,
  PutStringLn<'=====================\n\n'>,

  Do<
    [
      PutStringLn<'Bind & BindTo'>,

      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<
            Try<Label<'value'>, <_>() => Pure<'none'>>,
            AssertEqualsK<'none'>
          >
        ]
      >,

      Test<
        'should bind only inside Bind scope',
        [
          Bind<
            BindTo<'value', Pure<'some value'>>,
            <_>() => Bind<Label<'value'>, AssertEqualsK<'some value'>>
          >,

          Bind<
            Try<Label<'value'>, <_>() => Pure<'none'>>,
            AssertEqualsK<'none'>
          >
        ]
      >
    ]
  >,

  Do<
    [
      PutStringLn<'Try/Throw'>,

      Test<
        'should return the result of effect',
        [Bind<Try<Pure<20>, <_>() => Pure<0>>, AssertEqualsK<20>>]
      >,

      Test<
        'should return the result of error handler',
        [
          Bind<
            Try<Do<[Throw<'wow'>, Pure<20>]>, <_>() => Pure<0>>,
            AssertEqualsK<0>
          >,

          Bind<
            Try<Do<[Throw<'wow'>, Pure<20>]>, <e>() => Pure<e>>,
            AssertEqualsK<'wow'>
          >
        ]
      >
    ]
  >,

  Do<
    [
      PutStringLn<'FFI'>,

      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']]>
          >
        ]
      >
    ]
  >,

  PutStringLn<''>
]