Safe Haskell | None |
---|
Persistence.Schema.Enums
Documentation
data LocIdBaseKindType Source #
Constructors
FileVersion | |
NativeDocument | |
Library | |
OMS | |
Mapping | |
OpenConjecture | |
Theorem | |
CounterTheorem | |
Axiom | |
Symbol |
Instances
Eq LocIdBaseKindType Source # | |
Read LocIdBaseKindType Source # | |
Show LocIdBaseKindType Source # | |
PersistFieldSql LocIdBaseKindType Source # | |
PersistField LocIdBaseKindType Source # | |
data DiagnosisKindType Source #
Instances
Eq DiagnosisKindType Source # | |
Read DiagnosisKindType Source # | |
Show DiagnosisKindType Source # | |
PersistFieldSql DiagnosisKindType Source # | |
PersistField DiagnosisKindType Source # | |
data ReasoningAttemptKindType Source #
Constructors
ProofAttempt | |
ConsistencyCheckAttempt |
Instances
Eq ReasoningAttemptKindType Source # | |
Read ReasoningAttemptKindType Source # | |
Show ReasoningAttemptKindType Source # | |
PersistFieldSql ReasoningAttemptKindType Source # | |
PersistField ReasoningAttemptKindType Source # | |
data ProofStatusType Source #
Instances
Eq ProofStatusType Source # | |
Read ProofStatusType Source # | |
Show ProofStatusType Source # | |
PersistFieldSql ProofStatusType Source # | |
PersistField ProofStatusType Source # | |
data ReasonerKindType Source #
Constructors
Prover | |
ConsistencyChecker |
Instances
Eq ReasonerKindType Source # | |
Read ReasonerKindType Source # | |
Show ReasonerKindType Source # | |
PersistFieldSql ReasonerKindType Source # | |
PersistField ReasonerKindType Source # | |
data PremiseSelectionKindType Source #
Constructors
ManualPremiseSelection | |
SinePremiseSelection |
Instances
Eq PremiseSelectionKindType Source # | |
Read PremiseSelectionKindType Source # | |
Show PremiseSelectionKindType Source # | |
PersistFieldSql PremiseSelectionKindType Source # | |
PersistField PremiseSelectionKindType Source # | |