Type Members

1.  trait DynamicContext[F[_], K, Datum] extends AnyRef

   The context that will be provided during evaluation of Quivr protocols.

   The context that will be provided during evaluation of Quivr protocols. This context provides generic interfaces for digest and signature verificiation . Additionally, a data persing interface may do constructed for retrieving and parsing values not currently supported by Quivr

   F

   execution context of the runtime

   K

   the key type that will be used to lookup values in the generic interface maps

2.  sealed abstract class QuivrRuntimeError extends AnyRef

   Errors resulting from evaluation of Quivr propositions / proofs