differential-formula-0.1.1
- differential-formula 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Crates.io
- Source
- Owners
- VictorCoder123
- Dependencies
- abomonation ^0.7.3 normal
  abomonation_derive ^0.5.0 normal
  differential-dataflow ^0.11 normal
  enum_dispatch ^0.2.0 normal
  im ^14 normal
  nom ^5 normal
  num ^0.2 normal
  petgraph ^0.5 normal
  rand ^0.4 normal
  readonly ^0.1 normal
  serde ^1 normal
  timely ^0.11 normal
  timely_sort ^0.1.6 normal
- Versions
Platform
Feature flags

Rust

☰

Module type_system

Structs
Enums
Traits

differential_formula

[−][src]Module differential_formula::type_system

Structs

CompositeType
Domain
Env
Model
RangeType
Undefined
UnionType

Enums

BaseType
Program
Type

Traits