wright 0.10.1

The wright programming language compiler and tooling.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Structural representation of `where` clauses in wright.

use crate::parser::ast::{metadata::AstNodeMeta, types::TypeInstantiation};

/// A where clause in wright source code.
#[derive(Debug)]
pub struct WhereClause<'src> {
    /// The metadata for this AST node.
    pub meta: AstNodeMeta<'src>,
    /// The type bounds defined in this where clause.
    pub bounds: Vec<TypeBound<'src>>,
}

/// A bound on a type defined in a where clause.
#[derive(Debug)]
pub struct TypeBound<'src> {
    /// The metadata for this AST node.
    pub meta: AstNodeMeta<'src>,
    /// The type being bound.
    pub lhs_ty: TypeInstantiation<'src>,
    /// The trait being required of it.
    pub requirement: TypeInstantiation<'src>,
}