mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2025-01-26 14:46:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #84 from nikomatsakis/master

Browse source 
release 0.8.0
This commit is contained in:
Niko Matsakis 2018-11-01 06:06:28 -04:00 committed by GitHub
commit bfcca3059c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Cargo.toml
View file

@ -1,6 +1,6 @@
[package]
name = "salsa"
version = "0.7.0"
version = "0.8.0"
authors = ["Niko Matsakis <niko@alum.mit.edu>"]
edition = "2018"
license = "Apache-2.0 OR MIT"

18
examples/hello_world/README.md
View file

@ -163,11 +163,11 @@ start using it:
```rust
fn main() {
let db = DatabaseStruct::default();
let mut db = DatabaseStruct::default();
println!("Initially, the length is {}.", db.length().get(()));
db.query(InputString)
db.query_mut(InputString)
.set((), Arc::new(format!("Hello, world")));
println!("Now, the length is {}.", db.length().get(()));
@ -177,16 +177,16 @@ fn main() {
One thing to notice here is how we set the value for an input query:
```rust
db.query(InputString)
db.query_mut(InputString)
.set((), Arc::new(format!("Hello, world")));
```
The `db.query(Foo)` method takes as argument the query type that
characterizes your query. It gives back a "query table" type, which
offers you more advanced methods beyond simply executing the query
(for example, for input queries, you can invoke `set`). In fact, the
standard call `db.query_name(key)` to access a query is just a
shorthand for `db.query(QueryType).get(key)`.
The `db.query_mut(Foo)` method takes as argument the query type that
characterizes your query. It gives back a "mutable query table" type,
which lets you invoke `set` to set the value of an input query. There
is also a `query` method that gives access to other advanced methods
in fact, the standard call `db.query_name(key)` to access a query is
just a shorthand for `db.query(QueryType).get(key)`.
Finally, if we run this code: