Compare commits
4 commits
7d215c876f
...
2090bfe965
Author | SHA1 | Date | |
---|---|---|---|
2090bfe965 | |||
af55a8a31e | |||
e9f77c203f | |||
b13a510fb7 |
11 changed files with 305 additions and 17 deletions
5
Cargo.lock
generated
5
Cargo.lock
generated
|
@ -1,6 +1,7 @@
|
||||||
# This file is automatically @generated by Cargo.
|
# This file is automatically @generated by Cargo.
|
||||||
# It is not intended for manual editing.
|
# It is not intended for manual editing.
|
||||||
|
version = 3
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "estring"
|
name = "estring"
|
||||||
version = "0.1.2"
|
version = "0.2.1"
|
||||||
|
|
||||||
|
|
|
@ -28,7 +28,7 @@ maintenance = { status = "actively-developed" }
|
||||||
|
|
||||||
[[example]]
|
[[example]]
|
||||||
name = "calc"
|
name = "calc"
|
||||||
required-features = ["structs"]
|
required-features = ["structs", "aggs"]
|
||||||
|
|
||||||
[[example]]
|
[[example]]
|
||||||
name = "dotenv"
|
name = "dotenv"
|
||||||
|
|
|
@ -1,14 +1,12 @@
|
||||||
use estring::{EString, SepVec};
|
use estring::{Aggregate, EString, Product, SepVec, Sum};
|
||||||
|
|
||||||
type PlusVec<T> = SepVec<T, '+'>;
|
type PlusVec<T> = SepVec<T, '+'>;
|
||||||
type MulVec<T> = SepVec<T, '*'>;
|
type MulVec<T> = SepVec<T, '*'>;
|
||||||
|
|
||||||
fn main() -> estring::Result<()> {
|
fn main() -> estring::Result<()> {
|
||||||
let res = EString::from("10+5*2+3")
|
let res = EString::from("10+5*2+3")
|
||||||
.parse::<PlusVec<MulVec<f32>>>()?
|
.parse::<Sum<PlusVec<Product<MulVec<f32>>>>>()?
|
||||||
.iter()
|
.agg();
|
||||||
.map(|m| m.iter().product::<f32>())
|
|
||||||
.sum::<f32>();
|
|
||||||
|
|
||||||
assert_eq!(res, 23.0);
|
assert_eq!(res, 23.0);
|
||||||
Ok(())
|
Ok(())
|
||||||
|
|
|
@ -1,2 +1,8 @@
|
||||||
//! This module will contain aggregate functions (Sum, Product, etc)
|
//! This module will contain aggregate functions (Sum, Product, etc)
|
||||||
//!
|
//!
|
||||||
|
|
||||||
|
mod product;
|
||||||
|
mod sum;
|
||||||
|
|
||||||
|
pub use product::*;
|
||||||
|
pub use sum::*;
|
||||||
|
|
92
src/agg/product.rs
Normal file
92
src/agg/product.rs
Normal file
|
@ -0,0 +1,92 @@
|
||||||
|
use crate::{Aggregatable, Aggregate, EString, ParseFragment};
|
||||||
|
|
||||||
|
/// Aggregate struct, that can multiply inner aggregatable [items](Aggregatable::items) if
|
||||||
|
/// [``Aggregatable::Item``] implements [``std::iter::Product``](std::iter::Product)
|
||||||
|
///
|
||||||
|
/// # Examples
|
||||||
|
///
|
||||||
|
/// ```rust
|
||||||
|
/// use estring::{Aggregate, EString, SepVec, Product};
|
||||||
|
/// let res = EString::from("1*2*3*4")
|
||||||
|
/// .parse::<Product<SepVec<i32, '*'>>>()
|
||||||
|
/// .unwrap()
|
||||||
|
/// .agg();
|
||||||
|
/// assert_eq!(res, 24);
|
||||||
|
/// ```
|
||||||
|
#[derive(Debug, PartialEq, Eq)]
|
||||||
|
pub struct Product<T>(pub T);
|
||||||
|
|
||||||
|
impl<T> ParseFragment for Product<T>
|
||||||
|
where
|
||||||
|
T: ParseFragment,
|
||||||
|
{
|
||||||
|
fn parse_frag(es: EString) -> crate::Result<Self> {
|
||||||
|
T::parse_frag(es).map(Self)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<R, T> Aggregate for Product<T>
|
||||||
|
where
|
||||||
|
R: std::iter::Product,
|
||||||
|
T: Aggregatable<Item = R>,
|
||||||
|
{
|
||||||
|
type Target = R;
|
||||||
|
|
||||||
|
fn agg(self) -> Self::Target {
|
||||||
|
self.0.items().into_iter().product()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<R, T> Aggregatable for Product<T>
|
||||||
|
where
|
||||||
|
R: std::iter::Product,
|
||||||
|
T: Aggregatable<Item = R>,
|
||||||
|
{
|
||||||
|
type Item = R;
|
||||||
|
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self.agg()]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
|
mod tests {
|
||||||
|
use crate::SepVec;
|
||||||
|
|
||||||
|
use super::*;
|
||||||
|
|
||||||
|
type CommaVec<T> = SepVec<T, ','>;
|
||||||
|
type MulVec<T> = SepVec<T, '*'>;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_parse_vec() {
|
||||||
|
let es = EString::from("1,2,3");
|
||||||
|
match es.parse::<Product<CommaVec<i32>>>() {
|
||||||
|
Ok(res) => assert_eq!(res, Product(CommaVec::from(vec![1, 2, 3]))),
|
||||||
|
_ => unreachable!(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector() {
|
||||||
|
let es = EString::from("1,2,3");
|
||||||
|
let expr = es.parse::<Product<CommaVec<i32>>>().unwrap();
|
||||||
|
assert_eq!(expr.agg(), 6);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector_with_inner_vector() {
|
||||||
|
let es = EString::from("1*2,2,3");
|
||||||
|
let expr = es.parse::<Product<CommaVec<MulVec<i32>>>>().unwrap();
|
||||||
|
assert_eq!(expr.agg(), 12);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector_with_inner_aggregation() {
|
||||||
|
let es = EString::from("1*2,2,3");
|
||||||
|
let expr = es
|
||||||
|
.parse::<Product<CommaVec<Product<MulVec<i32>>>>>()
|
||||||
|
.unwrap();
|
||||||
|
assert_eq!(expr.agg(), 12);
|
||||||
|
}
|
||||||
|
}
|
90
src/agg/sum.rs
Normal file
90
src/agg/sum.rs
Normal file
|
@ -0,0 +1,90 @@
|
||||||
|
use crate::{Aggregatable, Aggregate, EString, ParseFragment};
|
||||||
|
|
||||||
|
/// Aggregate struct, that can sum inner aggregatable [items](Aggregatable::items) if
|
||||||
|
/// [``Aggregatable::Item``] implements [``std::iter::Sum``](std::iter::Sum)
|
||||||
|
///
|
||||||
|
/// # Examples
|
||||||
|
///
|
||||||
|
/// ```rust
|
||||||
|
/// use estring::{Aggregate, EString, SepVec, Sum};
|
||||||
|
/// let res = EString::from("1+2+3+4")
|
||||||
|
/// .parse::<Sum<SepVec<i32, '+'>>>()
|
||||||
|
/// .unwrap()
|
||||||
|
/// .agg();
|
||||||
|
/// assert_eq!(res, 10);
|
||||||
|
/// ```
|
||||||
|
#[derive(Debug, PartialEq, Eq)]
|
||||||
|
pub struct Sum<T>(pub T);
|
||||||
|
|
||||||
|
impl<T> ParseFragment for Sum<T>
|
||||||
|
where
|
||||||
|
T: ParseFragment,
|
||||||
|
{
|
||||||
|
fn parse_frag(es: EString) -> crate::Result<Self> {
|
||||||
|
T::parse_frag(es).map(Self)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<R, T> Aggregate for Sum<T>
|
||||||
|
where
|
||||||
|
R: std::iter::Sum,
|
||||||
|
T: Aggregatable<Item = R>,
|
||||||
|
{
|
||||||
|
type Target = R;
|
||||||
|
|
||||||
|
fn agg(self) -> Self::Target {
|
||||||
|
self.0.items().into_iter().sum()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<R, T> Aggregatable for Sum<T>
|
||||||
|
where
|
||||||
|
R: std::iter::Sum,
|
||||||
|
T: Aggregatable<Item = R>,
|
||||||
|
{
|
||||||
|
type Item = R;
|
||||||
|
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self.agg()]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
|
mod tests {
|
||||||
|
use crate::SepVec;
|
||||||
|
|
||||||
|
use super::*;
|
||||||
|
|
||||||
|
type CommaVec<T> = SepVec<T, ','>;
|
||||||
|
type PlusVec<T> = SepVec<T, '+'>;
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_parse_vec() {
|
||||||
|
let es = EString::from("1,2,3");
|
||||||
|
match es.parse::<Sum<CommaVec<i32>>>() {
|
||||||
|
Ok(res) => assert_eq!(res, Sum(CommaVec::from(vec![1, 2, 3]))),
|
||||||
|
_ => unreachable!(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector() {
|
||||||
|
let es = EString::from("1,2,3");
|
||||||
|
let expr = es.parse::<Sum<CommaVec<i32>>>().unwrap();
|
||||||
|
assert_eq!(expr.agg(), 6);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector_with_inner_vector() {
|
||||||
|
let es = EString::from("1+2,2,3");
|
||||||
|
let expr = es.parse::<Sum<CommaVec<PlusVec<i32>>>>().unwrap();
|
||||||
|
assert_eq!(expr.agg(), 8);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_aggregate_vector_with_inner_aggregation() {
|
||||||
|
let es = EString::from("1+2,2,3");
|
||||||
|
let expr = es.parse::<Sum<CommaVec<Sum<PlusVec<i32>>>>>().unwrap();
|
||||||
|
assert_eq!(expr.agg(), 8);
|
||||||
|
}
|
||||||
|
}
|
50
src/core.rs
50
src/core.rs
|
@ -110,6 +110,29 @@ pub trait ParseFragment: Sized {
|
||||||
fn parse_frag(es: EString) -> crate::Result<Self>;
|
fn parse_frag(es: EString) -> crate::Result<Self>;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// TODO: add example
|
||||||
|
/// Trait to represent structures that can act as aggregators.
|
||||||
|
///
|
||||||
|
/// The `agg` method works with data that has already been parsed. For this reason, **this trait
|
||||||
|
/// should never fail**.
|
||||||
|
pub trait Aggregate {
|
||||||
|
/// The resulting type after aggregation.
|
||||||
|
type Target: ?Sized;
|
||||||
|
|
||||||
|
/// Aggregates the value.
|
||||||
|
fn agg(self) -> Self::Target;
|
||||||
|
}
|
||||||
|
|
||||||
|
// TODO: add example
|
||||||
|
/// Trait to represent structures that can iterate values for the aggregator.
|
||||||
|
pub trait Aggregatable {
|
||||||
|
/// The type of the elements being iterated over.
|
||||||
|
type Item;
|
||||||
|
|
||||||
|
/// Returns Vec of aggregatable values
|
||||||
|
fn items(self) -> Vec<Self::Item>;
|
||||||
|
}
|
||||||
|
|
||||||
/// Wrapper under ``String`` type.
|
/// Wrapper under ``String`` type.
|
||||||
///
|
///
|
||||||
/// # Examples
|
/// # Examples
|
||||||
|
@ -217,6 +240,15 @@ impl ParseFragment for EString {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl Aggregatable for EString {
|
||||||
|
type Item = Self;
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl ParseFragment for String {
|
impl ParseFragment for String {
|
||||||
#[inline]
|
#[inline]
|
||||||
fn parse_frag(es: EString) -> crate::Result<Self> {
|
fn parse_frag(es: EString) -> crate::Result<Self> {
|
||||||
|
@ -231,6 +263,15 @@ impl ToEString for String {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl Aggregatable for String {
|
||||||
|
type Item = Self;
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl ParseFragment for &'static str {
|
impl ParseFragment for &'static str {
|
||||||
#[inline]
|
#[inline]
|
||||||
fn parse_frag(es: EString) -> crate::Result<Self> {
|
fn parse_frag(es: EString) -> crate::Result<Self> {
|
||||||
|
@ -245,6 +286,15 @@ impl<'a> ToEString for &'a str {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl<'a> Aggregatable for &'a str {
|
||||||
|
type Item = Self;
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
use crate::core::{EString, ParseFragment, ToEString};
|
use crate::core::{Aggregatable, EString, ParseFragment, ToEString};
|
||||||
use crate::error::{Error, Reason};
|
use crate::error::{Error, Reason};
|
||||||
|
|
||||||
impl ParseFragment for bool {
|
impl ParseFragment for bool {
|
||||||
|
@ -19,6 +19,15 @@ impl ToEString for bool {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl Aggregatable for bool {
|
||||||
|
type Item = Self;
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self]
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
use crate::core::{EString, ParseFragment, ToEString};
|
use crate::core::{Aggregatable, EString, ParseFragment, ToEString};
|
||||||
use crate::error::{Error, Reason};
|
use crate::error::{Error, Reason};
|
||||||
|
|
||||||
#[doc(hidden)]
|
#[doc(hidden)]
|
||||||
|
@ -18,6 +18,15 @@ macro_rules! from_env_string_numbers_impl {
|
||||||
EString(self.to_string())
|
EString(self.to_string())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl Aggregatable for $ty {
|
||||||
|
type Item = Self;
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
vec![self]
|
||||||
|
}
|
||||||
|
}
|
||||||
)+
|
)+
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
use crate::core::{EString, ParseFragment, ToEString};
|
use crate::core::{Aggregatable, EString, ParseFragment, ToEString};
|
||||||
|
|
||||||
impl<T> ToEString for Option<T>
|
impl<T> ToEString for Option<T>
|
||||||
where
|
where
|
||||||
|
@ -25,6 +25,17 @@ where
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl<T> Aggregatable for Option<T>
|
||||||
|
where
|
||||||
|
T: Aggregatable,
|
||||||
|
{
|
||||||
|
type Item = T::Item;
|
||||||
|
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
self.map(T::items).unwrap_or_default()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
//! Contains the implementations to vec type
|
//! Contains the implementations to vec type
|
||||||
//!
|
//!
|
||||||
|
|
||||||
use crate::core::{EString, ParseFragment, ToEString};
|
use crate::core::{Aggregatable, EString, ParseFragment, ToEString};
|
||||||
use std::fmt::Write;
|
use std::fmt::Write;
|
||||||
|
|
||||||
/// Wrapper for ``Vec`` to split string by a separator (`SEP`).
|
/// Wrapper for ``Vec`` to split string by a separator (`SEP`).
|
||||||
|
@ -92,17 +92,25 @@ where
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl<T, const SEP: char> Aggregatable for SepVec<T, SEP>
|
||||||
|
where
|
||||||
|
T: Aggregatable,
|
||||||
|
{
|
||||||
|
type Item = T::Item;
|
||||||
|
|
||||||
|
fn items(self) -> Vec<Self::Item> {
|
||||||
|
self.0.into_iter().flat_map(T::items).collect()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use super::*;
|
use super::*;
|
||||||
use crate::Pair;
|
use crate::Pair;
|
||||||
use crate::{Error, Reason};
|
use crate::{Error, Reason};
|
||||||
|
|
||||||
const COMMA: char = ',';
|
type CommaVec<T> = SepVec<T, ','>;
|
||||||
const SEMI: char = ';';
|
type SemiVec<T> = SepVec<T, ';'>;
|
||||||
|
|
||||||
type CommaVec<T> = SepVec<T, COMMA>;
|
|
||||||
type SemiVec<T> = SepVec<T, SEMI>;
|
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn should_parse_into_vec() {
|
fn should_parse_into_vec() {
|
||||||
|
@ -171,4 +179,18 @@ d,e";
|
||||||
let vec = SepVec::<_, ','>::from(vec![PlusPair::from((1, 2)), PlusPair::from((3, 4))]);
|
let vec = SepVec::<_, ','>::from(vec![PlusPair::from((1, 2)), PlusPair::from((3, 4))]);
|
||||||
assert_eq!(vec.to_estring(), EString(String::from("1+2,3+4")));
|
assert_eq!(vec.to_estring(), EString(String::from("1+2,3+4")));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_returns_aggregatable_items() {
|
||||||
|
let estr = EString::from("1,2,3,4,5");
|
||||||
|
let res = estr.parse::<CommaVec<i32>>().unwrap();
|
||||||
|
assert_eq!(res.items(), vec![1, 2, 3, 4, 5]);
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
fn should_returns_flatten_aggregatable_items() {
|
||||||
|
let estr = EString::from("1,2; 3,4,5; 6,7");
|
||||||
|
let res = estr.parse::<SemiVec<CommaVec<i32>>>().unwrap();
|
||||||
|
assert_eq!(res.items(), vec![1, 2, 3, 4, 5, 6, 7]);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
Reference in a new issue