import { Do } from '../stdlib/effect'
import { PutStringLn } from '../stdlib/stdio'
import { SetEvalEnvironment } from '../stdlib/sys'
import { Test, Assert } from '../stdlib/test'
import { Equals, Not } from '../stdlib/util'

type testSomeStuff = Do<[
  PutStringLn<"Some Stuff">,

  Test<"should do some stuff", [
    Assert<Equals<1, 1>>,
    Assert<Not<Equals<2, 1>>>,
  ]>,

  Test<"bing bong, bing bing bong", [
    Assert<Equals<1, 1>>,
  ]>,
]>

type testSomeMoreStuff = Do<[
  PutStringLn<"Other stuff?">,

  Test<"should do some other stuff", [
    Assert<Equals<[1, 2, 3], [1, 2, 3]>>,
  ]>,

  // Test<"this'll fail fo sho", [
  //   Assert<Equals<[1, 2, 3], [4, 5, 6]>>,
  // ]>,
]>

export type main = [
  // Update env to node with test helpers
  SetEvalEnvironment<'test.node'>,

  PutStringLn<"=== Running tests... ===\n">,

  testSomeStuff,
  testSomeMoreStuff,
]