import { Effect } from './effect'

export interface Config {
  compileTimeTestFailures: false
  stopAtFailure: true // TODO: stopAtFailure
}

type Assertion = Config['compileTimeTestFailures'] extends true ? true : boolean

export interface Assert<_B extends Assertion> extends Effect {}
export interface Test<_m extends string, _effs extends Effect[]>
  extends Effect {}