unspeaker/tek
1
0
Fork 0
mirror of https://codeberg.org/unspeaker/tek.git synced 2025-12-06 11:46:41 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

wip: some meandering and then it clicked

Browse source
This commit is contained in:
🪞👃🪞 2025-01-12 23:39:26 +01:00
parent 8c54f8e426
commit 2afae4b6aa
3 changed files with 141 additions and 185 deletions
Download patch file Download diff file Expand all files Collapse all files

38
edn/src/edn_provide.rs
View file

@ -2,41 +2,43 @@ use crate::*;
/// Implement `EdnProvide` for a type and context
#[macro_export] macro_rules! edn_provide {
($type:ty:|$self:ident:$State:ty|{ $($pat:pat => $expr:expr),* $(,)? }) => {
//impl EdnProvide<$type> for $State {
//fn get <S: AsRef<str>> (&$self, edn: &EdnItem<S>) -> Option<$type> {
//Some(match edn.to_ref() {
//$(EdnItem::Sym($pat) => $expr),*,
//_ => return None
//})
//}
//}
impl EdnProvide<$type> for $State {
fn get <S: AsRef<str>> (&$self, edn: &EdnItem<S>) -> Option<$type> {
($lt:lifetime: $type:ty:|$self:ident:$State:ty|{ $($pat:pat => $expr:expr),* $(,)? }) => {
impl<$lt> EdnProvide<$lt, $type> for $State {
fn get <S: AsRef<str>> (&$lt $self, edn: &$lt EdnItem<S>) -> Option<$type> {
Some(match edn.to_ref() {
$(EdnItem::Sym($pat) => $expr),*,
_ => return None
})
}
}
}
};
($type:ty:|$self:ident:$State:ty|{ $($pat:pat => $expr:expr),* $(,)? }) => {
impl<'a> EdnProvide<'a, $type> for $State {
fn get <S: AsRef<str>> (&'a $self, edn: &'a EdnItem<S>) -> Option<$type> {
Some(match edn.to_ref() {
$(EdnItem::Sym($pat) => $expr),*,
_ => return None
})
}
}
};
}
/// Map EDN tokens to parameters of a given type for a given context
pub trait EdnProvide<U> {
fn get <S: AsRef<str>> (&self, _edn: &EdnItem<S>) -> Option<U> {
pub trait EdnProvide<'a, U> {
fn get <S: AsRef<str>> (&'a self, _edn: &'a EdnItem<S>) -> Option<U> {
None
}
fn get_or_fail <S: AsRef<str>> (&self, edn: &EdnItem<S>) -> U {
fn get_or_fail <S: AsRef<str>> (&'a self, edn: &'a EdnItem<S>) -> U {
self.get(edn).expect("no value")
}
}
impl<T: EdnProvide<U>, U> EdnProvide<U> for &T {
fn get <S: AsRef<str>> (&self, edn: &EdnItem<S>) -> Option<U> {
impl<'a, T: EdnProvide<'a, U>, U> EdnProvide<'a, U> for &T {
fn get <S: AsRef<str>> (&'a self, edn: &'a EdnItem<S>) -> Option<U> {
(*self).get(edn)
}
fn get_or_fail <S: AsRef<str>> (&self, edn: &EdnItem<S>) -> U {
fn get_or_fail <S: AsRef<str>> (&'a self, edn: &'a EdnItem<S>) -> U {
(*self).get_or_fail(edn)
}
}