hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

use arrayvec::ArrayVec;

struct Assert<const COND: bool>;

trait IsTrue {}

impl IsTrue for Assert<true> {}

#[allow(private_bounds)]
pub(crate) fn from_array<T, const LEN: usize, const CAP: usize>(array: [T; LEN]) -> ArrayVec<T, CAP>
where
  Assert<{ LEN <= CAP }>: IsTrue,
{
  let mut vec = ArrayVec::new();
  unsafe {
    for el in array {
      vec.push_unchecked(el)
    }
  }
  vec
}

pub(crate) fn from_iter<T, const CAP: usize>(iter: impl IntoIterator<Item = T>) -> ArrayVec<T, CAP> {
  let mut vec = ArrayVec::new();
  for item in iter {
    vec.push(item);
  }
  vec
}