knave 0.14.17

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
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
73
74
75
76
77
78
79

use super::declarations::Declarations;
use super::declared_traits::DeclaredTraits;
use super::declared_types::DeclaredTypes;
use super::derive_blockers::DeriveBlockers;
use super::trait_declarations::TraitDeclarations;
use super::type_declarations::TypeDeclarations;
use super::variant_payloads::VariantPayloads;
use super::{Type, TypedProgram, TypedSource};
use crate::core::BindingId;

pub(super) struct DeclarationsFixture {
    program: TypedProgram,
    declarations: Declarations,
}

impl DeclarationsFixture {
    pub(super) fn new(source: &str) -> Self {
        let mut program = TypedSource::expand(source).typed();
        let types = TypeDeclarations::taken_from(&mut program);
        let traits = TraitDeclarations::taken_from(&mut program);
        Self {
            program,
            declarations: Declarations { types, traits },
        }
    }

    pub(super) fn declared_types(&self) -> DeclaredTypes<'_> {
        DeclaredTypes::new(&self.declarations.types)
    }

    pub(super) fn declared_traits(&self) -> DeclaredTraits<'_> {
        DeclaredTraits::new(&self.declarations.traits)
    }

    pub(super) fn derive_blockers(&self) -> DeriveBlockers<'_> {
        DeriveBlockers::new(
            &self.declarations.types,
            self.declared_traits(),
            VariantPayloads::new(&self.declarations.types),
        )
    }

    pub(super) fn trait_named(&self, name: &str) -> BindingId {
        self.binding_named(name, &|binding| {
            self.declarations.traits.table.get(binding).is_some()
        })
    }

    pub(super) fn type_named(&self, name: &str) -> BindingId {
        let types = &self.declarations.types;
        self.binding_named(name, &|binding| {
            types.structs.get(binding).is_some() || types.enums.get(binding).is_some()
        })
    }

    pub(super) fn parameter(&self, function: &str) -> Type {
        let definition = self
            .program
            .modules
            .iter()
            .flat_map(|module| &module.definitions)
            .find(|definition| self.program.bindings.get(definition.binding).name() == function)
            .expect("the source defines the function");
        let Type::Function(_, parameters, _) = &definition.scheme.body else {
            panic!("a defn has a function type");
        };
        parameters[0].clone()
    }

    fn binding_named(&self, name: &str, declared: &dyn Fn(BindingId) -> bool) -> BindingId {
        self.program
            .bindings
            .ids()
            .find(|binding| {
                self.program.bindings.get(*binding).name() == name && declared(*binding)
            })
            .expect("the source declares the name")
    }
}