sway-core 0.37.3

Sway core language.
Documentation 
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

use std::{cmp::Ordering, hash::Hasher};

use crate::{decl_engine::DeclId, engine_threading::*, language::ty, type_system::*};

#[derive(Debug)]
pub(crate) enum Instruction {
    Type(TypeId, SubstList),
    FnDecl(DeclId<ty::TyFunctionDecl>, SubstList),
    TraitDecl(DeclId<ty::TyTraitDecl>, SubstList),
    ImplTrait(DeclId<ty::TyImplTrait>, SubstList),
    StructDecl(DeclId<ty::TyStructDecl>, SubstList),
    EnumDecl(DeclId<ty::TyEnumDecl>, SubstList),
}

impl Instruction {
    fn discriminant_value(&self) -> u8 {
        use Instruction::*;
        match self {
            Type(_, _) => 0,
            FnDecl(_, _) => 1,
            TraitDecl(_, _) => 2,
            ImplTrait(_, _) => 3,
            StructDecl(_, _) => 4,
            EnumDecl(_, _) => 5,
        }
    }
}

impl EqWithEngines for Instruction {}
impl PartialEqWithEngines for Instruction {
    fn eq(&self, other: &Self, _engines: Engines<'_>) -> bool {
        use Instruction::*;
        match (self, other) {
            (Type(_, _), Type(_, _)) => todo!(),
            (FnDecl(_, _), FnDecl(_, _)) => todo!(),
            (TraitDecl(_, _), TraitDecl(_, _)) => todo!(),
            (ImplTrait(_, _), ImplTrait(_, _)) => todo!(),
            (StructDecl(_, _), StructDecl(_, _)) => todo!(),
            (EnumDecl(_, _), EnumDecl(_, _)) => todo!(),
            (l, r) => l.discriminant_value() == r.discriminant_value(),
        }
    }
}

impl HashWithEngines for Instruction {
    fn hash<H: Hasher>(&self, _state: &mut H, _engines: Engines<'_>) {
        use Instruction::*;
        match self {
            Type(_, _) => todo!(),
            FnDecl(_, _) => todo!(),
            TraitDecl(_, _) => todo!(),
            ImplTrait(_, _) => todo!(),
            StructDecl(_, _) => todo!(),
            EnumDecl(_, _) => todo!(),
        }
    }
}

impl OrdWithEngines for Instruction {
    fn cmp(&self, other: &Self, _engines: Engines<'_>) -> Ordering {
        use Instruction::*;
        match (self, other) {
            (Type(_, _), Type(_, _)) => todo!(),
            (FnDecl(_, _), FnDecl(_, _)) => todo!(),
            (TraitDecl(_, _), TraitDecl(_, _)) => todo!(),
            (ImplTrait(_, _), ImplTrait(_, _)) => todo!(),
            (StructDecl(_, _), StructDecl(_, _)) => todo!(),
            (EnumDecl(_, _), EnumDecl(_, _)) => todo!(),
            (l, r) => l.discriminant_value().cmp(&r.discriminant_value()),
        }
    }
}