sway-core 0.37.3

Sway core language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! This module takes a list of [Constraint]s, solves them (if they are
//! solvable), and outputs a list of [Instruction]s to apply to a typed AST.

pub(crate) mod instruction_result;
pub(crate) mod iteration_report;
pub(crate) mod solver;

use std::collections::BinaryHeap;

use crate::{engine_threading::*, monomorphize::priv_prelude::*};

/// Priority queue sorting the constraints.
// https://dev.to/timclicks/creating-a-priority-queue-with-a-custom-sort-order-using-a-binary-heap-in-rust-3oab
pub(crate) type ConstraintWrapper<'a> = WithEngines<'a, Constraint>;
pub(crate) type ConstraintPQ<'a> = BinaryHeap<ConstraintWrapper<'a>>;