knave 0.13.2

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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

use super::rust_types::RustTypeTable;
use super::ty::Type;
use crate::core::{BindingId, PrimitiveType};

#[derive(Clone, Copy, PartialEq, Eq)]
pub enum CollectionKind {
    Vector,
    Slice,
    SortedMap,
    HashMap,
}

pub struct Collection {
    kind: CollectionKind,
    ty: Type,
    key: Type,
    value: Type,
}

impl Collection {
    pub fn of_referent(ty: &Type, rust_types: &RustTypeTable) -> Option<Self> {
        match ty {
            Type::Ref(_, inner) | Type::Mut(_, inner) => Self::of_referent(inner, rust_types),
            _ => Self::of(ty, rust_types),
        }
    }

    pub fn of(ty: &Type, rust_types: &RustTypeTable) -> Option<Self> {
        let Type::Named(binding, arguments) = ty else {
            return None;
        };
        if let Some(kind) = Self::sequence_kind(*binding, rust_types) {
            let [value] = arguments.as_slice() else {
                return None;
            };
            return Some(Self {
                kind,
                ty: ty.clone(),
                key: Type::Primitive(PrimitiveType::Usize),
                value: value.clone(),
            });
        }
        if rust_types.is_sorted_map(*binding) || rust_types.is_hash_map(*binding) {
            let [key, value] = arguments.as_slice() else {
                return None;
            };
            let kind = if rust_types.is_sorted_map(*binding) {
                CollectionKind::SortedMap
            } else {
                CollectionKind::HashMap
            };
            return Some(Self {
                kind,
                ty: ty.clone(),
                key: key.clone(),
                value: value.clone(),
            });
        }
        None
    }

    fn sequence_kind(binding: BindingId, rust_types: &RustTypeTable) -> Option<CollectionKind> {
        if rust_types.is_vector(binding) {
            Some(CollectionKind::Vector)
        } else if rust_types.is_slice(binding) {
            Some(CollectionKind::Slice)
        } else {
            None
        }
    }

    pub fn kind(&self) -> CollectionKind {
        self.kind
    }

    pub fn ty(&self) -> &Type {
        &self.ty
    }

    pub fn key(&self) -> &Type {
        &self.key
    }

    pub fn value(&self) -> &Type {
        &self.value
    }

    pub fn is_sequence(&self) -> bool {
        matches!(self.kind, CollectionKind::Vector | CollectionKind::Slice)
    }

    pub fn is_map(&self) -> bool {
        matches!(
            self.kind,
            CollectionKind::SortedMap | CollectionKind::HashMap
        )
    }
}