License	Apache-2.0
Safe Haskell	None
Language	GHC2021

Singular.Registry.Evidence

Description

A session identity records one acquisition; it does not assert a snapshot. Facts may carry an abstract witness. Demo 1 has no inhabitant of NoWitness or Endorsement and configures only the honest unverified verdict.

Synopsis

newtype SessionId = SessionId Text
data SessionBinding
- = Unbound
- | Bound Integer ByteString
data Evidenced w a = Evidenced {
- value :: a
- witness :: Maybe w
}
data NoWitness
data Endorsement
data Reason = NoVerifierConfigured
data Verdict a
- = Verified a Endorsement
- | Unverified a Reason
newtype Verifier w (m :: Type -> Type) = Verifier {
- verifyFact :: forall a. Evidenced w a -> m (Verdict a)
}
unverifiedVerifier :: forall (m :: Type -> Type). Applicative m => Verifier NoWitness m

Documentation

newtype SessionId Source #

Identifies one acquisition, including all facts consumed within it.

Constructors

SessionId Text

Instances

Instances details

Show SessionId Source #
Instance details Defined in Singular.Registry.Evidence Methods showsPrec :: Int -> SessionId -> ShowS Source # show :: SessionId -> String Source # showList :: [SessionId] -> ShowS Source #
Eq SessionId Source #
Instance details Defined in Singular.Registry.Evidence Methods (==) :: SessionId -> SessionId -> Bool Source # (/=) :: SessionId -> SessionId -> Bool Source #
Ord SessionId Source #
Instance details Defined in Singular.Registry.Evidence Methods compare :: SessionId -> SessionId -> Ordering Source # (<) :: SessionId -> SessionId -> Bool Source # (<=) :: SessionId -> SessionId -> Bool Source # (>) :: SessionId -> SessionId -> Bool Source # (>=) :: SessionId -> SessionId -> Bool Source # max :: SessionId -> SessionId -> SessionId Source # min :: SessionId -> SessionId -> SessionId Source #

data SessionBinding Source #

Snapshot binding, independent of the latest observed tip.

Constructors

Unbound
Bound Integer ByteString

Instances

Instances details

Show SessionBinding Source #
Instance details Defined in Singular.Registry.Evidence Methods showsPrec :: Int -> SessionBinding -> ShowS Source # show :: SessionBinding -> String Source # showList :: [SessionBinding] -> ShowS Source #
Eq SessionBinding Source #
Instance details Defined in Singular.Registry.Evidence Methods (==) :: SessionBinding -> SessionBinding -> Bool Source # (/=) :: SessionBinding -> SessionBinding -> Bool Source #

data Evidenced w a Source #

A raw fact and its optional abstract witness.

Constructors

Evidenced
Fields value :: a witness :: Maybe w

data NoWitness Source #

Demo 1 has no concrete witness representation.

data Endorsement Source #

No endorsement implementation or concrete decoder ships in Demo 1.

data Reason Source #

Why a fact remains unverified.

Constructors

NoVerifierConfigured

Instances

Instances details

Show Reason Source #
Instance details Defined in Singular.Registry.Evidence Methods showsPrec :: Int -> Reason -> ShowS Source # show :: Reason -> String Source # showList :: [Reason] -> ShowS Source #
Eq Reason Source #
Instance details Defined in Singular.Registry.Evidence Methods (==) :: Reason -> Reason -> Bool Source # (/=) :: Reason -> Reason -> Bool Source #

data Verdict a Source #

A verdict retains the exact fact it describes.

Constructors

Verified a Endorsement
Unverified a Reason

newtype Verifier w (m :: Type -> Type) Source #

An abstract, effect-polymorphic fact verifier.

Constructors

Verifier
Fields verifyFact :: forall a. Evidenced w a -> m (Verdict a)

unverifiedVerifier :: forall (m :: Type -> Type). Applicative m => Verifier NoWitness m Source #

The sole configured Demo 1 policy; never upgrades a raw fact.