https://github.com/hanepjiv/elicit-rs
SmartPointer-like structure for polymorphism.
https://github.com/hanepjiv/elicit-rs
rust rust-crate rust-crates rust-library
Last synced: 4 months ago
JSON representation
SmartPointer-like structure for polymorphism.
- Host: GitHub
- URL: https://github.com/hanepjiv/elicit-rs
- Owner: hanepjiv
- License: apache-2.0
- Created: 2016-04-04T10:27:28.000Z (about 10 years ago)
- Default Branch: main
- Last Pushed: 2025-04-02T09:40:02.000Z (about 1 year ago)
- Last Synced: 2025-04-02T10:35:22.556Z (about 1 year ago)
- Topics: rust, rust-crate, rust-crates, rust-library
- Language: Rust
- Homepage:
- Size: 373 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE-2.0
Awesome Lists containing this project
README
# elicit-rs
## Build Status
- [main](https://github.com/hanepjiv/elicit-rs/tree/main): [](https://github.com/hanepjiv/elicit-rs/actions/workflows/ci-rust.yml)
# Examples
## Elicit
```
pub(crate) mod mine {
use elicit::{elicit_define, Elicit};
#[elicit_define(mine_elicit)]
pub(crate) trait Mine {
fn action(&self) -> i32;
fn action_mut(&mut self) -> i32;
}
// pub(crate) mine_elicit::author as elicit_author;
pub(crate) use mine_elicit::user as elicit_user;
#[derive(Debug, Default, Clone, Elicit)]
#[elicit_mod_author(mine_elicit::author)]
pub(crate) struct X {}
impl Mine for X {
fn action(&self) -> i32 {
0i32
}
fn action_mut(&mut self) -> i32 {
0i32
}
}
#[derive(Debug, Clone, Elicit)]
#[elicit_mod_author(mine_elicit::author)]
// #[elicit_from_self_field(_fsf)] // here
pub(crate) struct Y {
#[elicit_from_self_field] // or here
_fsf: mine_elicit::author::ElicitFromSelfField,
i: i32,
}
impl Y {
pub(crate) fn new(a: i32) -> Self {
Y {
_fsf: Default::default(),
i: a,
}
}
}
impl Mine for Y {
fn action(&self) -> i32 {
self.i
}
fn action_mut(&mut self) -> i32 {
self.i += 1;
self.i
}
}
}
pub(crate) fn fire() -> elicit::Result<()> {
use mine::elicit_user::Elicit as MineElicit;
use mine::{X, Y};
let mut e: MineElicit;
e = MineElicit::new(X::default())?;
e.try_with(|m| -> elicit::Result<()> {
println!("{:?}", m);
assert!(m.action() == 0);
Ok(())
})?;
let y = Y::new(1);
e = MineElicit::new(y)?;
e.try_with_mut(|m| -> elicit::Result<()> {
println!("{:?}", m);
assert!(m.action_mut() == 2);
Ok(())
})?;
Ok(())
}
fire().expect("Doc-tests");
```
## License
Licensed under either of
* Apache License, Version 2.0
([LICENSE-APACHE-2.0](LICENSE-APACHE-2.0) or http://www.apache.org/licenses/LICENSE-2.0)
* MIT license
([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
at your option.
## Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in the work by you, as defined in the Apache-2.0 license, shall be
dual licensed as above, without any additional terms or conditions.