// ets_tracing: off

import type * as A from "../Assertion/index.js"
import type * as AR from "../AssertionResult/index.js"
import * as makeAssertionValue from "../AssertionValue/makeAssertionValue.js"
import * as BA from "../BoolAlgebra/index.js"

export interface AssertionData {
  assertion: A.Assertion<any>
  value: any
}

export function makeAssertionData(
  assertion: A.Assertion<any>,
  value: any
): AssertionData {
  return { value, assertion }
}

export function asFailure(ad: AssertionData): AR.AssertResult {
  return BA.failure(
    makeAssertionValue.makeAssertionValue(ad.assertion, ad.value, () => asFailure(ad))
  )
}

export function asSuccess(ad: AssertionData): AR.AssertResult {
  return BA.failure(
    makeAssertionValue.makeAssertionValue(ad.assertion, ad.value, () => asSuccess(ad))
  )
}