dwave-hybrid icon indicating copy to clipboard operation
dwave-hybrid copied to clipboard

Generalize traits to support type checking

Open randomir opened this issue 6 years ago • 0 comments

Trait could be:

  • 'x': x in state
  • ('x', Type): x in state and isinstance(x, Type)
  • predicate :: state -> Bool: predicate(state) true

randomir avatar Nov 29 '18 02:11 randomir