typedb/typeql

Issues

• Ignoring repeated constraints

  #281 opened a month ago by dmikhalin
  1

• Attribute value restrictions

  #271 opened 3 years ago by PatLechevallier
  6

• Allow casting of type variables to value variables

  #329 opened 8 months ago by shreyas1599
  3

• Allow matching on types using a type label directly

  #341 opened 5 months ago by dmitrii-ubskii
  0

• Simplify attribute deletes by using anonymous bindings

  #340 opened 5 months ago by james-whiteside
  0

• Insert independently of match and delete

  #254 opened 2 years ago by nikolaimerritt
  2

• Ability to define metadata for types without replicating the information across all type instances

  #330 opened 8 months ago by shreyas1599
  0

• Composition of interface implementations as high-level abstractions (traits)

  #327 opened 8 months ago by james-whiteside
  0

• Allow multiple type constraints where permitted by the schema

  #268 opened 2 years ago by james-whiteside
  1

• Introduce syntax for interface covariance

  #325 opened 8 months ago by james-whiteside
  2

• Fetch: add a way to project an item into a list of attributes by label

  #320 opened 9 months ago by dmitrii-ubskii
  1

• Plays-as overrides break schema export

  #312 opened 9 months ago by krishnangovindraj
  0

• Support modifiers (at least the limit) in all type of queries

  #284 opened a year ago by izmalk
  3

• [Feature Request] More operators and basic functions

  #290 opened a year ago by lveillard
  1

• Role names of a relation cannot be reused in its sub-relations via override

  #274 opened a year ago by james-whiteside
  8

• Unary negation

  #293 opened a year ago by dmikhalin
  0

• Introduce a syntax element to explicitly end a query string

  #305 opened a year ago by james-whiteside
  0

• Add deployment tests for Cargo and Pip snapshots

  #303 opened a year ago by flyingsilverfin
  0

• Give relation and value constraints explicit keywords

  #301 opened a year ago by flyingsilverfin
  0

• Allow concrete roles in abstract relations

  #203 opened a year ago by jmsfltchr
  3

• Sanitize rust macros to avoid forcing user's environment

  #298 opened a year ago by clembu
  0

• Factor out typedb-common and typedb-proc-macro crates

  #297 opened a year ago by dmitrii-ubskii
  0

• Make annotated constraints to apply to subtypes

  #291 opened a year ago by izmalk
  4

• Allow negations and disjunctions without an exterior binding

  #292 opened a year ago by james-whiteside
  0

• Using standard form for numeric literals throws an error when parsed

  #288 opened a year ago by james-whiteside
  5

• Add an ability to query rules from a schema

  #267 opened 2 years ago by izmalk
  9

• Allow binding of ownerships to anonymous variables in query patterns

  #279 opened 2 years ago by james-whiteside
  0

• Allow nested negation and universal quantification in rules

  #277 opened 2 years ago by james-whiteside
  3

• Convert regex value constraint into annotation

  #272 opened 2 years ago by flyingsilverfin
  0

• Introduce `in` predicate to check against a set of values

  #213 opened 3 years ago by maydanw
  2

• Common: error enum generator should create structures with named fields instead of tuples

  #269 opened 2 years ago by dmitrii-ubskii
  0

• Split type variables from definables in grammar

  #234 opened 2 years ago by dmitrii-ubskii
  0

• Statements can be filled with nonsense that is only caught in toString()

  #145 opened 2 years ago by alexjpwalker
  1

• Potential integer overflow in `CartesianList`

  #187 opened 4 years ago by VladGan
  0

• Type variable isAbstract setter is ambiguous

  #241 opened 2 years ago by dmitrii-ubskii
  0

• Unified syntax error

  #231 opened 2 years ago by dmitrii-ubskii
  1

• Schema syntactic sugar for defining the repeated constraints

  #252 opened 2 years ago by ChandraReddy97
  0

• Allow disjoint types in type labels

  #232 opened 2 years ago by flyingsilverfin
  1

• Allow each sort variable to have a direction

  #228 opened 2 years ago by flyingsilverfin
  1

• Error messages are duplicated

  #222 opened 3 years ago by alexjpwalker
  0

• Unhelpful error message when syntactically invalid query has a trailing newline

  #221 opened 3 years ago by alexjpwalker
  0

• Negations are not used to reduce inferred types

  #218 opened 3 years ago by mustermann-max
  0

• Publish typeql-grammar as a Crate package

  #215 opened 3 years ago by vmax
  1

• test issue

  #211 opened 4 years ago by haikalpribadi
  0

• How to "exists" query?

  #206 opened 4 years ago by nicolamassarenti
  2

• `define` statements can include variables

  #139 opened 4 years ago by alexjpwalker
  1

• Type labels allow more special characters

  #202 opened 4 years ago by flyingsilverfin
  2

• Write BDD test scenarios and documentation for GraqlUpdate

  #197 opened 4 years ago by haikalpribadi
  3

• Since Update to Grakn 2.0: "matching given type without subtypes"

  #192 opened 4 years ago by hkuich
  3

• Using old Graql rule syntax loading a schema using source exits the console

  #185 opened 4 years ago by jmsfltchr
  2