Hets - the Heterogeneous Tool Set

Safe HaskellNone

Persistence.Schema.Enums

Documentation

data DiagnosisKindType Source #

Constructors

Error 
Warn 
Hint 
Debug 

Instances

Eq DiagnosisKindType Source # 
Read DiagnosisKindType Source # 
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

data ProofStatusType Source #

Constructors

OPN 
ERR 
UNK 
RSO 
THM 
CSA 
CSAS 
CONTR 

Instances

Eq ProofStatusType Source # 
Read ProofStatusType Source # 
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

data ReasonerKindType Source #

Constructors

Prover 
ConsistencyChecker 

Instances

Eq ReasonerKindType Source # 
Read ReasonerKindType Source # 
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