luaur-analysis 0.1.1

Luau type checker and type inference (Rust).
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

use crate::type_aliases::type_id::TypeId;

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct AssignIndexConstraint {
    pub(crate) lhs_type: TypeId,
    pub(crate) index_type: TypeId,
    pub(crate) rhs_type: TypeId,
    /// The canonical write type of the property. It is _solely_ used to
    /// populate astTypes during constraint resolution. Nothing should ever
    /// block on it.
    pub(crate) prop_type: TypeId,
}

#[allow(non_snake_case)]
impl AssignIndexConstraint {
    pub fn lhsType(&self) -> TypeId {
        self.lhs_type
    }

    pub fn indexType(&self) -> TypeId {
        self.index_type
    }

    pub fn rhsType(&self) -> TypeId {
        self.rhs_type
    }

    pub fn propType(&self) -> TypeId {
        self.prop_type
    }
}