aboutsummaryrefslogtreecommitdiff
path: root/aoc2023/build/packages/adglent/src/showtime/tests/should.gleam
diff options
context:
space:
mode:
Diffstat (limited to 'aoc2023/build/packages/adglent/src/showtime/tests/should.gleam')
-rw-r--r--aoc2023/build/packages/adglent/src/showtime/tests/should.gleam113
1 files changed, 0 insertions, 113 deletions
diff --git a/aoc2023/build/packages/adglent/src/showtime/tests/should.gleam b/aoc2023/build/packages/adglent/src/showtime/tests/should.gleam
deleted file mode 100644
index 71578c7..0000000
--- a/aoc2023/build/packages/adglent/src/showtime/tests/should.gleam
+++ /dev/null
@@ -1,113 +0,0 @@
-import gleam/option.{type Option, None, Some}
-import showtime/tests/meta.{type Meta}
-
-pub type Assertion(t, e) {
- Eq(a: t, b: t, meta: Option(Meta))
- NotEq(a: t, b: t, meta: Option(Meta))
- IsOk(a: Result(t, e), meta: Option(Meta))
- IsError(a: Result(t, e), meta: Option(Meta))
- Fail(meta: Option(Meta))
-}
-
-pub fn equal(a: t, b: t) {
- evaluate(Eq(a, b, None))
-}
-
-pub fn equal_meta(a: t, b: t, meta: Meta) {
- evaluate(Eq(a, b, Some(meta)))
-}
-
-pub fn not_equal(a: t, b: t) {
- evaluate(NotEq(a, b, None))
-}
-
-pub fn not_equal_meta(a: t, b: t, meta: Meta) {
- evaluate(NotEq(a, b, Some(meta)))
-}
-
-pub fn be_ok(a: Result(o, e)) {
- evaluate(IsOk(a, None))
- let assert Ok(value) = a
- value
-}
-
-pub fn be_ok_meta(a: Result(o, e), meta: Meta) {
- evaluate(IsOk(a, Some(meta)))
-}
-
-pub fn be_error(a: Result(o, e)) {
- evaluate(IsError(a, None))
- let assert Error(value) = a
- value
-}
-
-pub fn be_error_meta(a: Result(o, e), meta: Meta) {
- evaluate(IsError(a, Some(meta)))
-}
-
-pub fn fail() {
- evaluate(Fail(None))
-}
-
-pub fn fail_meta(meta: Meta) {
- evaluate(Fail(Some(meta)))
-}
-
-pub fn be_true(a: Bool) {
- a
- |> equal(True)
-}
-
-pub fn be_true_meta(a: Bool, meta: Meta) {
- a
- |> equal_meta(True, meta)
-}
-
-pub fn be_false(a: Bool) {
- a
- |> equal(False)
-}
-
-pub fn be_false_meta(a: Bool, meta: Meta) {
- a
- |> equal_meta(False, meta)
-}
-
-@external(erlang, "showtime_ffi", "gleam_error")
-fn gleam_error(value: Result(Nil, Assertion(a, b))) -> Nil
-
-pub fn evaluate(assertion) -> Nil {
- case assertion {
- Eq(a, b, _meta) ->
- case a == b {
- True -> Nil
- False -> {
- gleam_error(Error(assertion))
- }
- }
- NotEq(a, b, _meta) ->
- case a != b {
- True -> Nil
- False -> {
- gleam_error(Error(assertion))
- }
- }
- IsOk(a, _meta) ->
- case a {
- Ok(_) -> Nil
- Error(_) -> {
- gleam_error(Error(assertion))
- }
- }
- IsError(a, _meta) ->
- case a {
- Error(_) -> Nil
- Ok(_) -> {
- gleam_error(Error(assertion))
- }
- }
- Fail(_meta) -> {
- gleam_error(Error(assertion))
- }
- }
-}