import { Bind, BindTo, Do, Kind1, Label } from '../stdlib/effect'
import { PutStringLn } from '../stdlib/stdio'
import { ReadFile } from '../stdlib/fs'
import { Try } from '../stdlib/exception'

interface PrintK extends Kind1<string> {
  return: PutStringLn<this['input']>
}

export type main = [
  Do<[
    BindTo<"contents", ReadFile<'./bin.js'>>,
    PutStringLn<"------">,
    Bind<Label<"contents">, <c extends string>() => PutStringLn<c>>,
  ]>,

  Try<Bind<Label<"contents">, PrintK>, <e extends string>() =>
    PutStringLn<`ERROR: ${e}`>>,

  PutStringLn<"-------------">,

  Bind<ReadFile<'./default.nix'>, <c extends string>() =>
    PutStringLn<c>>,

  PutStringLn<"-------------">,

  Try<
    Bind<ReadFile<'./unicorn'>, PrintK>,
    <M extends string>() => PutStringLn<`ERROR: ${M}`>
  >
]