| 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 # | |
Defined in Persistence.Schema.Enums Methods (==) :: LocIdBaseKindType -> LocIdBaseKindType -> Bool (/=) :: LocIdBaseKindType -> LocIdBaseKindType -> Bool | |
| Read LocIdBaseKindType Source # | |
Defined in Persistence.Schema.Enums Methods readsPrec :: Int -> ReadS LocIdBaseKindType readList :: ReadS [LocIdBaseKindType] readPrec :: ReadPrec LocIdBaseKindType readListPrec :: ReadPrec [LocIdBaseKindType] | |
| Show LocIdBaseKindType Source # | |
Defined in Persistence.Schema.Enums Methods showsPrec :: Int -> LocIdBaseKindType -> ShowS show :: LocIdBaseKindType -> String showList :: [LocIdBaseKindType] -> ShowS | |
| PersistField LocIdBaseKindType Source # | |
Defined in Persistence.Schema.Enums Methods toPersistValue :: LocIdBaseKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text LocIdBaseKindType | |
| PersistFieldSql LocIdBaseKindType Source # | |
Defined in Persistence.Schema.Enums Methods sqlType :: Proxy LocIdBaseKindType -> SqlType | |
data DiagnosisKindType Source #
Instances
| Eq DiagnosisKindType Source # | |
Defined in Persistence.Schema.Enums Methods (==) :: DiagnosisKindType -> DiagnosisKindType -> Bool (/=) :: DiagnosisKindType -> DiagnosisKindType -> Bool | |
| Read DiagnosisKindType Source # | |
Defined in Persistence.Schema.Enums Methods readsPrec :: Int -> ReadS DiagnosisKindType readList :: ReadS [DiagnosisKindType] readPrec :: ReadPrec DiagnosisKindType readListPrec :: ReadPrec [DiagnosisKindType] | |
| Show DiagnosisKindType Source # | |
Defined in Persistence.Schema.Enums Methods showsPrec :: Int -> DiagnosisKindType -> ShowS show :: DiagnosisKindType -> String showList :: [DiagnosisKindType] -> ShowS | |
| PersistField DiagnosisKindType Source # | |
Defined in Persistence.Schema.Enums Methods toPersistValue :: DiagnosisKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text DiagnosisKindType | |
| PersistFieldSql DiagnosisKindType Source # | |
Defined in Persistence.Schema.Enums Methods sqlType :: Proxy DiagnosisKindType -> SqlType | |
data ReasoningAttemptKindType Source #
Constructors
| ProofAttempt | |
| ConsistencyCheckAttempt |
Instances
data ProofStatusType Source #
Instances
| Eq ProofStatusType Source # | |
Defined in Persistence.Schema.Enums Methods (==) :: ProofStatusType -> ProofStatusType -> Bool (/=) :: ProofStatusType -> ProofStatusType -> Bool | |
| Read ProofStatusType Source # | |
Defined in Persistence.Schema.Enums Methods readsPrec :: Int -> ReadS ProofStatusType readList :: ReadS [ProofStatusType] readPrec :: ReadPrec ProofStatusType readListPrec :: ReadPrec [ProofStatusType] | |
| Show ProofStatusType Source # | |
Defined in Persistence.Schema.Enums Methods showsPrec :: Int -> ProofStatusType -> ShowS show :: ProofStatusType -> String showList :: [ProofStatusType] -> ShowS | |
| PersistField ProofStatusType Source # | |
Defined in Persistence.Schema.Enums Methods toPersistValue :: ProofStatusType -> PersistValue fromPersistValue :: PersistValue -> Either Text ProofStatusType | |
| PersistFieldSql ProofStatusType Source # | |
Defined in Persistence.Schema.Enums Methods sqlType :: Proxy ProofStatusType -> SqlType | |
data ReasonerKindType Source #
Constructors
| Prover | |
| ConsistencyChecker |
Instances
| Eq ReasonerKindType Source # | |
Defined in Persistence.Schema.Enums Methods (==) :: ReasonerKindType -> ReasonerKindType -> Bool (/=) :: ReasonerKindType -> ReasonerKindType -> Bool | |
| Read ReasonerKindType Source # | |
Defined in Persistence.Schema.Enums Methods readsPrec :: Int -> ReadS ReasonerKindType readList :: ReadS [ReasonerKindType] readPrec :: ReadPrec ReasonerKindType readListPrec :: ReadPrec [ReasonerKindType] | |
| Show ReasonerKindType Source # | |
Defined in Persistence.Schema.Enums Methods showsPrec :: Int -> ReasonerKindType -> ShowS show :: ReasonerKindType -> String showList :: [ReasonerKindType] -> ShowS | |
| PersistField ReasonerKindType Source # | |
Defined in Persistence.Schema.Enums Methods toPersistValue :: ReasonerKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text ReasonerKindType | |
| PersistFieldSql ReasonerKindType Source # | |
Defined in Persistence.Schema.Enums Methods sqlType :: Proxy ReasonerKindType -> SqlType | |
data PremiseSelectionKindType Source #
Constructors
| ManualPremiseSelection | |
| SinePremiseSelection |