Safe Haskell	None

Persistence.Schema.Enums

Documentation

Constructors

Instances

Eq LocIdBaseKindType Source #
Methods (==) :: LocIdBaseKindType -> LocIdBaseKindType -> Bool (/=) :: LocIdBaseKindType -> LocIdBaseKindType -> Bool
Read LocIdBaseKindType Source #
Methods readsPrec :: Int -> ReadS LocIdBaseKindType readList :: ReadS [LocIdBaseKindType] readPrec :: ReadPrec LocIdBaseKindType readListPrec :: ReadPrec [LocIdBaseKindType]
Show LocIdBaseKindType Source #
Methods showsPrec :: Int -> LocIdBaseKindType -> ShowS show :: LocIdBaseKindType -> String showList :: [LocIdBaseKindType] -> ShowS
PersistFieldSql LocIdBaseKindType Source #
Methods sqlType :: Proxy * LocIdBaseKindType -> SqlType
PersistField LocIdBaseKindType Source #
Methods toPersistValue :: LocIdBaseKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text LocIdBaseKindType

Constructors

Instances

Eq DiagnosisKindType Source #
Methods (==) :: DiagnosisKindType -> DiagnosisKindType -> Bool (/=) :: DiagnosisKindType -> DiagnosisKindType -> Bool
Read DiagnosisKindType Source #
Methods readsPrec :: Int -> ReadS DiagnosisKindType readList :: ReadS [DiagnosisKindType] readPrec :: ReadPrec DiagnosisKindType readListPrec :: ReadPrec [DiagnosisKindType]
Show DiagnosisKindType Source #
Methods showsPrec :: Int -> DiagnosisKindType -> ShowS show :: DiagnosisKindType -> String showList :: [DiagnosisKindType] -> ShowS
PersistFieldSql DiagnosisKindType Source #
Methods sqlType :: Proxy * DiagnosisKindType -> SqlType
PersistField DiagnosisKindType Source #
Methods toPersistValue :: DiagnosisKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text DiagnosisKindType

Constructors

ProofAttempt
ConsistencyCheckAttempt

Instances

Eq ReasoningAttemptKindType Source #
Methods (==) :: ReasoningAttemptKindType -> ReasoningAttemptKindType -> Bool (/=) :: ReasoningAttemptKindType -> ReasoningAttemptKindType -> Bool
Read ReasoningAttemptKindType Source #
Methods readsPrec :: Int -> ReadS ReasoningAttemptKindType readList :: ReadS [ReasoningAttemptKindType] readPrec :: ReadPrec ReasoningAttemptKindType readListPrec :: ReadPrec [ReasoningAttemptKindType]
Show ReasoningAttemptKindType Source #
Methods showsPrec :: Int -> ReasoningAttemptKindType -> ShowS show :: ReasoningAttemptKindType -> String showList :: [ReasoningAttemptKindType] -> ShowS
PersistFieldSql ReasoningAttemptKindType Source #
Methods sqlType :: Proxy * ReasoningAttemptKindType -> SqlType
PersistField ReasoningAttemptKindType Source #
Methods toPersistValue :: ReasoningAttemptKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text ReasoningAttemptKindType

Constructors

Instances

Eq ProofStatusType Source #
Methods (==) :: ProofStatusType -> ProofStatusType -> Bool (/=) :: ProofStatusType -> ProofStatusType -> Bool
Read ProofStatusType Source #
Methods readsPrec :: Int -> ReadS ProofStatusType readList :: ReadS [ProofStatusType] readPrec :: ReadPrec ProofStatusType readListPrec :: ReadPrec [ProofStatusType]
Show ProofStatusType Source #
Methods showsPrec :: Int -> ProofStatusType -> ShowS show :: ProofStatusType -> String showList :: [ProofStatusType] -> ShowS
PersistFieldSql ProofStatusType Source #
Methods sqlType :: Proxy * ProofStatusType -> SqlType
PersistField ProofStatusType Source #
Methods toPersistValue :: ProofStatusType -> PersistValue fromPersistValue :: PersistValue -> Either Text ProofStatusType

Constructors

Prover
ConsistencyChecker

Instances

Eq ReasonerKindType Source #
Methods (==) :: ReasonerKindType -> ReasonerKindType -> Bool (/=) :: ReasonerKindType -> ReasonerKindType -> Bool
Read ReasonerKindType Source #
Methods readsPrec :: Int -> ReadS ReasonerKindType readList :: ReadS [ReasonerKindType] readPrec :: ReadPrec ReasonerKindType readListPrec :: ReadPrec [ReasonerKindType]
Show ReasonerKindType Source #
Methods showsPrec :: Int -> ReasonerKindType -> ShowS show :: ReasonerKindType -> String showList :: [ReasonerKindType] -> ShowS
PersistFieldSql ReasonerKindType Source #
Methods sqlType :: Proxy * ReasonerKindType -> SqlType
PersistField ReasonerKindType Source #
Methods toPersistValue :: ReasonerKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text ReasonerKindType

Constructors

ManualPremiseSelection
SinePremiseSelection

Instances

Eq PremiseSelectionKindType Source #
Methods (==) :: PremiseSelectionKindType -> PremiseSelectionKindType -> Bool (/=) :: PremiseSelectionKindType -> PremiseSelectionKindType -> Bool
Read PremiseSelectionKindType Source #
Methods readsPrec :: Int -> ReadS PremiseSelectionKindType readList :: ReadS [PremiseSelectionKindType] readPrec :: ReadPrec PremiseSelectionKindType readListPrec :: ReadPrec [PremiseSelectionKindType]
Show PremiseSelectionKindType Source #
Methods showsPrec :: Int -> PremiseSelectionKindType -> ShowS show :: PremiseSelectionKindType -> String showList :: [PremiseSelectionKindType] -> ShowS
PersistFieldSql PremiseSelectionKindType Source #
Methods sqlType :: Proxy * PremiseSelectionKindType -> SqlType
PersistField PremiseSelectionKindType Source #
Methods toPersistValue :: PremiseSelectionKindType -> PersistValue fromPersistValue :: PersistValue -> Either Text PremiseSelectionKindType