mentat/db/src
Richard Newman b2e98f44f6
Generalize Entity by value type. (#701) (#691) r=rnewman
* Part 3: Parameterize Entity by value type.

This isn't quite right, because after parsing, we shouldn't care
about` `edn::ValueAndSpan`, we should care only about edn::Value.
However, I think we can drop `ValueAndSpan` entirely if we just use
`rust-peg` (and its simpler error messages) rather than a mix of
`rust-peg` and `combine`.

In any case, this paves the way to transacting `Entity<TypedValue>`,
which is a nice step towards building general entities.

* Part 1: Add AttributePlace.

* Part 2: Name other places EntityPlace and ValuePlace.

Now we're consistent and closer to self-documenting.  Both matter more
as we expose `Entity` as the thing to build for programmatic usage.

* Part 4: Allow Ident and TempId in ValuePlace.

The parser will never produce these, since determining whether an
integer/keyword or string is an ident or a tempid, respectively, in
the value place requires the schema.

But a builder that produces `Entity` instances directly will want to
produce these.
2018-05-15 00:43:07 -07:00
..
add_retract_alter_set.rs Schema alteration. Fixes #294 and #295. (#370) r=rnewman 2017-03-20 13:18:59 -07:00
bootstrap.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
cache.rs Implement simple pull expressions (#638) r=nalexander 2018-05-04 12:56:00 -07:00
db.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
debug.rs Combine NamespacedKeyword and Keyword. (#689) r=nalexander 2018-05-11 09:52:17 -07:00
entids.rs Describe the default core schema, v1 (:db.schema/core). r=nalexander 2018-01-23 08:51:58 -08:00
errors.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
internal_types.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
lib.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
metadata.rs Combine NamespacedKeyword and Keyword. (#689) r=nalexander 2018-05-11 09:52:17 -07:00
schema.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
tx.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
tx_checking.rs Add type checking and constraint checking to the transactor. (#663, #532, #679) 2018-05-14 15:22:45 -07:00
tx_observer.rs Don't create a CommandExecutor if there are no observers. (#603) (#604) r=emily 2018-04-03 09:18:22 -07:00
types.rs Generalize Entity by value type. (#701) (#691) r=rnewman 2018-05-15 00:43:07 -07:00
upsert_resolution.rs Add type checking and constraint checking to the transactor. (#663, #532, #679) 2018-05-14 15:22:45 -07:00
watcher.rs Move to using watcher. 2018-03-20 16:27:35 +00:00