auxlib

Deprecated in favor of aiken-extra/test_kit

An Aiken auxiliary library. Currently it contains some removed functions from stdlib, and additional stuffs.

History

• v2.220.202501: Use stdlib v2.2.0

• v2.210.202409: Use stdlib v2.1.0

• v2.200.202409: Use stdlib v2.0.0

• v2.190.202405: Use stdlib v1.9.0

• v2.180.202403: Use stdlib v1.8.0

• v2.170.202312: Compiled using 07122aaa88

• v2.170.202311: Use stdlib v1.7.0

• v2.160.202310: Add collections.{zip3, unzip3}

• v2.160.202309: Use stdlib v1.6.0

• v2.150.202308f: Compiled using 1715496d5b

• v2.150.202308: In stdlib v1.5.0 the list.{and,or} were removed in favor of the new {and,or} blocks (see aiken v1.0.14-alpha release notes). Unfortunately currently there is no replacement to conveniently do the logical and|or for List<Bool> data-type variables, for example:

Previously we could just,

  let list_variable = [True, True, True]
  list.and(list_variable)

now if we try,

  let list_variable = [True, True, True]
  and { list_variable }

it will throw aiken::check::type_mismatch:

  × While trying to make sense of your code...
  ╰─▶ I struggled to unify the types of two expressions.

  help: I am inferring the following type:

            Bool

        but I found an expression with a different type:

            List<Bool>

        Either, add type-annotation to improve my inference, or adjust the expression to have the expected type.


Summary
    1 error, 0 warnings

It is possible to use list_variable |> all(identity) from Prelude, but it’s not as clear as list.and. Hence for the time being, this library offers the following solution:

use auxlib/collections.{list_and}

  let list_variable = [True, True, True]
  list_and(list_variable)

or alternatively,

use auxlib/logics.{all_true}

  let list_variable = [True, True, True]
  list_variable |> all_true