knave 0.14.22

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use std::rc::Rc;

use super::ty::Bound;
use super::typed_associated_type::TypedAssociatedType;
use super::typed_trait_method::TypedTraitMethod;
use crate::core::{BindingId, ModuleId};

pub struct TypedTrait {
    pub binding: BindingId,
    pub module: ModuleId,
    pub rust_name: Rc<str>,
    pub supertraits: Vec<Bound>,
    pub associated: Vec<TypedAssociatedType>,
    pub methods: Vec<TypedTraitMethod>,
}