should

Types

Assertion

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))
}

Constructors

```
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))
```

Functions

be_error

</>

pub fn be_error(a: Result(a, b)) -> b

be_error_meta

</>

pub fn be_error_meta(a: Result(a, b), meta: Meta) -> Nil

be_false

</>

pub fn be_false(a: Bool) -> Nil

be_false_meta

</>

pub fn be_false_meta(a: Bool, meta: Meta) -> Nil

be_ok

</>

pub fn be_ok(a: Result(a, b)) -> a

be_ok_meta

</>

pub fn be_ok_meta(a: Result(a, b), meta: Meta) -> Nil

be_true

</>

pub fn be_true(a: Bool) -> Nil

be_true_meta

</>

pub fn be_true_meta(a: Bool, meta: Meta) -> Nil

equal

</>

pub fn equal(a: a, b: a) -> Nil

equal_meta

</>

pub fn equal_meta(a: a, b: a, meta: Meta) -> Nil

evaluate

</>

pub fn evaluate(assertion: Assertion(a, b)) -> Nil

fail

</>

pub fn fail() -> Nil

fail_meta

</>

pub fn fail_meta(meta: Meta) -> Nil

not_equal

</>

pub fn not_equal(a: a, b: a) -> Nil

not_equal_meta

</>

pub fn not_equal_meta(a: a, b: a, meta: Meta) -> Nil