1
0
mirror of https://github.com/danog/strum.git synced 2024-11-26 20:14:40 +01:00
strum/README.md

373 lines
13 KiB
Markdown
Raw Normal View History

# Strum
2017-02-12 08:00:43 +01:00
[![Build Status](https://travis-ci.org/Peternator7/strum.svg?branch=master)](https://travis-ci.org/Peternator7/strum)
[![Latest Version](https://img.shields.io/crates/v/strum.svg)](https://crates.io/crates/strum)
2017-02-12 08:03:42 +01:00
[![Rust Documentation](https://docs.rs/strum/badge.svg)](https://docs.rs/strum)
2017-02-12 08:00:43 +01:00
Strum is a set of macros and traits for working with
enums and strings easier in Rust.
# Including Strum in Your Project
Import strum and strum_macros into your project by adding the following lines to your
Cargo.toml. Strum_macros contains the macros needed to derive all the traits in Strum.
```toml
[dependencies]
strum = "*"
strum_macros = "*"
```
And add these lines to the root of your project, either lib.rs or main.rs.
```rust
// Strum contains all the trait definitions
extern crate strum;
#[macro_use]
extern crate strum_macros;
```
2017-02-16 06:16:16 +01:00
# Contributing
Thanks for your interest in contributing. The project is divided into 3 parts, the traits are in the
`/strum` folder. The procedural macros are in the `/strum_macros` folder, and the integration tests are
in `/strum_tests`. If you are adding additional features to `strum` or `strum_macros`, you should make sure
2017-02-23 09:09:57 +01:00
to run the tests and add new integration tests to make sure the features work as expected.
2017-02-16 06:16:16 +01:00
# Debugging
To see the generated code, set the STRUM_DEBUG environment variable before compiling your code.
`STRUM_DEBUG=1` will dump all of the generated code for every type. `STRUM_DEBUG=YourType` will
only dump the code generated on a type named `YourType`.
# Strum Macros
Strum has implemented the following macros:
1. `EnumString`: auto-derives `std::str::FromStr` on the enum. Each variant of the enum will match on it's
2017-04-16 03:54:49 +02:00
own name. This can be overridden using `serialize="DifferentName"` or `to_string="DifferentName"`
on the attribute as shown below.
Multiple deserializations can be added to the same variant. If the variant contains additional data,
they will be set to their default values upon deserialization.
The `default` attribute can be applied to a tuple variant with a single data parameter. When a match isn't
found, the given variant will be returned and the input string will be captured in the parameter.
Here is an example of the code generated by deriving `EnumString`.
2017-02-12 21:53:37 +01:00
```rust
extern crate strum;
#[macro_use] extern crate strum_macros;
#[derive(EnumString)]
enum Color {
Red,
// The Default value will be inserted into range if we match "Green".
Green { range:usize },
// We can match on multiple different patterns.
#[strum(serialize="blue",serialize="b")]
Blue(usize),
// Notice that we can disable certain variants from being found
#[strum(disabled="true")]
Yellow,
}
/*
//The generated code will look like:
impl std::str::FromStr for Color {
type Err = ::strum::ParseError;
fn from_str(s: &str) -> ::std::result::Result<Color, Self::Error> {
match s {
"Red" => ::std::result::Result::Ok(Color::Red),
"Green" => ::std::result::Result::Ok(Color::Green { range:Default::default() }),
"blue" | "b" => ::std::result::Result::Ok(Color::Blue(Default::default())),
_ => ::std::result::Result::Err(::strum::ParseError::VariantNotFound),
}
}
}
*/
```
Note that the implementation of `FromStr` only matches on the name of the variant.
Strum, where possible, avoids operations that have an unknown runtime cost, and parsing strings
is potentially an expensive operation. If you do need that behavior, consider the more powerful
Serde library for your serialization.
2017-04-16 03:54:49 +02:00
2. `ToString`: prints out the given enum variant as a string. This enables you to perform round trip
style conversions from enum into string and back again for unit style variants. `ToString` chooses
which serialization to used based on the following criteria:
1. If there is a `to_string` property, this value will be used. There can only be one per variant.
2. Of the various `serialize` properties, the value with the longest length is chosen. If that
behavior isn't desired, you should use `to_string`.
3. The name of the variant will be used if there are no `serialize` or `to_string` attributes.
```rust
// You need to bring the type into scope to use it!!!
use std::string::ToString;
#[derive(ToString,Debug)]
enum Color {
#[strum(serialize="redred")]
Red,
Green { range:usize },
Blue(usize),
Yellow,
}
// It's simple to iterate over the variants of an enum.
fn debug_colors() {
let red = Color::Red;
assert_eq!(String::from("redred"), red.to_string());
}
fn main() {
debug_colors();
}
```
3. `EnumIter`: iterate over the variants of an Enum. Any additional data on your variants will be
set to `Default::default()`. The macro implements `strum::IntoEnumIter` on your enum and
creates a new type called `YourEnumIter` that is the iterator object. You cannot derive
`EnumIter` on any type with a lifetime bound (`<'a>`) because the iterator would surely
2017-04-16 04:01:58 +02:00
create [unbounded lifetimes](https://doc.rust-lang.org/nightly/nomicon/unbounded-lifetimes.html).
```rust
// You need to bring the type into scope to use it!!!
use strum::IntoEnumIterator;
#[derive(EnumIter,Debug)]
enum Color {
Red,
Green { range:usize },
Blue(usize),
Yellow,
}
// It's simple to iterate over the variants of an enum.
fn debug_colors() {
for color in Color::iter() {
println!("My favorite color is {:?}", color);
}
}
fn main() {
debug_colors();
}
```
2017-04-16 03:54:49 +02:00
4. `EnumMessage`: encode strings into the enum itself. This macro implements
the `strum::EnumMessage` trait. `EnumMessage` looks for
`#[strum(message="...")]` attributes on your variants.
You can also provided a `detailed_message="..."` attribute to create a
seperate more detailed message than the first.
The generated code will look something like:
```rust
// You need to bring the type into scope to use it!!!
use strum::EnumMessage;
#[derive(EnumMessage,Debug)]
enum Color {
#[strum(message="Red",detailed_message="This is very red")]
Red,
#[strum(message="Simply Green")]
Green { range:usize },
#[strum(serialize="b",serialize="blue")]
Blue(usize),
}
/*
// Generated code
impl ::strum::EnumMessage for Color {
fn get_message(&self) -> ::std::option::Option<&str> {
match self {
&Color::Red => ::std::option::Option::Some("Red"),
&Color::Green {..} => ::std::option::Option::Some("Simply Green"),
_ => None
}
}
fn get_detailed_message(&self) -> ::std::option::Option<&str> {
match self {
&Color::Red => ::std::option::Option::Some("This is very red"),
&Color::Green {..}=> ::std::option::Option::Some("Simply Green"),
_ => None
}
}
fn get_serializations(&self) -> &[&str] {
match self {
&Color::Red => {
static ARR: [&'static str; 1] = ["Red"];
&ARR
},
&Color::Green {..}=> {
static ARR: [&'static str; 1] = ["Green"];
&ARR
},
&Color::Blue (..) => {
static ARR: [&'static str; 2] = ["b", "blue"];
&ARR
},
}
}
}
*/
```
2017-04-16 03:54:49 +02:00
5. `EnumProperty`: Enables the encoding of arbitary constants into enum variants. This method
2017-02-23 09:09:57 +01:00
currently only supports adding additional string values. Other types of literals are still
experimental in the rustc compiler. The generated code works by nesting match statements.
The first match statement matches on the type of the enum, and the inner match statement
matches on the name of the property requested. This design works well for enums with a small
number of variants and properties, but scales linearly with the number of variants so may not
be the best choice in all situations.
Here's an example:
```rust
# extern crate strum;
# #[macro_use] extern crate strum_macros;
# use std::fmt::Debug;
// You need to bring the type into scope to use it!!!
use strum::EnumProperty;
#[derive(EnumProperty,Debug)]
enum Color {
#[strum(props(Red="255",Blue="255",Green="255"))]
White,
#[strum(props(Red="0",Blue="0",Green="0"))]
Black,
#[strum(props(Red="0",Blue="255",Green="0"))]
Blue,
#[strum(props(Red="255",Blue="0",Green="0"))]
Red,
#[strum(props(Red="0",Blue="0",Green="255"))]
Green,
}
fn main() {
let my_color = Color::Red;
let display = format!("My color is {:?}. It's RGB is {},{},{}", my_color
, my_color.get_str("Red").unwrap()
, my_color.get_str("Green").unwrap()
, my_color.get_str("Blue").unwrap());
2017-02-23 09:09:57 +01:00
}
```
# Additional Attributes
Strum supports several custom attributes to modify the generated code. Custom attributes are
applied to a variant by adding #[strum(parameter="value")] to the variant.
- `serialize="..."`: Changes the text that `FromStr()` looks for when parsing a string. This attribute can
be applied multiple times to an element and the enum variant will be parsed if any of them match.
2017-04-16 04:01:58 +02:00
- `to_string="..."`: Similar to `serialize`. This value will be included when using `FromStr()`. More importantly,
this specifies what text to use when calling `variant.to_string()` with the `ToString` derivation.
- `default="true"`: Applied to a single variant of an enum. The variant must be a Tuple-like
variant with a single piece of data that can be create from a `&str` i.e. `T: From<&str>`.
The generated code will now return the variant with the input string captured as shown below
instead of failing.
2017-02-12 21:53:37 +01:00
```rust,ignore
// Replaces this:
_ => Err(strum::ParseError::VariantNotFound)
// With this in generated code:
default => Ok(Variant(default.into()))
```
The plugin will fail if the data doesn't implement From<&str>. You can only have one `default`
on your enum.
- `disabled="true"`: removes variant from generated code.
- `message=".."`: Adds a message to enum variant. This is used in conjunction with the `EnumMessage`
trait to associate a message with a variant. If `detailed_message` is not provided,
then `message` will also be returned when get_detailed_message() is called.
- `detailed_message=".."`: Adds a more detailed message to a variant. If this value is omitted, then
`message` will be used in it's place.
2017-02-23 09:09:57 +01:00
- `props(key="value")`: Enables associating additional information with a given variant.
# Examples
Using `EnumMessage` for quickly implementing `Error`
```rust
extern crate strum;
#[macro_use]
extern crate strum_macros;
use std::error::Error;
use std::fmt::*;
use strum::EnumMessage;
#[derive(Debug, EnumMessage)]
enum ServerError {
#[strum(message="A network error occured")]
#[strum(detailed_message="Try checking your connection.")]
NetworkError,
#[strum(message="User input error.")]
#[strum(detailed_message="There was an error parsing user input. Please try again.")]
InvalidUserInputError,
}
impl Display for ServerError {
fn fmt(&self, f: &mut Formatter) -> Result {
write!(f, "{}", self.get_message().unwrap())
}
}
impl Error for ServerError {
fn description(&self) -> &str {
self.get_detailed_message().unwrap()
}
}
```
Using `EnumString` to tokenize a series of inputs:
```rust
extern crate strum;
#[macro_use]
extern crate strum_macros;
use std::str::FromStr;
#[derive(Eq, PartialEq, Debug, EnumString)]
enum Tokens {
#[strum(serialize="fn")]
Function,
#[strum(serialize="(")]
OpenParen,
#[strum(serialize=")")]
CloseParen,
#[strum(default="true")]
Ident(String)
}
fn main() {
let toks = ["fn", "hello_world", "(", ")"].iter()
.map(|tok| Tokens::from_str(tok).unwrap())
.collect::<Vec<_>>();
assert_eq!(toks, vec![Tokens::Function,
Tokens::Ident(String::from("hello_world")),
Tokens::OpenParen,
Tokens::CloseParen]);
}
2017-06-28 22:50:43 +02:00
```
# Name
Strum is short for STRing enUM because it's a library for augmenting enums with additional
information through strings.
Strumming is also a very whimsical motion, much like writing Rust code.