unspeaker/tengri
1
0
Fork 0
mirror of https://codeberg.org/unspeaker/tengri.git synced 2025-12-06 19:56:44 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

dsl: Provide -> Take, Receive -> Give (swap + shorten)

Browse source
This commit is contained in:
🪞👃🪞 2025-05-23 21:39:29 +03:00
parent 583660c330
commit ddf0c05d5f
10 changed files with 64 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

36
dsl/src/dsl_provide.rs
View file

@ -1,25 +1,31 @@
use crate::*;
pub trait Receive<Type> {
fn receive <'source> (&self, words: &mut TokenIter<'source>) -> Perhaps<Type>;
fn receive_or_fail <'source, E: Into<Box<dyn std::error::Error>>, F: Fn()->E> (
// maybe their names should be switched around?
/// [Take]s instances of [Type] given [TokenIter].
pub trait Give<Type> {
/// Implement this to be able to [Give] [Type] from the [TokenIter].
fn give <'source> (&self, words: &mut TokenIter<'source>) -> Perhaps<Type>;
/// Return custom error on [None].
fn give_or_fail <'source, E: Into<Box<dyn std::error::Error>>, F: Fn()->E> (
&self, words: &mut TokenIter<'source>, error: F
) -> Usually<Type> {
if let Some(value) = Receive::<Type>::receive(self, words)? {
if let Some(value) = Give::<Type>::give(self, words)? {
Ok(value)
} else {
Result::Err(format!("receive: {}: {:?}", error().into(), words.peek().map(|x|x.value)).into())
Result::Err(format!("give: {}: {:?}", error().into(), words.peek().map(|x|x.value)).into())
}
}
}
pub trait Provide<'n, State>: Sized + 'n {
fn provide <'source> (state: &State, words: &mut TokenIter<'source>)
-> Perhaps<Self>;
/// [Give]s instances of [Self] given [TokenIter].
pub trait Take<'n, State>: Sized + 'n {
fn provide <'source> (state: &State, words: &mut TokenIter<'source>) -> Perhaps<Self>;
/// Return custom error on [None].
fn provide_or_fail <'source, E: Into<Box<dyn std::error::Error>>, F: Fn()->E> (
state: &State, words: &mut TokenIter<'source>, error: F
) -> Usually<Self> {
if let Some(value) = Provide::<State>::provide(state, words)? {
if let Some(value) = Take::<State>::provide(state, words)? {
Ok(value)
} else {
Result::Err(format!("provide: {}: {:?}", error().into(), words.peek().map(|x|x.value)).into())
@ -27,25 +33,25 @@ pub trait Provide<'n, State>: Sized + 'n {
}
}
/// Implement the [Receive] trait, which boils down to
/// Implement the [Give] trait, which boils down to
/// specifying two types and providing an expression.
#[macro_export] macro_rules! from_dsl {
(@a: $T:ty: |$state:ident, $words:ident|$expr:expr) => {
impl<'n, State, A: Provide<'n, State>> Provide<'n, State> for $T {
impl<'n, State, A: Take<'n, State>> Take<'n, State> for $T {
fn provide <'source> ($state: &State, $words: &mut TokenIter<'source>) -> Perhaps<$T> {
$expr
}
}
};
(@ab: $T:ty: |$state:ident, $words:ident|$expr:expr) => {
impl<'n, State, A: Provide<'n, State>, B: Provide<'n, State>> Provide<'n, State> for $T {
impl<'n, State, A: Take<'n, State>, B: Take<'n, State>> Take<'n, State> for $T {
fn provide <'source> ($state: &State, $words: &mut TokenIter<'source>) -> Perhaps<$T> {
$expr
}
}
};
($T:ty: |$state:ident:$S:ty, $words:ident|$expr:expr) => {
impl<'n> Provide<'n, $S> for $T {
impl<'n> Take<'n, $S> for $T {
fn provide <'source> ($state: &$S, $words: &mut TokenIter<'source>) -> Perhaps<$T> {
$expr
}
@ -55,7 +61,7 @@ pub trait Provide<'n, State>: Sized + 'n {
// auto impl graveyard:
//impl<'n, State: Receive<Type>, Type: 'n> Provide<'n, State> for Type {
//impl<'n, State: Give<Type>, Type: 'n> Take<'n, State> for Type {
//fn provide <'source> (state: &State, words: &mut TokenIter<'source>)
//-> Perhaps<Self>
//{
@ -63,7 +69,7 @@ pub trait Provide<'n, State>: Sized + 'n {
//}
//}
//impl<'n, Type: Provide<'n, State>, State> Receive<Type> for State {
//impl<'n, Type: Take<'n, State>, State> Give<Type> for State {
//fn take <'source> (&self, words: &mut TokenIter<'source>) -> Perhaps<Type> {
//Type::provide(self, words)
//}