Copyright | (c) Uni Magdeburg 2017 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Eugen Kuksa <kuksa@iks.cs.ovgu.de> |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Persistence.Schema
Description
Documentation
Instances
Show Hets Source # | |
PersistEntity Hets Source # | |
PersistFieldSql Hets Source # | |
PersistField Hets Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Hets) (BaseBackend backend)) => DeleteCascade Hets backend Source # | |
Eq (Key Hets) Source # | |
Ord (Key Hets) Source # | |
Read (Key Hets) Source # | |
Show (Key Hets) Source # | |
ToJSON (Key Hets) Source # | |
ToHttpApiData (Key Hets) Source # | |
PersistFieldSql (Key Hets) Source # | |
PersistField (Key Hets) Source # | |
PathPiece (Key Hets) Source # | |
FromJSON (Key Hets) Source # | |
FromHttpApiData (Key Hets) Source # | |
data Key Hets Source # | |
type PersistEntityBackend Hets Source # | |
data EntityField Hets Source # | |
data Unique Hets Source # | |
Constructors
Language | |
Fields
|
Instances
Show Language Source # | |
PersistEntity Language Source # | |
PersistFieldSql Language Source # | |
PersistField Language Source # | |
ToBackendKey SqlBackend Language Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Language) (BaseBackend backend)) => DeleteCascade Language backend Source # | |
Eq (Key Language) Source # | |
Ord (Key Language) Source # | |
Read (Key Language) Source # | |
Show (Key Language) Source # | |
ToJSON (Key Language) Source # | |
ToHttpApiData (Key Language) Source # | |
PersistFieldSql (Key Language) Source # | |
PersistField (Key Language) Source # | |
PathPiece (Key Language) Source # | |
FromJSON (Key Language) Source # | |
FromHttpApiData (Key Language) Source # | |
data Key Language Source # | |
type PersistEntityBackend Language Source # | |
data EntityField Language Source # | |
data Unique Language Source # | |
type LanguageId = Key Language Source #
Constructors
Logic | |
Fields
|
Instances
Show Logic Source # | |
PersistEntity Logic Source # | |
PersistFieldSql Logic Source # | |
PersistField Logic Source # | |
ToBackendKey SqlBackend Logic Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Logic) (BaseBackend backend)) => DeleteCascade Logic backend Source # | |
Eq (Key Logic) Source # | |
Ord (Key Logic) Source # | |
Read (Key Logic) Source # | |
Show (Key Logic) Source # | |
ToJSON (Key Logic) Source # | |
ToHttpApiData (Key Logic) Source # | |
PersistFieldSql (Key Logic) Source # | |
PersistField (Key Logic) Source # | |
PathPiece (Key Logic) Source # | |
FromJSON (Key Logic) Source # | |
FromHttpApiData (Key Logic) Source # | |
data Key Logic Source # | |
type PersistEntityBackend Logic Source # | |
data EntityField Logic Source # | |
data Unique Logic Source # | |
data LanguageMapping Source #
Constructors
LanguageMapping | |
Fields
|
Instances
Show LanguageMapping Source # | |
PersistEntity LanguageMapping Source # | |
PersistFieldSql LanguageMapping Source # | |
PersistField LanguageMapping Source # | |
ToBackendKey SqlBackend LanguageMapping Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend LanguageMapping) (BaseBackend backend)) => DeleteCascade LanguageMapping backend Source # | |
Eq (Key LanguageMapping) Source # | |
Ord (Key LanguageMapping) Source # | |
Read (Key LanguageMapping) Source # | |
Show (Key LanguageMapping) Source # | |
ToJSON (Key LanguageMapping) Source # | |
ToHttpApiData (Key LanguageMapping) Source # | |
PersistFieldSql (Key LanguageMapping) Source # | |
PersistField (Key LanguageMapping) Source # | |
PathPiece (Key LanguageMapping) Source # | |
FromJSON (Key LanguageMapping) Source # | |
FromHttpApiData (Key LanguageMapping) Source # | |
data Key LanguageMapping Source # | |
type PersistEntityBackend LanguageMapping Source # | |
data EntityField LanguageMapping Source # | |
data Unique LanguageMapping Source # | |
type LanguageMappingId = Key LanguageMapping Source #
data LogicMapping Source #
Constructors
LogicMapping | |
Fields
|
Instances
Show LogicMapping Source # | |
PersistEntity LogicMapping Source # | |
PersistFieldSql LogicMapping Source # | |
PersistField LogicMapping Source # | |
ToBackendKey SqlBackend LogicMapping Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend LogicMapping) (BaseBackend backend)) => DeleteCascade LogicMapping backend Source # | |
Eq (Key LogicMapping) Source # | |
Ord (Key LogicMapping) Source # | |
Read (Key LogicMapping) Source # | |
Show (Key LogicMapping) Source # | |
ToJSON (Key LogicMapping) Source # | |
ToHttpApiData (Key LogicMapping) Source # | |
PersistFieldSql (Key LogicMapping) Source # | |
PersistField (Key LogicMapping) Source # | |
PathPiece (Key LogicMapping) Source # | |
FromJSON (Key LogicMapping) Source # | |
FromHttpApiData (Key LogicMapping) Source # | |
data Key LogicMapping Source # | |
type PersistEntityBackend LogicMapping Source # | |
data EntityField LogicMapping Source # | |
data Unique LogicMapping Source # | |
type LogicMappingId = Key LogicMapping Source #
data LogicInclusion Source #
Constructors
LogicInclusion | |
Fields
|
Instances
Show LogicInclusion Source # | |
PersistEntity LogicInclusion Source # | |
PersistFieldSql LogicInclusion Source # | |
PersistField LogicInclusion Source # | |
ToBackendKey SqlBackend LogicInclusion Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend LogicInclusion) (BaseBackend backend)) => DeleteCascade LogicInclusion backend Source # | |
Eq (Key LogicInclusion) Source # | |
Ord (Key LogicInclusion) Source # | |
Read (Key LogicInclusion) Source # | |
Show (Key LogicInclusion) Source # | |
ToJSON (Key LogicInclusion) Source # | |
ToHttpApiData (Key LogicInclusion) Source # | |
PersistFieldSql (Key LogicInclusion) Source # | |
PersistField (Key LogicInclusion) Source # | |
PathPiece (Key LogicInclusion) Source # | |
FromJSON (Key LogicInclusion) Source # | |
FromHttpApiData (Key LogicInclusion) Source # | |
data Key LogicInclusion Source # | |
type PersistEntityBackend LogicInclusion Source # | |
data EntityField LogicInclusion Source # | |
data Unique LogicInclusion Source # | |
type LogicInclusionId = Key LogicInclusion Source #
data LogicTranslation Source #
Constructors
LogicTranslation | |
Fields
|
Instances
Show LogicTranslation Source # | |
PersistEntity LogicTranslation Source # | |
PersistFieldSql LogicTranslation Source # | |
PersistField LogicTranslation Source # | |
ToBackendKey SqlBackend LogicTranslation Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend LogicTranslation) (BaseBackend backend)) => DeleteCascade LogicTranslation backend Source # | |
Eq (Key LogicTranslation) Source # | |
Ord (Key LogicTranslation) Source # | |
Read (Key LogicTranslation) Source # | |
Show (Key LogicTranslation) Source # | |
ToJSON (Key LogicTranslation) Source # | |
ToHttpApiData (Key LogicTranslation) Source # | |
PersistFieldSql (Key LogicTranslation) Source # | |
PersistField (Key LogicTranslation) Source # | |
PathPiece (Key LogicTranslation) Source # | |
FromJSON (Key LogicTranslation) Source # | |
FromHttpApiData (Key LogicTranslation) Source # | |
data Key LogicTranslation Source # | |
type PersistEntityBackend LogicTranslation Source # | |
data EntityField LogicTranslation Source # | |
data Unique LogicTranslation Source # | |
type LogicTranslationId = Key LogicTranslation Source #
data LogicTranslationStep Source #
Constructors
LogicTranslationStep | |
Fields
|
Instances
type LogicTranslationStepId = Key LogicTranslationStep Source #
data Serialization Source #
Constructors
Serialization | |
Fields
|
Instances
Show Serialization Source # | |
PersistEntity Serialization Source # | |
PersistFieldSql Serialization Source # | |
PersistField Serialization Source # | |
ToBackendKey SqlBackend Serialization Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Serialization) (BaseBackend backend)) => DeleteCascade Serialization backend Source # | |
Eq (Key Serialization) Source # | |
Ord (Key Serialization) Source # | |
Read (Key Serialization) Source # | |
Show (Key Serialization) Source # | |
ToJSON (Key Serialization) Source # | |
ToHttpApiData (Key Serialization) Source # | |
PersistFieldSql (Key Serialization) Source # | |
PersistField (Key Serialization) Source # | |
PathPiece (Key Serialization) Source # | |
FromJSON (Key Serialization) Source # | |
FromHttpApiData (Key Serialization) Source # | |
data Key Serialization Source # | |
type PersistEntityBackend Serialization Source # | |
data EntityField Serialization Source # | |
data Unique Serialization Source # | |
type SerializationId = Key Serialization Source #
Constructors
Signature | |
Fields
|
Instances
PersistEntity Signature Source # | |
PersistFieldSql Signature Source # | |
PersistField Signature Source # | |
ToBackendKey SqlBackend Signature Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Signature) (BaseBackend backend)) => DeleteCascade Signature backend Source # | |
Eq (Key Signature) Source # | |
Ord (Key Signature) Source # | |
Read (Key Signature) Source # | |
Show (Key Signature) Source # | |
ToJSON (Key Signature) Source # | |
ToHttpApiData (Key Signature) Source # | |
PersistFieldSql (Key Signature) Source # | |
PersistField (Key Signature) Source # | |
PathPiece (Key Signature) Source # | |
FromJSON (Key Signature) Source # | |
FromHttpApiData (Key Signature) Source # | |
data Key Signature Source # | |
type PersistEntityBackend Signature Source # | |
data EntityField Signature Source # | |
data Unique Signature Source # | |
type SignatureId = Key Signature Source #
data SignatureMorphism Source #
Constructors
SignatureMorphism | |
Fields
|
Instances
Show SignatureMorphism Source # | |
PersistEntity SignatureMorphism Source # | |
PersistFieldSql SignatureMorphism Source # | |
PersistField SignatureMorphism Source # | |
ToBackendKey SqlBackend SignatureMorphism Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend SignatureMorphism) (BaseBackend backend)) => DeleteCascade SignatureMorphism backend Source # | |
Eq (Key SignatureMorphism) Source # | |
Ord (Key SignatureMorphism) Source # | |
Read (Key SignatureMorphism) Source # | |
Show (Key SignatureMorphism) Source # | |
ToJSON (Key SignatureMorphism) Source # | |
ToHttpApiData (Key SignatureMorphism) Source # | |
PersistFieldSql (Key SignatureMorphism) Source # | |
PersistField (Key SignatureMorphism) Source # | |
PathPiece (Key SignatureMorphism) Source # | |
FromJSON (Key SignatureMorphism) Source # | |
FromHttpApiData (Key SignatureMorphism) Source # | |
data Key SignatureMorphism Source # | |
type PersistEntityBackend SignatureMorphism Source # | |
data EntityField SignatureMorphism Source # | |
data Unique SignatureMorphism Source # | |
type SignatureMorphismId = Key SignatureMorphism Source #
data ConservativityStatus Source #
Constructors
ConservativityStatus | |
Fields
|
Instances
type ConservativityStatusId = Key ConservativityStatus Source #
data OrganizationalUnit Source #
Constructors
OrganizationalUnit | |
Fields
|
Instances
type OrganizationalUnitId = Key OrganizationalUnit Source #
data Repository Source #
Constructors
Repository | |
Fields
|
Instances
Show Repository Source # | |
PersistEntity Repository Source # | |
PersistFieldSql Repository Source # | |
PersistField Repository Source # | |
ToBackendKey SqlBackend Repository Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Repository) (BaseBackend backend)) => DeleteCascade Repository backend Source # | |
Eq (Key Repository) Source # | |
Ord (Key Repository) Source # | |
Read (Key Repository) Source # | |
Show (Key Repository) Source # | |
ToJSON (Key Repository) Source # | |
ToHttpApiData (Key Repository) Source # | |
PersistFieldSql (Key Repository) Source # | |
PersistField (Key Repository) Source # | |
PathPiece (Key Repository) Source # | |
FromJSON (Key Repository) Source # | |
FromHttpApiData (Key Repository) Source # | |
data Key Repository Source # | |
type PersistEntityBackend Repository Source # | |
data EntityField Repository Source # | |
data Unique Repository Source # | |
type RepositoryId = Key Repository Source #
Constructors
Action | |
Fields
|
Instances
Show Action Source # | |
PersistEntity Action Source # | |
PersistFieldSql Action Source # | |
PersistField Action Source # | |
ToBackendKey SqlBackend Action Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Action) (BaseBackend backend)) => DeleteCascade Action backend Source # | |
Eq (Key Action) Source # | |
Ord (Key Action) Source # | |
Read (Key Action) Source # | |
Show (Key Action) Source # | |
ToJSON (Key Action) Source # | |
ToHttpApiData (Key Action) Source # | |
PersistFieldSql (Key Action) Source # | |
PersistField (Key Action) Source # | |
PathPiece (Key Action) Source # | |
FromJSON (Key Action) Source # | |
FromHttpApiData (Key Action) Source # | |
data Key Action Source # | |
type PersistEntityBackend Action Source # | |
data EntityField Action Source # | |
data Unique Action Source # | |
data FileVersion Source #
Constructors
FileVersion | |
Fields
|
Instances
Show FileVersion Source # | |
PersistEntity FileVersion Source # | |
PersistFieldSql FileVersion Source # | |
PersistField FileVersion Source # | |
ToBackendKey SqlBackend FileVersion Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend FileVersion) (BaseBackend backend)) => DeleteCascade FileVersion backend Source # | |
Eq (Key FileVersion) Source # | |
Ord (Key FileVersion) Source # | |
Read (Key FileVersion) Source # | |
Show (Key FileVersion) Source # | |
ToJSON (Key FileVersion) Source # | |
ToHttpApiData (Key FileVersion) Source # | |
PersistFieldSql (Key FileVersion) Source # | |
PersistField (Key FileVersion) Source # | |
PathPiece (Key FileVersion) Source # | |
FromJSON (Key FileVersion) Source # | |
FromHttpApiData (Key FileVersion) Source # | |
data Key FileVersion Source # | |
type PersistEntityBackend FileVersion Source # | |
data EntityField FileVersion Source # | |
data Unique FileVersion Source # | |
type FileVersionId = Key FileVersion Source #
data FileVersionParent Source #
Constructors
FileVersionParent | |
Fields
|
Instances
Show FileVersionParent Source # | |
PersistEntity FileVersionParent Source # | |
PersistFieldSql FileVersionParent Source # | |
PersistField FileVersionParent Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend FileVersionParent) (BaseBackend backend)) => DeleteCascade FileVersionParent backend Source # | |
Eq (Key FileVersionParent) Source # | |
Ord (Key FileVersionParent) Source # | |
Read (Key FileVersionParent) Source # | |
Show (Key FileVersionParent) Source # | |
Generic (Key FileVersionParent) Source # | |
ToJSON (Key FileVersionParent) Source # | |
PersistFieldSql (Key FileVersionParent) Source # | |
PersistField (Key FileVersionParent) Source # | |
FromJSON (Key FileVersionParent) Source # | |
data Key FileVersionParent Source # | |
type PersistEntityBackend FileVersionParent Source # | |
data EntityField FileVersionParent Source # | |
data Unique FileVersionParent Source # | |
type Rep (Key FileVersionParent) Source # | |
type FileVersionParentId = Key FileVersionParent Source #
Constructors
LocIdBase | |
Fields
|
Instances
Show LocIdBase Source # | |
PersistEntity LocIdBase Source # | |
PersistFieldSql LocIdBase Source # | |
PersistField LocIdBase Source # | |
ToBackendKey SqlBackend LocIdBase Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend LocIdBase) (BaseBackend backend)) => DeleteCascade LocIdBase backend Source # | |
Eq (Key LocIdBase) Source # | |
Ord (Key LocIdBase) Source # | |
Read (Key LocIdBase) Source # | |
Show (Key LocIdBase) Source # | |
ToJSON (Key LocIdBase) Source # | |
ToHttpApiData (Key LocIdBase) Source # | |
PersistFieldSql (Key LocIdBase) Source # | |
PersistField (Key LocIdBase) Source # | |
PathPiece (Key LocIdBase) Source # | |
FromJSON (Key LocIdBase) Source # | |
FromHttpApiData (Key LocIdBase) Source # | |
data Key LocIdBase Source # | |
type PersistEntityBackend LocIdBase Source # | |
data EntityField LocIdBase Source # | |
data Unique LocIdBase Source # | |
type LocIdBaseId = Key LocIdBase Source #
Constructors
Document | |
Fields
|
Instances
Show Document Source # | |
PersistEntity Document Source # | |
PersistFieldSql Document Source # | |
PersistField Document Source # | |
ToBackendKey SqlBackend Document Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Document) (BaseBackend backend)) => DeleteCascade Document backend Source # | |
Eq (Key Document) Source # | |
Ord (Key Document) Source # | |
Read (Key Document) Source # | |
Show (Key Document) Source # | |
ToJSON (Key Document) Source # | |
ToHttpApiData (Key Document) Source # | |
PersistFieldSql (Key Document) Source # | |
PersistField (Key Document) Source # | |
PathPiece (Key Document) Source # | |
FromJSON (Key Document) Source # | |
FromHttpApiData (Key Document) Source # | |
data Key Document Source # | |
type PersistEntityBackend Document Source # | |
data EntityField Document Source # | |
data Unique Document Source # | |
type DocumentId = Key Document Source #
data DocumentLink Source #
Constructors
DocumentLink | |
Fields
|
Instances
Show DocumentLink Source # | |
PersistEntity DocumentLink Source # | |
PersistFieldSql DocumentLink Source # | |
PersistField DocumentLink Source # | |
ToBackendKey SqlBackend DocumentLink Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend DocumentLink) (BaseBackend backend)) => DeleteCascade DocumentLink backend Source # | |
Eq (Key DocumentLink) Source # | |
Ord (Key DocumentLink) Source # | |
Read (Key DocumentLink) Source # | |
Show (Key DocumentLink) Source # | |
ToJSON (Key DocumentLink) Source # | |
ToHttpApiData (Key DocumentLink) Source # | |
PersistFieldSql (Key DocumentLink) Source # | |
PersistField (Key DocumentLink) Source # | |
PathPiece (Key DocumentLink) Source # | |
FromJSON (Key DocumentLink) Source # | |
FromHttpApiData (Key DocumentLink) Source # | |
data Key DocumentLink Source # | |
type PersistEntityBackend DocumentLink Source # | |
data EntityField DocumentLink Source # | |
data Unique DocumentLink Source # | |
type DocumentLinkId = Key DocumentLink Source #
Constructors
FileRange | |
Fields
|
Instances
Show FileRange Source # | |
PersistEntity FileRange Source # | |
PersistFieldSql FileRange Source # | |
PersistField FileRange Source # | |
ToBackendKey SqlBackend FileRange Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend FileRange) (BaseBackend backend)) => DeleteCascade FileRange backend Source # | |
Eq (Key FileRange) Source # | |
Ord (Key FileRange) Source # | |
Read (Key FileRange) Source # | |
Show (Key FileRange) Source # | |
ToJSON (Key FileRange) Source # | |
ToHttpApiData (Key FileRange) Source # | |
PersistFieldSql (Key FileRange) Source # | |
PersistField (Key FileRange) Source # | |
PathPiece (Key FileRange) Source # | |
FromJSON (Key FileRange) Source # | |
FromHttpApiData (Key FileRange) Source # | |
data Key FileRange Source # | |
type PersistEntityBackend FileRange Source # | |
data EntityField FileRange Source # | |
data Unique FileRange Source # | |
type FileRangeId = Key FileRange Source #
Constructors
Diagnosis | |
Fields
|
Instances
Show Diagnosis Source # | |
PersistEntity Diagnosis Source # | |
PersistFieldSql Diagnosis Source # | |
PersistField Diagnosis Source # | |
ToBackendKey SqlBackend Diagnosis Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Diagnosis) (BaseBackend backend)) => DeleteCascade Diagnosis backend Source # | |
Eq (Key Diagnosis) Source # | |
Ord (Key Diagnosis) Source # | |
Read (Key Diagnosis) Source # | |
Show (Key Diagnosis) Source # | |
ToJSON (Key Diagnosis) Source # | |
ToHttpApiData (Key Diagnosis) Source # | |
PersistFieldSql (Key Diagnosis) Source # | |
PersistField (Key Diagnosis) Source # | |
PathPiece (Key Diagnosis) Source # | |
FromJSON (Key Diagnosis) Source # | |
FromHttpApiData (Key Diagnosis) Source # | |
data Key Diagnosis Source # | |
type PersistEntityBackend Diagnosis Source # | |
data EntityField Diagnosis Source # | |
data Unique Diagnosis Source # | |
type DiagnosisId = Key Diagnosis Source #
Constructors
OMS | |
Fields
|
Instances
Show OMS Source # | |
PersistEntity OMS Source # | |
PersistFieldSql OMS Source # | |
PersistField OMS Source # | |
ToBackendKey SqlBackend OMS Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend OMS) (BaseBackend backend)) => DeleteCascade OMS backend Source # | |
Eq (Key OMS) Source # | |
Ord (Key OMS) Source # | |
Read (Key OMS) Source # | |
Show (Key OMS) Source # | |
ToJSON (Key OMS) Source # | |
ToHttpApiData (Key OMS) Source # | |
PersistFieldSql (Key OMS) Source # | |
PersistField (Key OMS) Source # | |
PathPiece (Key OMS) Source # | |
FromJSON (Key OMS) Source # | |
FromHttpApiData (Key OMS) Source # | |
data Key OMS Source # | |
type PersistEntityBackend OMS Source # | |
data EntityField OMS Source # | |
data Unique OMS Source # | |
Constructors
Mapping | |
Fields
|
Instances
Show Mapping Source # | |
PersistEntity Mapping Source # | |
PersistFieldSql Mapping Source # | |
PersistField Mapping Source # | |
ToBackendKey SqlBackend Mapping Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Mapping) (BaseBackend backend)) => DeleteCascade Mapping backend Source # | |
Eq (Key Mapping) Source # | |
Ord (Key Mapping) Source # | |
Read (Key Mapping) Source # | |
Show (Key Mapping) Source # | |
ToJSON (Key Mapping) Source # | |
ToHttpApiData (Key Mapping) Source # | |
PersistFieldSql (Key Mapping) Source # | |
PersistField (Key Mapping) Source # | |
PathPiece (Key Mapping) Source # | |
FromJSON (Key Mapping) Source # | |
FromHttpApiData (Key Mapping) Source # | |
data Key Mapping Source # | |
type PersistEntityBackend Mapping Source # | |
data EntityField Mapping Source # | |
data Unique Mapping Source # | |
Constructors
Sentence | |
Fields
|
Instances
Show Sentence Source # | |
PersistEntity Sentence Source # | |
PersistFieldSql Sentence Source # | |
PersistField Sentence Source # | |
ToBackendKey SqlBackend Sentence Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Sentence) (BaseBackend backend)) => DeleteCascade Sentence backend Source # | |
Eq (Key Sentence) Source # | |
Ord (Key Sentence) Source # | |
Read (Key Sentence) Source # | |
Show (Key Sentence) Source # | |
ToJSON (Key Sentence) Source # | |
ToHttpApiData (Key Sentence) Source # | |
PersistFieldSql (Key Sentence) Source # | |
PersistField (Key Sentence) Source # | |
PathPiece (Key Sentence) Source # | |
FromJSON (Key Sentence) Source # | |
FromHttpApiData (Key Sentence) Source # | |
data Key Sentence Source # | |
type PersistEntityBackend Sentence Source # | |
data EntityField Sentence Source # | |
data Unique Sentence Source # | |
type SentenceId = Key Sentence Source #
Constructors
Axiom | |
Instances
Show Axiom Source # | |
PersistEntity Axiom Source # | |
PersistFieldSql Axiom Source # | |
PersistField Axiom Source # | |
ToBackendKey SqlBackend Axiom Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Axiom) (BaseBackend backend)) => DeleteCascade Axiom backend Source # | |
Eq (Key Axiom) Source # | |
Ord (Key Axiom) Source # | |
Read (Key Axiom) Source # | |
Show (Key Axiom) Source # | |
ToJSON (Key Axiom) Source # | |
ToHttpApiData (Key Axiom) Source # | |
PersistFieldSql (Key Axiom) Source # | |
PersistField (Key Axiom) Source # | |
PathPiece (Key Axiom) Source # | |
FromJSON (Key Axiom) Source # | |
FromHttpApiData (Key Axiom) Source # | |
data Key Axiom Source # | |
type PersistEntityBackend Axiom Source # | |
data EntityField Axiom Source # | |
data Unique Axiom Source # | |
data Conjecture Source #
Constructors
Conjecture | |
Fields
|
Instances
Show Conjecture Source # | |
PersistEntity Conjecture Source # | |
PersistFieldSql Conjecture Source # | |
PersistField Conjecture Source # | |
ToBackendKey SqlBackend Conjecture Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Conjecture) (BaseBackend backend)) => DeleteCascade Conjecture backend Source # | |
Eq (Key Conjecture) Source # | |
Ord (Key Conjecture) Source # | |
Read (Key Conjecture) Source # | |
Show (Key Conjecture) Source # | |
ToJSON (Key Conjecture) Source # | |
ToHttpApiData (Key Conjecture) Source # | |
PersistFieldSql (Key Conjecture) Source # | |
PersistField (Key Conjecture) Source # | |
PathPiece (Key Conjecture) Source # | |
FromJSON (Key Conjecture) Source # | |
FromHttpApiData (Key Conjecture) Source # | |
data Key Conjecture Source # | |
type PersistEntityBackend Conjecture Source # | |
data EntityField Conjecture Source # | |
data Unique Conjecture Source # | |
type ConjectureId = Key Conjecture Source #
Constructors
Symbol | |
Fields
|
Instances
Show Symbol Source # | |
PersistEntity Symbol Source # | |
PersistFieldSql Symbol Source # | |
PersistField Symbol Source # | |
ToBackendKey SqlBackend Symbol Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Symbol) (BaseBackend backend)) => DeleteCascade Symbol backend Source # | |
Eq (Key Symbol) Source # | |
Ord (Key Symbol) Source # | |
Read (Key Symbol) Source # | |
Show (Key Symbol) Source # | |
ToJSON (Key Symbol) Source # | |
ToHttpApiData (Key Symbol) Source # | |
PersistFieldSql (Key Symbol) Source # | |
PersistField (Key Symbol) Source # | |
PathPiece (Key Symbol) Source # | |
FromJSON (Key Symbol) Source # | |
FromHttpApiData (Key Symbol) Source # | |
data Key Symbol Source # | |
type PersistEntityBackend Symbol Source # | |
data EntityField Symbol Source # | |
data Unique Symbol Source # | |
data SymbolMapping Source #
Constructors
SymbolMapping | |
Fields
|
Instances
Show SymbolMapping Source # | |
PersistEntity SymbolMapping Source # | |
PersistFieldSql SymbolMapping Source # | |
PersistField SymbolMapping Source # | |
ToBackendKey SqlBackend SymbolMapping Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend SymbolMapping) (BaseBackend backend)) => DeleteCascade SymbolMapping backend Source # | |
Eq (Key SymbolMapping) Source # | |
Ord (Key SymbolMapping) Source # | |
Read (Key SymbolMapping) Source # | |
Show (Key SymbolMapping) Source # | |
ToJSON (Key SymbolMapping) Source # | |
ToHttpApiData (Key SymbolMapping) Source # | |
PersistFieldSql (Key SymbolMapping) Source # | |
PersistField (Key SymbolMapping) Source # | |
PathPiece (Key SymbolMapping) Source # | |
FromJSON (Key SymbolMapping) Source # | |
FromHttpApiData (Key SymbolMapping) Source # | |
data Key SymbolMapping Source # | |
type PersistEntityBackend SymbolMapping Source # | |
data EntityField SymbolMapping Source # | |
data Unique SymbolMapping Source # | |
type SymbolMappingId = Key SymbolMapping Source #
data SentenceSymbol Source #
Constructors
SentenceSymbol | |
Fields
|
Instances
Show SentenceSymbol Source # | |
PersistEntity SentenceSymbol Source # | |
PersistFieldSql SentenceSymbol Source # | |
PersistField SentenceSymbol Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend SentenceSymbol) (BaseBackend backend)) => DeleteCascade SentenceSymbol backend Source # | |
Eq (Key SentenceSymbol) Source # | |
Ord (Key SentenceSymbol) Source # | |
Read (Key SentenceSymbol) Source # | |
Show (Key SentenceSymbol) Source # | |
Generic (Key SentenceSymbol) Source # | |
ToJSON (Key SentenceSymbol) Source # | |
PersistFieldSql (Key SentenceSymbol) Source # | |
PersistField (Key SentenceSymbol) Source # | |
FromJSON (Key SentenceSymbol) Source # | |
data Key SentenceSymbol Source # | |
type PersistEntityBackend SentenceSymbol Source # | |
data EntityField SentenceSymbol Source # | |
data Unique SentenceSymbol Source # | |
type Rep (Key SentenceSymbol) Source # | |
type SentenceSymbolId = Key SentenceSymbol Source #
data SignatureSymbol Source #
Constructors
SignatureSymbol | |
Fields
|
Instances
Show SignatureSymbol Source # | |
PersistEntity SignatureSymbol Source # | |
PersistFieldSql SignatureSymbol Source # | |
PersistField SignatureSymbol Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend SignatureSymbol) (BaseBackend backend)) => DeleteCascade SignatureSymbol backend Source # | |
Eq (Key SignatureSymbol) Source # | |
Ord (Key SignatureSymbol) Source # | |
Read (Key SignatureSymbol) Source # | |
Show (Key SignatureSymbol) Source # | |
Generic (Key SignatureSymbol) Source # | |
ToJSON (Key SignatureSymbol) Source # | |
PersistFieldSql (Key SignatureSymbol) Source # | |
PersistField (Key SignatureSymbol) Source # | |
FromJSON (Key SignatureSymbol) Source # | |
data Key SignatureSymbol Source # | |
type PersistEntityBackend SignatureSymbol Source # | |
data EntityField SignatureSymbol Source # | |
data Unique SignatureSymbol Source # | |
type Rep (Key SignatureSymbol) Source # | |
type SignatureSymbolId = Key SignatureSymbol Source #
Constructors
Reasoner | |
Fields
|
Instances
Show Reasoner Source # | |
PersistEntity Reasoner Source # | |
PersistFieldSql Reasoner Source # | |
PersistField Reasoner Source # | |
ToBackendKey SqlBackend Reasoner Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend Reasoner) (BaseBackend backend)) => DeleteCascade Reasoner backend Source # | |
Eq (Key Reasoner) Source # | |
Ord (Key Reasoner) Source # | |
Read (Key Reasoner) Source # | |
Show (Key Reasoner) Source # | |
ToJSON (Key Reasoner) Source # | |
ToHttpApiData (Key Reasoner) Source # | |
PersistFieldSql (Key Reasoner) Source # | |
PersistField (Key Reasoner) Source # | |
PathPiece (Key Reasoner) Source # | |
FromJSON (Key Reasoner) Source # | |
FromHttpApiData (Key Reasoner) Source # | |
data Key Reasoner Source # | |
type PersistEntityBackend Reasoner Source # | |
data EntityField Reasoner Source # | |
data Unique Reasoner Source # | |
type ReasonerId = Key Reasoner Source #
data ReasonerConfiguration Source #
Constructors
ReasonerConfiguration | |
Fields
|
Instances
type ReasonerConfigurationId = Key ReasonerConfiguration Source #
data ManualPremiseSelection Source #
Constructors
ManualPremiseSelection | |
Instances
type ManualPremiseSelectionId = Key ManualPremiseSelection Source #
data SinePremiseSelection Source #
Constructors
SinePremiseSelection | |
Fields
|
Instances
type SinePremiseSelectionId = Key SinePremiseSelection Source #
data SineSymbolPremiseTrigger Source #
Constructors
SineSymbolPremiseTrigger | |
Fields
|
Instances
data SineSymbolCommonness Source #
Constructors
SineSymbolCommonness | |
Fields |
Instances
type SineSymbolCommonnessId = Key SineSymbolCommonness Source #
data ReasoningAttempt Source #
Constructors
ReasoningAttempt | |
Fields
|
Instances
Show ReasoningAttempt Source # | |
PersistEntity ReasoningAttempt Source # | |
PersistFieldSql ReasoningAttempt Source # | |
PersistField ReasoningAttempt Source # | |
ToBackendKey SqlBackend ReasoningAttempt Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend ReasoningAttempt) (BaseBackend backend)) => DeleteCascade ReasoningAttempt backend Source # | |
Eq (Key ReasoningAttempt) Source # | |
Ord (Key ReasoningAttempt) Source # | |
Read (Key ReasoningAttempt) Source # | |
Show (Key ReasoningAttempt) Source # | |
ToJSON (Key ReasoningAttempt) Source # | |
ToHttpApiData (Key ReasoningAttempt) Source # | |
PersistFieldSql (Key ReasoningAttempt) Source # | |
PersistField (Key ReasoningAttempt) Source # | |
PathPiece (Key ReasoningAttempt) Source # | |
FromJSON (Key ReasoningAttempt) Source # | |
FromHttpApiData (Key ReasoningAttempt) Source # | |
data Key ReasoningAttempt Source # | |
type PersistEntityBackend ReasoningAttempt Source # | |
data EntityField ReasoningAttempt Source # | |
data Unique ReasoningAttempt Source # | |
type ReasoningAttemptId = Key ReasoningAttempt Source #
data ProofAttempt Source #
Constructors
ProofAttempt | |
Fields
|
Instances
PersistEntity ProofAttempt Source # | |
PersistFieldSql ProofAttempt Source # | |
PersistField ProofAttempt Source # | |
ToBackendKey SqlBackend ProofAttempt Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend ProofAttempt) (BaseBackend backend)) => DeleteCascade ProofAttempt backend Source # | |
Eq (Key ProofAttempt) Source # | |
Ord (Key ProofAttempt) Source # | |
Read (Key ProofAttempt) Source # | |
Show (Key ProofAttempt) Source # | |
ToJSON (Key ProofAttempt) Source # | |
ToHttpApiData (Key ProofAttempt) Source # | |
PersistFieldSql (Key ProofAttempt) Source # | |
PersistField (Key ProofAttempt) Source # | |
PathPiece (Key ProofAttempt) Source # | |
FromJSON (Key ProofAttempt) Source # | |
FromHttpApiData (Key ProofAttempt) Source # | |
data Key ProofAttempt Source # | |
type PersistEntityBackend ProofAttempt Source # | |
data EntityField ProofAttempt Source # | |
data Unique ProofAttempt Source # | |
data PremiseSelection Source #
Constructors
PremiseSelection | |
Fields
|
Instances
Show PremiseSelection Source # | |
PersistEntity PremiseSelection Source # | |
PersistFieldSql PremiseSelection Source # | |
PersistField PremiseSelection Source # | |
ToBackendKey SqlBackend PremiseSelection Source # | |
(PersistQuery backend, (~) * (PersistEntityBackend PremiseSelection) (BaseBackend backend)) => DeleteCascade PremiseSelection backend Source # | |
Eq (Key PremiseSelection) Source # | |
Ord (Key PremiseSelection) Source # | |
Read (Key PremiseSelection) Source # | |
Show (Key PremiseSelection) Source # | |
ToJSON (Key PremiseSelection) Source # | |
ToHttpApiData (Key PremiseSelection) Source # | |
PersistFieldSql (Key PremiseSelection) Source # | |
PersistField (Key PremiseSelection) Source # | |
PathPiece (Key PremiseSelection) Source # | |
FromJSON (Key PremiseSelection) Source # | |
FromHttpApiData (Key PremiseSelection) Source # | |
data Key PremiseSelection |