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

indexes :: [(String, [String])] Source #

data Hets Source #

Constructors

Hets
Fields hetsKey :: !String hetsValue :: !String

Instances

Show Hets Source #
Methods showsPrec :: Int -> Hets -> ShowS show :: Hets -> String showList :: [Hets] -> ShowS
PersistEntity Hets Source #
Associated Types type PersistEntityBackend Hets :: * data Key Hets :: * data EntityField Hets a :: * data Unique Hets :: * Methods keyToValues :: Key Hets -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Hets) persistIdField :: EntityField Hets (Key Hets) entityDef :: Monad m => m Hets -> EntityDef persistFieldDef :: EntityField Hets typ -> FieldDef toPersistFields :: Hets -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Hets persistUniqueKeys :: Hets -> [Unique Hets] persistUniqueToFieldNames :: Unique Hets -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Hets -> [PersistValue] fieldLens :: EntityField Hets field -> forall f. Functor f => (field -> f field) -> Entity Hets -> f (Entity Hets)
PersistFieldSql Hets Source #
Methods sqlType :: Proxy * Hets -> SqlType
PersistField Hets Source #
Methods toPersistValue :: Hets -> PersistValue fromPersistValue :: PersistValue -> Either Text Hets
(PersistQuery backend, (~) * (PersistEntityBackend Hets) (BaseBackend backend)) => DeleteCascade Hets backend Source #
Methods deleteCascade :: MonadIO m => Key Hets -> ReaderT * backend m ()
Eq (Key Hets) Source #
Methods (==) :: Key Hets -> Key Hets -> Bool (/=) :: Key Hets -> Key Hets -> Bool
Ord (Key Hets) Source #
Methods compare :: Key Hets -> Key Hets -> Ordering (<) :: Key Hets -> Key Hets -> Bool (<=) :: Key Hets -> Key Hets -> Bool (>) :: Key Hets -> Key Hets -> Bool (>=) :: Key Hets -> Key Hets -> Bool max :: Key Hets -> Key Hets -> Key Hets min :: Key Hets -> Key Hets -> Key Hets
Read (Key Hets) Source #
Methods readsPrec :: Int -> ReadS (Key Hets) readList :: ReadS [Key Hets] readPrec :: ReadPrec (Key Hets) readListPrec :: ReadPrec [Key Hets]
Show (Key Hets) Source #
Methods showsPrec :: Int -> Key Hets -> ShowS show :: Key Hets -> String showList :: [Key Hets] -> ShowS
ToJSON (Key Hets) Source #
Methods toJSON :: Key Hets -> Value toEncoding :: Key Hets -> Encoding toJSONList :: [Key Hets] -> Value toEncodingList :: [Key Hets] -> Encoding
ToHttpApiData (Key Hets) Source #
Methods toUrlPiece :: Key Hets -> Text toEncodedUrlPiece :: Key Hets -> Builder toHeader :: Key Hets -> ByteString toQueryParam :: Key Hets -> Text
PersistFieldSql (Key Hets) Source #
Methods sqlType :: Proxy * (Key Hets) -> SqlType
PersistField (Key Hets) Source #
Methods toPersistValue :: Key Hets -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Hets)
PathPiece (Key Hets) Source #
Methods fromPathPiece :: Text -> Maybe (Key Hets) toPathPiece :: Key Hets -> Text
FromJSON (Key Hets) Source #
Methods parseJSON :: Value -> Parser (Key Hets) parseJSONList :: Value -> Parser [Key Hets]
FromHttpApiData (Key Hets) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Hets) parseHeader :: ByteString -> Either Text (Key Hets) parseQueryParam :: Text -> Either Text (Key Hets)
data Key Hets Source #
data Key Hets = HetsKey' { unHetsKey :: String }
type PersistEntityBackend Hets Source #
type PersistEntityBackend Hets = SqlBackend
data EntityField Hets Source #
data EntityField Hets where HetsId :: EntityField Hets typ HetsKey :: EntityField Hets typ HetsValue :: EntityField Hets typ
data Unique Hets Source #
data Unique Hets

type HetsId = Key Hets Source #

data Language Source #

Constructors

Language
Fields languageSlug :: !String languageName :: !String languageDescription :: !String languageStandardizationStatus :: !String languageDefinedBy :: !String

Instances

Show Language Source #
Methods showsPrec :: Int -> Language -> ShowS show :: Language -> String showList :: [Language] -> ShowS
PersistEntity Language Source #
Associated Types type PersistEntityBackend Language :: * data Key Language :: * data EntityField Language a :: * data Unique Language :: * Methods keyToValues :: Key Language -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Language) persistIdField :: EntityField Language (Key Language) entityDef :: Monad m => m Language -> EntityDef persistFieldDef :: EntityField Language typ -> FieldDef toPersistFields :: Language -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Language persistUniqueKeys :: Language -> [Unique Language] persistUniqueToFieldNames :: Unique Language -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Language -> [PersistValue] fieldLens :: EntityField Language field -> forall f. Functor f => (field -> f field) -> Entity Language -> f (Entity Language)
PersistFieldSql Language Source #
Methods sqlType :: Proxy * Language -> SqlType
PersistField Language Source #
Methods toPersistValue :: Language -> PersistValue fromPersistValue :: PersistValue -> Either Text Language
ToBackendKey SqlBackend Language Source #
Methods toBackendKey :: Key Language -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Language
(PersistQuery backend, (~) * (PersistEntityBackend Language) (BaseBackend backend)) => DeleteCascade Language backend Source #
Methods deleteCascade :: MonadIO m => Key Language -> ReaderT * backend m ()
Eq (Key Language) Source #
Methods (==) :: Key Language -> Key Language -> Bool (/=) :: Key Language -> Key Language -> Bool
Ord (Key Language) Source #
Methods compare :: Key Language -> Key Language -> Ordering (<) :: Key Language -> Key Language -> Bool (<=) :: Key Language -> Key Language -> Bool (>) :: Key Language -> Key Language -> Bool (>=) :: Key Language -> Key Language -> Bool max :: Key Language -> Key Language -> Key Language min :: Key Language -> Key Language -> Key Language
Read (Key Language) Source #
Methods readsPrec :: Int -> ReadS (Key Language) readList :: ReadS [Key Language] readPrec :: ReadPrec (Key Language) readListPrec :: ReadPrec [Key Language]
Show (Key Language) Source #
Methods showsPrec :: Int -> Key Language -> ShowS show :: Key Language -> String showList :: [Key Language] -> ShowS
ToJSON (Key Language) Source #
Methods toJSON :: Key Language -> Value toEncoding :: Key Language -> Encoding toJSONList :: [Key Language] -> Value toEncodingList :: [Key Language] -> Encoding
ToHttpApiData (Key Language) Source #
Methods toUrlPiece :: Key Language -> Text toEncodedUrlPiece :: Key Language -> Builder toHeader :: Key Language -> ByteString toQueryParam :: Key Language -> Text
PersistFieldSql (Key Language) Source #
Methods sqlType :: Proxy * (Key Language) -> SqlType
PersistField (Key Language) Source #
Methods toPersistValue :: Key Language -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Language)
PathPiece (Key Language) Source #
Methods fromPathPiece :: Text -> Maybe (Key Language) toPathPiece :: Key Language -> Text
FromJSON (Key Language) Source #
Methods parseJSON :: Value -> Parser (Key Language) parseJSONList :: Value -> Parser [Key Language]
FromHttpApiData (Key Language) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Language) parseHeader :: ByteString -> Either Text (Key Language) parseQueryParam :: Text -> Either Text (Key Language)
data Key Language Source #
data Key Language = LanguageKey { unLanguageKey :: BackendKey SqlBackend }
type PersistEntityBackend Language Source #
type PersistEntityBackend Language = SqlBackend
data EntityField Language Source #
data EntityField Language where LanguageId :: EntityField Language typ LanguageSlug :: EntityField Language typ LanguageName :: EntityField Language typ LanguageDescription :: EntityField Language typ LanguageStandardizationStatus :: EntityField Language typ LanguageDefinedBy :: EntityField Language typ
data Unique Language Source #
data Unique Language = UniqueLanguageSlug String

type LanguageId = Key Language Source #

data Logic Source #

Constructors

Logic
Fields logicLanguageId :: !(Key Language) logicSlug :: !String logicName :: !String

Instances

Show Logic Source #
Methods showsPrec :: Int -> Logic -> ShowS show :: Logic -> String showList :: [Logic] -> ShowS
PersistEntity Logic Source #
Associated Types type PersistEntityBackend Logic :: * data Key Logic :: * data EntityField Logic a :: * data Unique Logic :: * Methods keyToValues :: Key Logic -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Logic) persistIdField :: EntityField Logic (Key Logic) entityDef :: Monad m => m Logic -> EntityDef persistFieldDef :: EntityField Logic typ -> FieldDef toPersistFields :: Logic -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Logic persistUniqueKeys :: Logic -> [Unique Logic] persistUniqueToFieldNames :: Unique Logic -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Logic -> [PersistValue] fieldLens :: EntityField Logic field -> forall f. Functor f => (field -> f field) -> Entity Logic -> f (Entity Logic)
PersistFieldSql Logic Source #
Methods sqlType :: Proxy * Logic -> SqlType
PersistField Logic Source #
Methods toPersistValue :: Logic -> PersistValue fromPersistValue :: PersistValue -> Either Text Logic
ToBackendKey SqlBackend Logic Source #
Methods toBackendKey :: Key Logic -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Logic
(PersistQuery backend, (~) * (PersistEntityBackend Logic) (BaseBackend backend)) => DeleteCascade Logic backend Source #
Methods deleteCascade :: MonadIO m => Key Logic -> ReaderT * backend m ()
Eq (Key Logic) Source #
Methods (==) :: Key Logic -> Key Logic -> Bool (/=) :: Key Logic -> Key Logic -> Bool
Ord (Key Logic) Source #
Methods compare :: Key Logic -> Key Logic -> Ordering (<) :: Key Logic -> Key Logic -> Bool (<=) :: Key Logic -> Key Logic -> Bool (>) :: Key Logic -> Key Logic -> Bool (>=) :: Key Logic -> Key Logic -> Bool max :: Key Logic -> Key Logic -> Key Logic min :: Key Logic -> Key Logic -> Key Logic
Read (Key Logic) Source #
Methods readsPrec :: Int -> ReadS (Key Logic) readList :: ReadS [Key Logic] readPrec :: ReadPrec (Key Logic) readListPrec :: ReadPrec [Key Logic]
Show (Key Logic) Source #
Methods showsPrec :: Int -> Key Logic -> ShowS show :: Key Logic -> String showList :: [Key Logic] -> ShowS
ToJSON (Key Logic) Source #
Methods toJSON :: Key Logic -> Value toEncoding :: Key Logic -> Encoding toJSONList :: [Key Logic] -> Value toEncodingList :: [Key Logic] -> Encoding
ToHttpApiData (Key Logic) Source #
Methods toUrlPiece :: Key Logic -> Text toEncodedUrlPiece :: Key Logic -> Builder toHeader :: Key Logic -> ByteString toQueryParam :: Key Logic -> Text
PersistFieldSql (Key Logic) Source #
Methods sqlType :: Proxy * (Key Logic) -> SqlType
PersistField (Key Logic) Source #
Methods toPersistValue :: Key Logic -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Logic)
PathPiece (Key Logic) Source #
Methods fromPathPiece :: Text -> Maybe (Key Logic) toPathPiece :: Key Logic -> Text
FromJSON (Key Logic) Source #
Methods parseJSON :: Value -> Parser (Key Logic) parseJSONList :: Value -> Parser [Key Logic]
FromHttpApiData (Key Logic) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Logic) parseHeader :: ByteString -> Either Text (Key Logic) parseQueryParam :: Text -> Either Text (Key Logic)
data Key Logic Source #
data Key Logic = LogicKey { unLogicKey :: BackendKey SqlBackend }
type PersistEntityBackend Logic Source #
type PersistEntityBackend Logic = SqlBackend
data EntityField Logic Source #
data EntityField Logic where LogicId :: EntityField Logic typ LogicLanguageId :: EntityField Logic typ LogicSlug :: EntityField Logic typ LogicName :: EntityField Logic typ
data Unique Logic Source #
data Unique Logic = UniqueLanguageIdLogicSlug (Key Language) String

type LogicId = Key Logic Source #

data LanguageMapping Source #

Constructors

LanguageMapping
Fields languageMappingSourceId :: !(Key Language) languageMappingTargetId :: !(Key Language)

Instances

Show LanguageMapping Source #
Methods showsPrec :: Int -> LanguageMapping -> ShowS show :: LanguageMapping -> String showList :: [LanguageMapping] -> ShowS
PersistEntity LanguageMapping Source #
Associated Types type PersistEntityBackend LanguageMapping :: * data Key LanguageMapping :: * data EntityField LanguageMapping a :: * data Unique LanguageMapping :: * Methods keyToValues :: Key LanguageMapping -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LanguageMapping) persistIdField :: EntityField LanguageMapping (Key LanguageMapping) entityDef :: Monad m => m LanguageMapping -> EntityDef persistFieldDef :: EntityField LanguageMapping typ -> FieldDef toPersistFields :: LanguageMapping -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LanguageMapping persistUniqueKeys :: LanguageMapping -> [Unique LanguageMapping] persistUniqueToFieldNames :: Unique LanguageMapping -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LanguageMapping -> [PersistValue] fieldLens :: EntityField LanguageMapping field -> forall f. Functor f => (field -> f field) -> Entity LanguageMapping -> f (Entity LanguageMapping)
PersistFieldSql LanguageMapping Source #
Methods sqlType :: Proxy * LanguageMapping -> SqlType
PersistField LanguageMapping Source #
Methods toPersistValue :: LanguageMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text LanguageMapping
ToBackendKey SqlBackend LanguageMapping Source #
Methods toBackendKey :: Key LanguageMapping -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LanguageMapping
(PersistQuery backend, (~) * (PersistEntityBackend LanguageMapping) (BaseBackend backend)) => DeleteCascade LanguageMapping backend Source #
Methods deleteCascade :: MonadIO m => Key LanguageMapping -> ReaderT * backend m ()
Eq (Key LanguageMapping) Source #
Methods (==) :: Key LanguageMapping -> Key LanguageMapping -> Bool (/=) :: Key LanguageMapping -> Key LanguageMapping -> Bool
Ord (Key LanguageMapping) Source #
Methods compare :: Key LanguageMapping -> Key LanguageMapping -> Ordering (<) :: Key LanguageMapping -> Key LanguageMapping -> Bool (<=) :: Key LanguageMapping -> Key LanguageMapping -> Bool (>) :: Key LanguageMapping -> Key LanguageMapping -> Bool (>=) :: Key LanguageMapping -> Key LanguageMapping -> Bool max :: Key LanguageMapping -> Key LanguageMapping -> Key LanguageMapping min :: Key LanguageMapping -> Key LanguageMapping -> Key LanguageMapping
Read (Key LanguageMapping) Source #
Methods readsPrec :: Int -> ReadS (Key LanguageMapping) readList :: ReadS [Key LanguageMapping] readPrec :: ReadPrec (Key LanguageMapping) readListPrec :: ReadPrec [Key LanguageMapping]
Show (Key LanguageMapping) Source #
Methods showsPrec :: Int -> Key LanguageMapping -> ShowS show :: Key LanguageMapping -> String showList :: [Key LanguageMapping] -> ShowS
ToJSON (Key LanguageMapping) Source #
Methods toJSON :: Key LanguageMapping -> Value toEncoding :: Key LanguageMapping -> Encoding toJSONList :: [Key LanguageMapping] -> Value toEncodingList :: [Key LanguageMapping] -> Encoding
ToHttpApiData (Key LanguageMapping) Source #
Methods toUrlPiece :: Key LanguageMapping -> Text toEncodedUrlPiece :: Key LanguageMapping -> Builder toHeader :: Key LanguageMapping -> ByteString toQueryParam :: Key LanguageMapping -> Text
PersistFieldSql (Key LanguageMapping) Source #
Methods sqlType :: Proxy * (Key LanguageMapping) -> SqlType
PersistField (Key LanguageMapping) Source #
Methods toPersistValue :: Key LanguageMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LanguageMapping)
PathPiece (Key LanguageMapping) Source #
Methods fromPathPiece :: Text -> Maybe (Key LanguageMapping) toPathPiece :: Key LanguageMapping -> Text
FromJSON (Key LanguageMapping) Source #
Methods parseJSON :: Value -> Parser (Key LanguageMapping) parseJSONList :: Value -> Parser [Key LanguageMapping]
FromHttpApiData (Key LanguageMapping) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LanguageMapping) parseHeader :: ByteString -> Either Text (Key LanguageMapping) parseQueryParam :: Text -> Either Text (Key LanguageMapping)
data Key LanguageMapping Source #
data Key LanguageMapping = LanguageMappingKey { unLanguageMappingKey :: BackendKey SqlBackend }
type PersistEntityBackend LanguageMapping Source #
type PersistEntityBackend LanguageMapping = SqlBackend
data EntityField LanguageMapping Source #
data EntityField LanguageMapping where LanguageMappingId :: EntityField LanguageMapping typ LanguageMappingSourceId :: EntityField LanguageMapping typ LanguageMappingTargetId :: EntityField LanguageMapping typ
data Unique LanguageMapping Source #
data Unique LanguageMapping

type LanguageMappingId = Key LanguageMapping Source #

data LogicMapping Source #

Constructors

LogicMapping
Fields logicMappingLanguageMappingId :: !(Key LanguageMapping) logicMappingSourceId :: !(Key Logic) logicMappingTargetId :: !(Key Logic) logicMappingSlug :: !String logicMappingName :: !String logicMappingIsInclusion :: !Bool logicMappingHasModelExpansion :: !Bool logicMappingIsWeaklyAmalgamable :: !Bool

Instances

Show LogicMapping Source #
Methods showsPrec :: Int -> LogicMapping -> ShowS show :: LogicMapping -> String showList :: [LogicMapping] -> ShowS
PersistEntity LogicMapping Source #
Associated Types type PersistEntityBackend LogicMapping :: * data Key LogicMapping :: * data EntityField LogicMapping a :: * data Unique LogicMapping :: * Methods keyToValues :: Key LogicMapping -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LogicMapping) persistIdField :: EntityField LogicMapping (Key LogicMapping) entityDef :: Monad m => m LogicMapping -> EntityDef persistFieldDef :: EntityField LogicMapping typ -> FieldDef toPersistFields :: LogicMapping -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LogicMapping persistUniqueKeys :: LogicMapping -> [Unique LogicMapping] persistUniqueToFieldNames :: Unique LogicMapping -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LogicMapping -> [PersistValue] fieldLens :: EntityField LogicMapping field -> forall f. Functor f => (field -> f field) -> Entity LogicMapping -> f (Entity LogicMapping)
PersistFieldSql LogicMapping Source #
Methods sqlType :: Proxy * LogicMapping -> SqlType
PersistField LogicMapping Source #
Methods toPersistValue :: LogicMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text LogicMapping
ToBackendKey SqlBackend LogicMapping Source #
Methods toBackendKey :: Key LogicMapping -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LogicMapping
(PersistQuery backend, (~) * (PersistEntityBackend LogicMapping) (BaseBackend backend)) => DeleteCascade LogicMapping backend Source #
Methods deleteCascade :: MonadIO m => Key LogicMapping -> ReaderT * backend m ()
Eq (Key LogicMapping) Source #
Methods (==) :: Key LogicMapping -> Key LogicMapping -> Bool (/=) :: Key LogicMapping -> Key LogicMapping -> Bool
Ord (Key LogicMapping) Source #
Methods compare :: Key LogicMapping -> Key LogicMapping -> Ordering (<) :: Key LogicMapping -> Key LogicMapping -> Bool (<=) :: Key LogicMapping -> Key LogicMapping -> Bool (>) :: Key LogicMapping -> Key LogicMapping -> Bool (>=) :: Key LogicMapping -> Key LogicMapping -> Bool max :: Key LogicMapping -> Key LogicMapping -> Key LogicMapping min :: Key LogicMapping -> Key LogicMapping -> Key LogicMapping
Read (Key LogicMapping) Source #
Methods readsPrec :: Int -> ReadS (Key LogicMapping) readList :: ReadS [Key LogicMapping] readPrec :: ReadPrec (Key LogicMapping) readListPrec :: ReadPrec [Key LogicMapping]
Show (Key LogicMapping) Source #
Methods showsPrec :: Int -> Key LogicMapping -> ShowS show :: Key LogicMapping -> String showList :: [Key LogicMapping] -> ShowS
ToJSON (Key LogicMapping) Source #
Methods toJSON :: Key LogicMapping -> Value toEncoding :: Key LogicMapping -> Encoding toJSONList :: [Key LogicMapping] -> Value toEncodingList :: [Key LogicMapping] -> Encoding
ToHttpApiData (Key LogicMapping) Source #
Methods toUrlPiece :: Key LogicMapping -> Text toEncodedUrlPiece :: Key LogicMapping -> Builder toHeader :: Key LogicMapping -> ByteString toQueryParam :: Key LogicMapping -> Text
PersistFieldSql (Key LogicMapping) Source #
Methods sqlType :: Proxy * (Key LogicMapping) -> SqlType
PersistField (Key LogicMapping) Source #
Methods toPersistValue :: Key LogicMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LogicMapping)
PathPiece (Key LogicMapping) Source #
Methods fromPathPiece :: Text -> Maybe (Key LogicMapping) toPathPiece :: Key LogicMapping -> Text
FromJSON (Key LogicMapping) Source #
Methods parseJSON :: Value -> Parser (Key LogicMapping) parseJSONList :: Value -> Parser [Key LogicMapping]
FromHttpApiData (Key LogicMapping) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LogicMapping) parseHeader :: ByteString -> Either Text (Key LogicMapping) parseQueryParam :: Text -> Either Text (Key LogicMapping)
data Key LogicMapping Source #
data Key LogicMapping = LogicMappingKey { unLogicMappingKey :: BackendKey SqlBackend }
type PersistEntityBackend LogicMapping Source #
type PersistEntityBackend LogicMapping = SqlBackend
data EntityField LogicMapping Source #
data EntityField LogicMapping where LogicMappingId :: EntityField LogicMapping typ LogicMappingLanguageMappingId :: EntityField LogicMapping typ LogicMappingSourceId :: EntityField LogicMapping typ LogicMappingTargetId :: EntityField LogicMapping typ LogicMappingSlug :: EntityField LogicMapping typ LogicMappingName :: EntityField LogicMapping typ LogicMappingIsInclusion :: EntityField LogicMapping typ LogicMappingHasModelExpansion :: EntityField LogicMapping typ LogicMappingIsWeaklyAmalgamable :: EntityField LogicMapping typ
data Unique LogicMapping Source #
data Unique LogicMapping = UniqueLanguageMappingIdLogicMappingSlug (Key LanguageMapping) String

type LogicMappingId = Key LogicMapping Source #

data LogicInclusion Source #

Constructors

LogicInclusion
Fields logicInclusionName :: !String logicInclusionSlug :: !String logicInclusionLanguageId :: !(Key Language) logicInclusionSourceId :: !(Key Logic) logicInclusionTargetId :: !(Maybe (Key Logic))

Instances

Show LogicInclusion Source #
Methods showsPrec :: Int -> LogicInclusion -> ShowS show :: LogicInclusion -> String showList :: [LogicInclusion] -> ShowS
PersistEntity LogicInclusion Source #
Associated Types type PersistEntityBackend LogicInclusion :: * data Key LogicInclusion :: * data EntityField LogicInclusion a :: * data Unique LogicInclusion :: * Methods keyToValues :: Key LogicInclusion -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LogicInclusion) persistIdField :: EntityField LogicInclusion (Key LogicInclusion) entityDef :: Monad m => m LogicInclusion -> EntityDef persistFieldDef :: EntityField LogicInclusion typ -> FieldDef toPersistFields :: LogicInclusion -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LogicInclusion persistUniqueKeys :: LogicInclusion -> [Unique LogicInclusion] persistUniqueToFieldNames :: Unique LogicInclusion -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LogicInclusion -> [PersistValue] fieldLens :: EntityField LogicInclusion field -> forall f. Functor f => (field -> f field) -> Entity LogicInclusion -> f (Entity LogicInclusion)
PersistFieldSql LogicInclusion Source #
Methods sqlType :: Proxy * LogicInclusion -> SqlType
PersistField LogicInclusion Source #
Methods toPersistValue :: LogicInclusion -> PersistValue fromPersistValue :: PersistValue -> Either Text LogicInclusion
ToBackendKey SqlBackend LogicInclusion Source #
Methods toBackendKey :: Key LogicInclusion -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LogicInclusion
(PersistQuery backend, (~) * (PersistEntityBackend LogicInclusion) (BaseBackend backend)) => DeleteCascade LogicInclusion backend Source #
Methods deleteCascade :: MonadIO m => Key LogicInclusion -> ReaderT * backend m ()
Eq (Key LogicInclusion) Source #
Methods (==) :: Key LogicInclusion -> Key LogicInclusion -> Bool (/=) :: Key LogicInclusion -> Key LogicInclusion -> Bool
Ord (Key LogicInclusion) Source #
Methods compare :: Key LogicInclusion -> Key LogicInclusion -> Ordering (<) :: Key LogicInclusion -> Key LogicInclusion -> Bool (<=) :: Key LogicInclusion -> Key LogicInclusion -> Bool (>) :: Key LogicInclusion -> Key LogicInclusion -> Bool (>=) :: Key LogicInclusion -> Key LogicInclusion -> Bool max :: Key LogicInclusion -> Key LogicInclusion -> Key LogicInclusion min :: Key LogicInclusion -> Key LogicInclusion -> Key LogicInclusion
Read (Key LogicInclusion) Source #
Methods readsPrec :: Int -> ReadS (Key LogicInclusion) readList :: ReadS [Key LogicInclusion] readPrec :: ReadPrec (Key LogicInclusion) readListPrec :: ReadPrec [Key LogicInclusion]
Show (Key LogicInclusion) Source #
Methods showsPrec :: Int -> Key LogicInclusion -> ShowS show :: Key LogicInclusion -> String showList :: [Key LogicInclusion] -> ShowS
ToJSON (Key LogicInclusion) Source #
Methods toJSON :: Key LogicInclusion -> Value toEncoding :: Key LogicInclusion -> Encoding toJSONList :: [Key LogicInclusion] -> Value toEncodingList :: [Key LogicInclusion] -> Encoding
ToHttpApiData (Key LogicInclusion) Source #
Methods toUrlPiece :: Key LogicInclusion -> Text toEncodedUrlPiece :: Key LogicInclusion -> Builder toHeader :: Key LogicInclusion -> ByteString toQueryParam :: Key LogicInclusion -> Text
PersistFieldSql (Key LogicInclusion) Source #
Methods sqlType :: Proxy * (Key LogicInclusion) -> SqlType
PersistField (Key LogicInclusion) Source #
Methods toPersistValue :: Key LogicInclusion -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LogicInclusion)
PathPiece (Key LogicInclusion) Source #
Methods fromPathPiece :: Text -> Maybe (Key LogicInclusion) toPathPiece :: Key LogicInclusion -> Text
FromJSON (Key LogicInclusion) Source #
Methods parseJSON :: Value -> Parser (Key LogicInclusion) parseJSONList :: Value -> Parser [Key LogicInclusion]
FromHttpApiData (Key LogicInclusion) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LogicInclusion) parseHeader :: ByteString -> Either Text (Key LogicInclusion) parseQueryParam :: Text -> Either Text (Key LogicInclusion)
data Key LogicInclusion Source #
data Key LogicInclusion = LogicInclusionKey { unLogicInclusionKey :: BackendKey SqlBackend }
type PersistEntityBackend LogicInclusion Source #
type PersistEntityBackend LogicInclusion = SqlBackend
data EntityField LogicInclusion Source #
data EntityField LogicInclusion where LogicInclusionId :: EntityField LogicInclusion typ LogicInclusionName :: EntityField LogicInclusion typ LogicInclusionSlug :: EntityField LogicInclusion typ LogicInclusionLanguageId :: EntityField LogicInclusion typ LogicInclusionSourceId :: EntityField LogicInclusion typ LogicInclusionTargetId :: EntityField LogicInclusion typ
data Unique LogicInclusion Source #
data Unique LogicInclusion = UniqueLogicInclusionName String \| UniqueLogicInclusionSlug String

type LogicInclusionId = Key LogicInclusion Source #

data LogicTranslation Source #

Constructors

LogicTranslation
Fields logicTranslationSlug :: !String logicTranslationName :: !String

Instances

Show LogicTranslation Source #
Methods showsPrec :: Int -> LogicTranslation -> ShowS show :: LogicTranslation -> String showList :: [LogicTranslation] -> ShowS
PersistEntity LogicTranslation Source #
Associated Types type PersistEntityBackend LogicTranslation :: * data Key LogicTranslation :: * data EntityField LogicTranslation a :: * data Unique LogicTranslation :: * Methods keyToValues :: Key LogicTranslation -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LogicTranslation) persistIdField :: EntityField LogicTranslation (Key LogicTranslation) entityDef :: Monad m => m LogicTranslation -> EntityDef persistFieldDef :: EntityField LogicTranslation typ -> FieldDef toPersistFields :: LogicTranslation -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LogicTranslation persistUniqueKeys :: LogicTranslation -> [Unique LogicTranslation] persistUniqueToFieldNames :: Unique LogicTranslation -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LogicTranslation -> [PersistValue] fieldLens :: EntityField LogicTranslation field -> forall f. Functor f => (field -> f field) -> Entity LogicTranslation -> f (Entity LogicTranslation)
PersistFieldSql LogicTranslation Source #
Methods sqlType :: Proxy * LogicTranslation -> SqlType
PersistField LogicTranslation Source #
Methods toPersistValue :: LogicTranslation -> PersistValue fromPersistValue :: PersistValue -> Either Text LogicTranslation
ToBackendKey SqlBackend LogicTranslation Source #
Methods toBackendKey :: Key LogicTranslation -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LogicTranslation
(PersistQuery backend, (~) * (PersistEntityBackend LogicTranslation) (BaseBackend backend)) => DeleteCascade LogicTranslation backend Source #
Methods deleteCascade :: MonadIO m => Key LogicTranslation -> ReaderT * backend m ()
Eq (Key LogicTranslation) Source #
Methods (==) :: Key LogicTranslation -> Key LogicTranslation -> Bool (/=) :: Key LogicTranslation -> Key LogicTranslation -> Bool
Ord (Key LogicTranslation) Source #
Methods compare :: Key LogicTranslation -> Key LogicTranslation -> Ordering (<) :: Key LogicTranslation -> Key LogicTranslation -> Bool (<=) :: Key LogicTranslation -> Key LogicTranslation -> Bool (>) :: Key LogicTranslation -> Key LogicTranslation -> Bool (>=) :: Key LogicTranslation -> Key LogicTranslation -> Bool max :: Key LogicTranslation -> Key LogicTranslation -> Key LogicTranslation min :: Key LogicTranslation -> Key LogicTranslation -> Key LogicTranslation
Read (Key LogicTranslation) Source #
Methods readsPrec :: Int -> ReadS (Key LogicTranslation) readList :: ReadS [Key LogicTranslation] readPrec :: ReadPrec (Key LogicTranslation) readListPrec :: ReadPrec [Key LogicTranslation]
Show (Key LogicTranslation) Source #
Methods showsPrec :: Int -> Key LogicTranslation -> ShowS show :: Key LogicTranslation -> String showList :: [Key LogicTranslation] -> ShowS
ToJSON (Key LogicTranslation) Source #
Methods toJSON :: Key LogicTranslation -> Value toEncoding :: Key LogicTranslation -> Encoding toJSONList :: [Key LogicTranslation] -> Value toEncodingList :: [Key LogicTranslation] -> Encoding
ToHttpApiData (Key LogicTranslation) Source #
Methods toUrlPiece :: Key LogicTranslation -> Text toEncodedUrlPiece :: Key LogicTranslation -> Builder toHeader :: Key LogicTranslation -> ByteString toQueryParam :: Key LogicTranslation -> Text
PersistFieldSql (Key LogicTranslation) Source #
Methods sqlType :: Proxy * (Key LogicTranslation) -> SqlType
PersistField (Key LogicTranslation) Source #
Methods toPersistValue :: Key LogicTranslation -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LogicTranslation)
PathPiece (Key LogicTranslation) Source #
Methods fromPathPiece :: Text -> Maybe (Key LogicTranslation) toPathPiece :: Key LogicTranslation -> Text
FromJSON (Key LogicTranslation) Source #
Methods parseJSON :: Value -> Parser (Key LogicTranslation) parseJSONList :: Value -> Parser [Key LogicTranslation]
FromHttpApiData (Key LogicTranslation) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LogicTranslation) parseHeader :: ByteString -> Either Text (Key LogicTranslation) parseQueryParam :: Text -> Either Text (Key LogicTranslation)
data Key LogicTranslation Source #
data Key LogicTranslation = LogicTranslationKey { unLogicTranslationKey :: BackendKey SqlBackend }
type PersistEntityBackend LogicTranslation Source #
type PersistEntityBackend LogicTranslation = SqlBackend
data EntityField LogicTranslation Source #
data EntityField LogicTranslation where LogicTranslationId :: EntityField LogicTranslation typ LogicTranslationSlug :: EntityField LogicTranslation typ LogicTranslationName :: EntityField LogicTranslation typ
data Unique LogicTranslation Source #
data Unique LogicTranslation = UniqueLogicTranslationSlug String \| UniqueLogicTranslationName String

type LogicTranslationId = Key LogicTranslation Source #

data LogicTranslationStep Source #

Constructors

LogicTranslationStep
Fields logicTranslationStepLogicTranslationId :: !(Key LogicTranslation) logicTranslationStepNumber :: !Int logicTranslationStepLogicMappingId :: !(Maybe (Key LogicMapping)) logicTranslationStepLogicInclusionId :: !(Maybe (Key LogicInclusion))

Instances

Show LogicTranslationStep Source #
Methods showsPrec :: Int -> LogicTranslationStep -> ShowS show :: LogicTranslationStep -> String showList :: [LogicTranslationStep] -> ShowS
PersistEntity LogicTranslationStep Source #
Associated Types type PersistEntityBackend LogicTranslationStep :: * data Key LogicTranslationStep :: * data EntityField LogicTranslationStep a :: * data Unique LogicTranslationStep :: * Methods keyToValues :: Key LogicTranslationStep -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LogicTranslationStep) persistIdField :: EntityField LogicTranslationStep (Key LogicTranslationStep) entityDef :: Monad m => m LogicTranslationStep -> EntityDef persistFieldDef :: EntityField LogicTranslationStep typ -> FieldDef toPersistFields :: LogicTranslationStep -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LogicTranslationStep persistUniqueKeys :: LogicTranslationStep -> [Unique LogicTranslationStep] persistUniqueToFieldNames :: Unique LogicTranslationStep -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LogicTranslationStep -> [PersistValue] fieldLens :: EntityField LogicTranslationStep field -> forall f. Functor f => (field -> f field) -> Entity LogicTranslationStep -> f (Entity LogicTranslationStep)
PersistFieldSql LogicTranslationStep Source #
Methods sqlType :: Proxy * LogicTranslationStep -> SqlType
PersistField LogicTranslationStep Source #
Methods toPersistValue :: LogicTranslationStep -> PersistValue fromPersistValue :: PersistValue -> Either Text LogicTranslationStep
ToBackendKey SqlBackend LogicTranslationStep Source #
Methods toBackendKey :: Key LogicTranslationStep -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LogicTranslationStep
(PersistQuery backend, (~) * (PersistEntityBackend LogicTranslationStep) (BaseBackend backend)) => DeleteCascade LogicTranslationStep backend Source #
Methods deleteCascade :: MonadIO m => Key LogicTranslationStep -> ReaderT * backend m ()
Eq (Key LogicTranslationStep) Source #
Methods (==) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool (/=) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool
Ord (Key LogicTranslationStep) Source #
Methods compare :: Key LogicTranslationStep -> Key LogicTranslationStep -> Ordering (<) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool (<=) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool (>) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool (>=) :: Key LogicTranslationStep -> Key LogicTranslationStep -> Bool max :: Key LogicTranslationStep -> Key LogicTranslationStep -> Key LogicTranslationStep min :: Key LogicTranslationStep -> Key LogicTranslationStep -> Key LogicTranslationStep
Read (Key LogicTranslationStep) Source #
Methods readsPrec :: Int -> ReadS (Key LogicTranslationStep) readList :: ReadS [Key LogicTranslationStep] readPrec :: ReadPrec (Key LogicTranslationStep) readListPrec :: ReadPrec [Key LogicTranslationStep]
Show (Key LogicTranslationStep) Source #
Methods showsPrec :: Int -> Key LogicTranslationStep -> ShowS show :: Key LogicTranslationStep -> String showList :: [Key LogicTranslationStep] -> ShowS
ToJSON (Key LogicTranslationStep) Source #
Methods toJSON :: Key LogicTranslationStep -> Value toEncoding :: Key LogicTranslationStep -> Encoding toJSONList :: [Key LogicTranslationStep] -> Value toEncodingList :: [Key LogicTranslationStep] -> Encoding
ToHttpApiData (Key LogicTranslationStep) Source #
Methods toUrlPiece :: Key LogicTranslationStep -> Text toEncodedUrlPiece :: Key LogicTranslationStep -> Builder toHeader :: Key LogicTranslationStep -> ByteString toQueryParam :: Key LogicTranslationStep -> Text
PersistFieldSql (Key LogicTranslationStep) Source #
Methods sqlType :: Proxy * (Key LogicTranslationStep) -> SqlType
PersistField (Key LogicTranslationStep) Source #
Methods toPersistValue :: Key LogicTranslationStep -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LogicTranslationStep)
PathPiece (Key LogicTranslationStep) Source #
Methods fromPathPiece :: Text -> Maybe (Key LogicTranslationStep) toPathPiece :: Key LogicTranslationStep -> Text
FromJSON (Key LogicTranslationStep) Source #
Methods parseJSON :: Value -> Parser (Key LogicTranslationStep) parseJSONList :: Value -> Parser [Key LogicTranslationStep]
FromHttpApiData (Key LogicTranslationStep) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LogicTranslationStep) parseHeader :: ByteString -> Either Text (Key LogicTranslationStep) parseQueryParam :: Text -> Either Text (Key LogicTranslationStep)
data Key LogicTranslationStep Source #
data Key LogicTranslationStep = LogicTranslationStepKey { unLogicTranslationStepKey :: BackendKey SqlBackend }
type PersistEntityBackend LogicTranslationStep Source #
type PersistEntityBackend LogicTranslationStep = SqlBackend
data EntityField LogicTranslationStep Source #
data EntityField LogicTranslationStep where LogicTranslationStepId :: EntityField LogicTranslationStep typ LogicTranslationStepLogicTranslationId :: EntityField LogicTranslationStep typ LogicTranslationStepNumber :: EntityField LogicTranslationStep typ LogicTranslationStepLogicMappingId :: EntityField LogicTranslationStep typ LogicTranslationStepLogicInclusionId :: EntityField LogicTranslationStep typ
data Unique LogicTranslationStep Source #
data Unique LogicTranslationStep = UniqueLogicTranlationStepListEntry (Key LogicTranslation) Int

type LogicTranslationStepId = Key LogicTranslationStep Source #

data Serialization Source #

Constructors

Serialization
Fields serializationLanguageId :: !(Key Language) serializationSlug :: !String serializationName :: !String

Instances

Show Serialization Source #
Methods showsPrec :: Int -> Serialization -> ShowS show :: Serialization -> String showList :: [Serialization] -> ShowS
PersistEntity Serialization Source #
Associated Types type PersistEntityBackend Serialization :: * data Key Serialization :: * data EntityField Serialization a :: * data Unique Serialization :: * Methods keyToValues :: Key Serialization -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Serialization) persistIdField :: EntityField Serialization (Key Serialization) entityDef :: Monad m => m Serialization -> EntityDef persistFieldDef :: EntityField Serialization typ -> FieldDef toPersistFields :: Serialization -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Serialization persistUniqueKeys :: Serialization -> [Unique Serialization] persistUniqueToFieldNames :: Unique Serialization -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Serialization -> [PersistValue] fieldLens :: EntityField Serialization field -> forall f. Functor f => (field -> f field) -> Entity Serialization -> f (Entity Serialization)
PersistFieldSql Serialization Source #
Methods sqlType :: Proxy * Serialization -> SqlType
PersistField Serialization Source #
Methods toPersistValue :: Serialization -> PersistValue fromPersistValue :: PersistValue -> Either Text Serialization
ToBackendKey SqlBackend Serialization Source #
Methods toBackendKey :: Key Serialization -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Serialization
(PersistQuery backend, (~) * (PersistEntityBackend Serialization) (BaseBackend backend)) => DeleteCascade Serialization backend Source #
Methods deleteCascade :: MonadIO m => Key Serialization -> ReaderT * backend m ()
Eq (Key Serialization) Source #
Methods (==) :: Key Serialization -> Key Serialization -> Bool (/=) :: Key Serialization -> Key Serialization -> Bool
Ord (Key Serialization) Source #
Methods compare :: Key Serialization -> Key Serialization -> Ordering (<) :: Key Serialization -> Key Serialization -> Bool (<=) :: Key Serialization -> Key Serialization -> Bool (>) :: Key Serialization -> Key Serialization -> Bool (>=) :: Key Serialization -> Key Serialization -> Bool max :: Key Serialization -> Key Serialization -> Key Serialization min :: Key Serialization -> Key Serialization -> Key Serialization
Read (Key Serialization) Source #
Methods readsPrec :: Int -> ReadS (Key Serialization) readList :: ReadS [Key Serialization] readPrec :: ReadPrec (Key Serialization) readListPrec :: ReadPrec [Key Serialization]
Show (Key Serialization) Source #
Methods showsPrec :: Int -> Key Serialization -> ShowS show :: Key Serialization -> String showList :: [Key Serialization] -> ShowS
ToJSON (Key Serialization) Source #
Methods toJSON :: Key Serialization -> Value toEncoding :: Key Serialization -> Encoding toJSONList :: [Key Serialization] -> Value toEncodingList :: [Key Serialization] -> Encoding
ToHttpApiData (Key Serialization) Source #
Methods toUrlPiece :: Key Serialization -> Text toEncodedUrlPiece :: Key Serialization -> Builder toHeader :: Key Serialization -> ByteString toQueryParam :: Key Serialization -> Text
PersistFieldSql (Key Serialization) Source #
Methods sqlType :: Proxy * (Key Serialization) -> SqlType
PersistField (Key Serialization) Source #
Methods toPersistValue :: Key Serialization -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Serialization)
PathPiece (Key Serialization) Source #
Methods fromPathPiece :: Text -> Maybe (Key Serialization) toPathPiece :: Key Serialization -> Text
FromJSON (Key Serialization) Source #
Methods parseJSON :: Value -> Parser (Key Serialization) parseJSONList :: Value -> Parser [Key Serialization]
FromHttpApiData (Key Serialization) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Serialization) parseHeader :: ByteString -> Either Text (Key Serialization) parseQueryParam :: Text -> Either Text (Key Serialization)
data Key Serialization Source #
data Key Serialization = SerializationKey { unSerializationKey :: BackendKey SqlBackend }
type PersistEntityBackend Serialization Source #
type PersistEntityBackend Serialization = SqlBackend
data EntityField Serialization Source #
data EntityField Serialization where SerializationId :: EntityField Serialization typ SerializationLanguageId :: EntityField Serialization typ SerializationSlug :: EntityField Serialization typ SerializationName :: EntityField Serialization typ
data Unique Serialization Source #
data Unique Serialization = UniqueSerializationLanguageIdSerializationSlug (Key Language) String

type SerializationId = Key Serialization Source #

data Signature Source #

Constructors

Signature
Fields signatureLanguageId :: !(Key Language) signatureAsJson :: !String

Instances

PersistEntity Signature Source #
Associated Types type PersistEntityBackend Signature :: * data Key Signature :: * data EntityField Signature a :: * data Unique Signature :: * Methods keyToValues :: Key Signature -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Signature) persistIdField :: EntityField Signature (Key Signature) entityDef :: Monad m => m Signature -> EntityDef persistFieldDef :: EntityField Signature typ -> FieldDef toPersistFields :: Signature -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Signature persistUniqueKeys :: Signature -> [Unique Signature] persistUniqueToFieldNames :: Unique Signature -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Signature -> [PersistValue] fieldLens :: EntityField Signature field -> forall f. Functor f => (field -> f field) -> Entity Signature -> f (Entity Signature)
PersistFieldSql Signature Source #
Methods sqlType :: Proxy * Signature -> SqlType
PersistField Signature Source #
Methods toPersistValue :: Signature -> PersistValue fromPersistValue :: PersistValue -> Either Text Signature
ToBackendKey SqlBackend Signature Source #
Methods toBackendKey :: Key Signature -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Signature
(PersistQuery backend, (~) * (PersistEntityBackend Signature) (BaseBackend backend)) => DeleteCascade Signature backend Source #
Methods deleteCascade :: MonadIO m => Key Signature -> ReaderT * backend m ()
Eq (Key Signature) Source #
Methods (==) :: Key Signature -> Key Signature -> Bool (/=) :: Key Signature -> Key Signature -> Bool
Ord (Key Signature) Source #
Methods compare :: Key Signature -> Key Signature -> Ordering (<) :: Key Signature -> Key Signature -> Bool (<=) :: Key Signature -> Key Signature -> Bool (>) :: Key Signature -> Key Signature -> Bool (>=) :: Key Signature -> Key Signature -> Bool max :: Key Signature -> Key Signature -> Key Signature min :: Key Signature -> Key Signature -> Key Signature
Read (Key Signature) Source #
Methods readsPrec :: Int -> ReadS (Key Signature) readList :: ReadS [Key Signature] readPrec :: ReadPrec (Key Signature) readListPrec :: ReadPrec [Key Signature]
Show (Key Signature) Source #
Methods showsPrec :: Int -> Key Signature -> ShowS show :: Key Signature -> String showList :: [Key Signature] -> ShowS
ToJSON (Key Signature) Source #
Methods toJSON :: Key Signature -> Value toEncoding :: Key Signature -> Encoding toJSONList :: [Key Signature] -> Value toEncodingList :: [Key Signature] -> Encoding
ToHttpApiData (Key Signature) Source #
Methods toUrlPiece :: Key Signature -> Text toEncodedUrlPiece :: Key Signature -> Builder toHeader :: Key Signature -> ByteString toQueryParam :: Key Signature -> Text
PersistFieldSql (Key Signature) Source #
Methods sqlType :: Proxy * (Key Signature) -> SqlType
PersistField (Key Signature) Source #
Methods toPersistValue :: Key Signature -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Signature)
PathPiece (Key Signature) Source #
Methods fromPathPiece :: Text -> Maybe (Key Signature) toPathPiece :: Key Signature -> Text
FromJSON (Key Signature) Source #
Methods parseJSON :: Value -> Parser (Key Signature) parseJSONList :: Value -> Parser [Key Signature]
FromHttpApiData (Key Signature) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Signature) parseHeader :: ByteString -> Either Text (Key Signature) parseQueryParam :: Text -> Either Text (Key Signature)
data Key Signature Source #
data Key Signature = SignatureKey { unSignatureKey :: BackendKey SqlBackend }
type PersistEntityBackend Signature Source #
type PersistEntityBackend Signature = SqlBackend
data EntityField Signature Source #
data EntityField Signature where SignatureId :: EntityField Signature typ SignatureLanguageId :: EntityField Signature typ SignatureAsJson :: EntityField Signature typ
data Unique Signature Source #
data Unique Signature

type SignatureId = Key Signature Source #

data SignatureMorphism Source #

Constructors

SignatureMorphism
Fields signatureMorphismLogicMappingId :: !(Key LogicMapping) signatureMorphismAsJson :: !String signatureMorphismSourceId :: !(Key Signature) signatureMorphismTargetId :: !(Key Signature)

Instances

Show SignatureMorphism Source #
Methods showsPrec :: Int -> SignatureMorphism -> ShowS show :: SignatureMorphism -> String showList :: [SignatureMorphism] -> ShowS
PersistEntity SignatureMorphism Source #
Associated Types type PersistEntityBackend SignatureMorphism :: * data Key SignatureMorphism :: * data EntityField SignatureMorphism a :: * data Unique SignatureMorphism :: * Methods keyToValues :: Key SignatureMorphism -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SignatureMorphism) persistIdField :: EntityField SignatureMorphism (Key SignatureMorphism) entityDef :: Monad m => m SignatureMorphism -> EntityDef persistFieldDef :: EntityField SignatureMorphism typ -> FieldDef toPersistFields :: SignatureMorphism -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SignatureMorphism persistUniqueKeys :: SignatureMorphism -> [Unique SignatureMorphism] persistUniqueToFieldNames :: Unique SignatureMorphism -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SignatureMorphism -> [PersistValue] fieldLens :: EntityField SignatureMorphism field -> forall f. Functor f => (field -> f field) -> Entity SignatureMorphism -> f (Entity SignatureMorphism)
PersistFieldSql SignatureMorphism Source #
Methods sqlType :: Proxy * SignatureMorphism -> SqlType
PersistField SignatureMorphism Source #
Methods toPersistValue :: SignatureMorphism -> PersistValue fromPersistValue :: PersistValue -> Either Text SignatureMorphism
ToBackendKey SqlBackend SignatureMorphism Source #
Methods toBackendKey :: Key SignatureMorphism -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key SignatureMorphism
(PersistQuery backend, (~) * (PersistEntityBackend SignatureMorphism) (BaseBackend backend)) => DeleteCascade SignatureMorphism backend Source #
Methods deleteCascade :: MonadIO m => Key SignatureMorphism -> ReaderT * backend m ()
Eq (Key SignatureMorphism) Source #
Methods (==) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool (/=) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool
Ord (Key SignatureMorphism) Source #
Methods compare :: Key SignatureMorphism -> Key SignatureMorphism -> Ordering (<) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool (<=) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool (>) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool (>=) :: Key SignatureMorphism -> Key SignatureMorphism -> Bool max :: Key SignatureMorphism -> Key SignatureMorphism -> Key SignatureMorphism min :: Key SignatureMorphism -> Key SignatureMorphism -> Key SignatureMorphism
Read (Key SignatureMorphism) Source #
Methods readsPrec :: Int -> ReadS (Key SignatureMorphism) readList :: ReadS [Key SignatureMorphism] readPrec :: ReadPrec (Key SignatureMorphism) readListPrec :: ReadPrec [Key SignatureMorphism]
Show (Key SignatureMorphism) Source #
Methods showsPrec :: Int -> Key SignatureMorphism -> ShowS show :: Key SignatureMorphism -> String showList :: [Key SignatureMorphism] -> ShowS
ToJSON (Key SignatureMorphism) Source #
Methods toJSON :: Key SignatureMorphism -> Value toEncoding :: Key SignatureMorphism -> Encoding toJSONList :: [Key SignatureMorphism] -> Value toEncodingList :: [Key SignatureMorphism] -> Encoding
ToHttpApiData (Key SignatureMorphism) Source #
Methods toUrlPiece :: Key SignatureMorphism -> Text toEncodedUrlPiece :: Key SignatureMorphism -> Builder toHeader :: Key SignatureMorphism -> ByteString toQueryParam :: Key SignatureMorphism -> Text
PersistFieldSql (Key SignatureMorphism) Source #
Methods sqlType :: Proxy * (Key SignatureMorphism) -> SqlType
PersistField (Key SignatureMorphism) Source #
Methods toPersistValue :: Key SignatureMorphism -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SignatureMorphism)
PathPiece (Key SignatureMorphism) Source #
Methods fromPathPiece :: Text -> Maybe (Key SignatureMorphism) toPathPiece :: Key SignatureMorphism -> Text
FromJSON (Key SignatureMorphism) Source #
Methods parseJSON :: Value -> Parser (Key SignatureMorphism) parseJSONList :: Value -> Parser [Key SignatureMorphism]
FromHttpApiData (Key SignatureMorphism) Source #
Methods parseUrlPiece :: Text -> Either Text (Key SignatureMorphism) parseHeader :: ByteString -> Either Text (Key SignatureMorphism) parseQueryParam :: Text -> Either Text (Key SignatureMorphism)
data Key SignatureMorphism Source #
data Key SignatureMorphism = SignatureMorphismKey { unSignatureMorphismKey :: BackendKey SqlBackend }
type PersistEntityBackend SignatureMorphism Source #
type PersistEntityBackend SignatureMorphism = SqlBackend
data EntityField SignatureMorphism Source #
data EntityField SignatureMorphism where SignatureMorphismId :: EntityField SignatureMorphism typ SignatureMorphismLogicMappingId :: EntityField SignatureMorphism typ SignatureMorphismAsJson :: EntityField SignatureMorphism typ SignatureMorphismSourceId :: EntityField SignatureMorphism typ SignatureMorphismTargetId :: EntityField SignatureMorphism typ
data Unique SignatureMorphism Source #
data Unique SignatureMorphism

type SignatureMorphismId = Key SignatureMorphism Source #

data ConservativityStatus Source #

Constructors

ConservativityStatus
Fields conservativityStatusRequired :: !String conservativityStatusProved :: !String

Instances

Show ConservativityStatus Source #
Methods showsPrec :: Int -> ConservativityStatus -> ShowS show :: ConservativityStatus -> String showList :: [ConservativityStatus] -> ShowS
PersistEntity ConservativityStatus Source #
Associated Types type PersistEntityBackend ConservativityStatus :: * data Key ConservativityStatus :: * data EntityField ConservativityStatus a :: * data Unique ConservativityStatus :: * Methods keyToValues :: Key ConservativityStatus -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key ConservativityStatus) persistIdField :: EntityField ConservativityStatus (Key ConservativityStatus) entityDef :: Monad m => m ConservativityStatus -> EntityDef persistFieldDef :: EntityField ConservativityStatus typ -> FieldDef toPersistFields :: ConservativityStatus -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text ConservativityStatus persistUniqueKeys :: ConservativityStatus -> [Unique ConservativityStatus] persistUniqueToFieldNames :: Unique ConservativityStatus -> [(HaskellName, DBName)] persistUniqueToValues :: Unique ConservativityStatus -> [PersistValue] fieldLens :: EntityField ConservativityStatus field -> forall f. Functor f => (field -> f field) -> Entity ConservativityStatus -> f (Entity ConservativityStatus)
PersistFieldSql ConservativityStatus Source #
Methods sqlType :: Proxy * ConservativityStatus -> SqlType
PersistField ConservativityStatus Source #
Methods toPersistValue :: ConservativityStatus -> PersistValue fromPersistValue :: PersistValue -> Either Text ConservativityStatus
ToBackendKey SqlBackend ConservativityStatus Source #
Methods toBackendKey :: Key ConservativityStatus -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key ConservativityStatus
(PersistQuery backend, (~) * (PersistEntityBackend ConservativityStatus) (BaseBackend backend)) => DeleteCascade ConservativityStatus backend Source #
Methods deleteCascade :: MonadIO m => Key ConservativityStatus -> ReaderT * backend m ()
Eq (Key ConservativityStatus) Source #
Methods (==) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool (/=) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool
Ord (Key ConservativityStatus) Source #
Methods compare :: Key ConservativityStatus -> Key ConservativityStatus -> Ordering (<) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool (<=) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool (>) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool (>=) :: Key ConservativityStatus -> Key ConservativityStatus -> Bool max :: Key ConservativityStatus -> Key ConservativityStatus -> Key ConservativityStatus min :: Key ConservativityStatus -> Key ConservativityStatus -> Key ConservativityStatus
Read (Key ConservativityStatus) Source #
Methods readsPrec :: Int -> ReadS (Key ConservativityStatus) readList :: ReadS [Key ConservativityStatus] readPrec :: ReadPrec (Key ConservativityStatus) readListPrec :: ReadPrec [Key ConservativityStatus]
Show (Key ConservativityStatus) Source #
Methods showsPrec :: Int -> Key ConservativityStatus -> ShowS show :: Key ConservativityStatus -> String showList :: [Key ConservativityStatus] -> ShowS
ToJSON (Key ConservativityStatus) Source #
Methods toJSON :: Key ConservativityStatus -> Value toEncoding :: Key ConservativityStatus -> Encoding toJSONList :: [Key ConservativityStatus] -> Value toEncodingList :: [Key ConservativityStatus] -> Encoding
ToHttpApiData (Key ConservativityStatus) Source #
Methods toUrlPiece :: Key ConservativityStatus -> Text toEncodedUrlPiece :: Key ConservativityStatus -> Builder toHeader :: Key ConservativityStatus -> ByteString toQueryParam :: Key ConservativityStatus -> Text
PersistFieldSql (Key ConservativityStatus) Source #
Methods sqlType :: Proxy * (Key ConservativityStatus) -> SqlType
PersistField (Key ConservativityStatus) Source #
Methods toPersistValue :: Key ConservativityStatus -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key ConservativityStatus)
PathPiece (Key ConservativityStatus) Source #
Methods fromPathPiece :: Text -> Maybe (Key ConservativityStatus) toPathPiece :: Key ConservativityStatus -> Text
FromJSON (Key ConservativityStatus) Source #
Methods parseJSON :: Value -> Parser (Key ConservativityStatus) parseJSONList :: Value -> Parser [Key ConservativityStatus]
FromHttpApiData (Key ConservativityStatus) Source #
Methods parseUrlPiece :: Text -> Either Text (Key ConservativityStatus) parseHeader :: ByteString -> Either Text (Key ConservativityStatus) parseQueryParam :: Text -> Either Text (Key ConservativityStatus)
data Key ConservativityStatus Source #
data Key ConservativityStatus = ConservativityStatusKey { unConservativityStatusKey :: BackendKey SqlBackend }
type PersistEntityBackend ConservativityStatus Source #
type PersistEntityBackend ConservativityStatus = SqlBackend
data EntityField ConservativityStatus Source #
data EntityField ConservativityStatus where ConservativityStatusId :: EntityField ConservativityStatus typ ConservativityStatusRequired :: EntityField ConservativityStatus typ ConservativityStatusProved :: EntityField ConservativityStatus typ
data Unique ConservativityStatus Source #
data Unique ConservativityStatus

type ConservativityStatusId = Key ConservativityStatus Source #

data OrganizationalUnit Source #

Constructors

OrganizationalUnit
Fields organizationalUnitKind :: !String organizationalUnitSlug :: !String

Instances

Show OrganizationalUnit Source #
Methods showsPrec :: Int -> OrganizationalUnit -> ShowS show :: OrganizationalUnit -> String showList :: [OrganizationalUnit] -> ShowS
PersistEntity OrganizationalUnit Source #
Associated Types type PersistEntityBackend OrganizationalUnit :: * data Key OrganizationalUnit :: * data EntityField OrganizationalUnit a :: * data Unique OrganizationalUnit :: * Methods keyToValues :: Key OrganizationalUnit -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key OrganizationalUnit) persistIdField :: EntityField OrganizationalUnit (Key OrganizationalUnit) entityDef :: Monad m => m OrganizationalUnit -> EntityDef persistFieldDef :: EntityField OrganizationalUnit typ -> FieldDef toPersistFields :: OrganizationalUnit -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text OrganizationalUnit persistUniqueKeys :: OrganizationalUnit -> [Unique OrganizationalUnit] persistUniqueToFieldNames :: Unique OrganizationalUnit -> [(HaskellName, DBName)] persistUniqueToValues :: Unique OrganizationalUnit -> [PersistValue] fieldLens :: EntityField OrganizationalUnit field -> forall f. Functor f => (field -> f field) -> Entity OrganizationalUnit -> f (Entity OrganizationalUnit)
PersistFieldSql OrganizationalUnit Source #
Methods sqlType :: Proxy * OrganizationalUnit -> SqlType
PersistField OrganizationalUnit Source #
Methods toPersistValue :: OrganizationalUnit -> PersistValue fromPersistValue :: PersistValue -> Either Text OrganizationalUnit
ToBackendKey SqlBackend OrganizationalUnit Source #
Methods toBackendKey :: Key OrganizationalUnit -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key OrganizationalUnit
(PersistQuery backend, (~) * (PersistEntityBackend OrganizationalUnit) (BaseBackend backend)) => DeleteCascade OrganizationalUnit backend Source #
Methods deleteCascade :: MonadIO m => Key OrganizationalUnit -> ReaderT * backend m ()
Eq (Key OrganizationalUnit) Source #
Methods (==) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool (/=) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool
Ord (Key OrganizationalUnit) Source #
Methods compare :: Key OrganizationalUnit -> Key OrganizationalUnit -> Ordering (<) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool (<=) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool (>) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool (>=) :: Key OrganizationalUnit -> Key OrganizationalUnit -> Bool max :: Key OrganizationalUnit -> Key OrganizationalUnit -> Key OrganizationalUnit min :: Key OrganizationalUnit -> Key OrganizationalUnit -> Key OrganizationalUnit
Read (Key OrganizationalUnit) Source #
Methods readsPrec :: Int -> ReadS (Key OrganizationalUnit) readList :: ReadS [Key OrganizationalUnit] readPrec :: ReadPrec (Key OrganizationalUnit) readListPrec :: ReadPrec [Key OrganizationalUnit]
Show (Key OrganizationalUnit) Source #
Methods showsPrec :: Int -> Key OrganizationalUnit -> ShowS show :: Key OrganizationalUnit -> String showList :: [Key OrganizationalUnit] -> ShowS
ToJSON (Key OrganizationalUnit) Source #
Methods toJSON :: Key OrganizationalUnit -> Value toEncoding :: Key OrganizationalUnit -> Encoding toJSONList :: [Key OrganizationalUnit] -> Value toEncodingList :: [Key OrganizationalUnit] -> Encoding
ToHttpApiData (Key OrganizationalUnit) Source #
Methods toUrlPiece :: Key OrganizationalUnit -> Text toEncodedUrlPiece :: Key OrganizationalUnit -> Builder toHeader :: Key OrganizationalUnit -> ByteString toQueryParam :: Key OrganizationalUnit -> Text
PersistFieldSql (Key OrganizationalUnit) Source #
Methods sqlType :: Proxy * (Key OrganizationalUnit) -> SqlType
PersistField (Key OrganizationalUnit) Source #
Methods toPersistValue :: Key OrganizationalUnit -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key OrganizationalUnit)
PathPiece (Key OrganizationalUnit) Source #
Methods fromPathPiece :: Text -> Maybe (Key OrganizationalUnit) toPathPiece :: Key OrganizationalUnit -> Text
FromJSON (Key OrganizationalUnit) Source #
Methods parseJSON :: Value -> Parser (Key OrganizationalUnit) parseJSONList :: Value -> Parser [Key OrganizationalUnit]
FromHttpApiData (Key OrganizationalUnit) Source #
Methods parseUrlPiece :: Text -> Either Text (Key OrganizationalUnit) parseHeader :: ByteString -> Either Text (Key OrganizationalUnit) parseQueryParam :: Text -> Either Text (Key OrganizationalUnit)
data Key OrganizationalUnit Source #
data Key OrganizationalUnit = OrganizationalUnitKey { unOrganizationalUnitKey :: BackendKey SqlBackend }
type PersistEntityBackend OrganizationalUnit Source #
type PersistEntityBackend OrganizationalUnit = SqlBackend
data EntityField OrganizationalUnit Source #
data EntityField OrganizationalUnit where OrganizationalUnitId :: EntityField OrganizationalUnit typ OrganizationalUnitKind :: EntityField OrganizationalUnit typ OrganizationalUnitSlug :: EntityField OrganizationalUnit typ
data Unique OrganizationalUnit Source #
data Unique OrganizationalUnit = UniqueOrganizationalUnitSlug String

type OrganizationalUnitId = Key OrganizationalUnit Source #

data Repository Source #

Constructors

Repository
Fields repositoryOwnerId :: !(Key OrganizationalUnit)

Instances

Show Repository Source #
Methods showsPrec :: Int -> Repository -> ShowS show :: Repository -> String showList :: [Repository] -> ShowS
PersistEntity Repository Source #
Associated Types type PersistEntityBackend Repository :: * data Key Repository :: * data EntityField Repository a :: * data Unique Repository :: * Methods keyToValues :: Key Repository -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Repository) persistIdField :: EntityField Repository (Key Repository) entityDef :: Monad m => m Repository -> EntityDef persistFieldDef :: EntityField Repository typ -> FieldDef toPersistFields :: Repository -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Repository persistUniqueKeys :: Repository -> [Unique Repository] persistUniqueToFieldNames :: Unique Repository -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Repository -> [PersistValue] fieldLens :: EntityField Repository field -> forall f. Functor f => (field -> f field) -> Entity Repository -> f (Entity Repository)
PersistFieldSql Repository Source #
Methods sqlType :: Proxy * Repository -> SqlType
PersistField Repository Source #
Methods toPersistValue :: Repository -> PersistValue fromPersistValue :: PersistValue -> Either Text Repository
ToBackendKey SqlBackend Repository Source #
Methods toBackendKey :: Key Repository -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Repository
(PersistQuery backend, (~) * (PersistEntityBackend Repository) (BaseBackend backend)) => DeleteCascade Repository backend Source #
Methods deleteCascade :: MonadIO m => Key Repository -> ReaderT * backend m ()
Eq (Key Repository) Source #
Methods (==) :: Key Repository -> Key Repository -> Bool (/=) :: Key Repository -> Key Repository -> Bool
Ord (Key Repository) Source #
Methods compare :: Key Repository -> Key Repository -> Ordering (<) :: Key Repository -> Key Repository -> Bool (<=) :: Key Repository -> Key Repository -> Bool (>) :: Key Repository -> Key Repository -> Bool (>=) :: Key Repository -> Key Repository -> Bool max :: Key Repository -> Key Repository -> Key Repository min :: Key Repository -> Key Repository -> Key Repository
Read (Key Repository) Source #
Methods readsPrec :: Int -> ReadS (Key Repository) readList :: ReadS [Key Repository] readPrec :: ReadPrec (Key Repository) readListPrec :: ReadPrec [Key Repository]
Show (Key Repository) Source #
Methods showsPrec :: Int -> Key Repository -> ShowS show :: Key Repository -> String showList :: [Key Repository] -> ShowS
ToJSON (Key Repository) Source #
Methods toJSON :: Key Repository -> Value toEncoding :: Key Repository -> Encoding toJSONList :: [Key Repository] -> Value toEncodingList :: [Key Repository] -> Encoding
ToHttpApiData (Key Repository) Source #
Methods toUrlPiece :: Key Repository -> Text toEncodedUrlPiece :: Key Repository -> Builder toHeader :: Key Repository -> ByteString toQueryParam :: Key Repository -> Text
PersistFieldSql (Key Repository) Source #
Methods sqlType :: Proxy * (Key Repository) -> SqlType
PersistField (Key Repository) Source #
Methods toPersistValue :: Key Repository -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Repository)
PathPiece (Key Repository) Source #
Methods fromPathPiece :: Text -> Maybe (Key Repository) toPathPiece :: Key Repository -> Text
FromJSON (Key Repository) Source #
Methods parseJSON :: Value -> Parser (Key Repository) parseJSONList :: Value -> Parser [Key Repository]
FromHttpApiData (Key Repository) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Repository) parseHeader :: ByteString -> Either Text (Key Repository) parseQueryParam :: Text -> Either Text (Key Repository)
data Key Repository Source #
data Key Repository = RepositoryKey { unRepositoryKey :: BackendKey SqlBackend }
type PersistEntityBackend Repository Source #
type PersistEntityBackend Repository = SqlBackend
data EntityField Repository Source #
data EntityField Repository where RepositoryId :: EntityField Repository typ RepositoryOwnerId :: EntityField Repository typ
data Unique Repository Source #
data Unique Repository

type RepositoryId = Key Repository Source #

data Action Source #

Constructors

Action
Fields actionEvaluationState :: !EvaluationStateType actionMessage :: !(Maybe Text)

Instances

Show Action Source #
Methods showsPrec :: Int -> Action -> ShowS show :: Action -> String showList :: [Action] -> ShowS
PersistEntity Action Source #
Associated Types type PersistEntityBackend Action :: * data Key Action :: * data EntityField Action a :: * data Unique Action :: * Methods keyToValues :: Key Action -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Action) persistIdField :: EntityField Action (Key Action) entityDef :: Monad m => m Action -> EntityDef persistFieldDef :: EntityField Action typ -> FieldDef toPersistFields :: Action -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Action persistUniqueKeys :: Action -> [Unique Action] persistUniqueToFieldNames :: Unique Action -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Action -> [PersistValue] fieldLens :: EntityField Action field -> forall f. Functor f => (field -> f field) -> Entity Action -> f (Entity Action)
PersistFieldSql Action Source #
Methods sqlType :: Proxy * Action -> SqlType
PersistField Action Source #
Methods toPersistValue :: Action -> PersistValue fromPersistValue :: PersistValue -> Either Text Action
ToBackendKey SqlBackend Action Source #
Methods toBackendKey :: Key Action -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Action
(PersistQuery backend, (~) * (PersistEntityBackend Action) (BaseBackend backend)) => DeleteCascade Action backend Source #
Methods deleteCascade :: MonadIO m => Key Action -> ReaderT * backend m ()
Eq (Key Action) Source #
Methods (==) :: Key Action -> Key Action -> Bool (/=) :: Key Action -> Key Action -> Bool
Ord (Key Action) Source #
Methods compare :: Key Action -> Key Action -> Ordering (<) :: Key Action -> Key Action -> Bool (<=) :: Key Action -> Key Action -> Bool (>) :: Key Action -> Key Action -> Bool (>=) :: Key Action -> Key Action -> Bool max :: Key Action -> Key Action -> Key Action min :: Key Action -> Key Action -> Key Action
Read (Key Action) Source #
Methods readsPrec :: Int -> ReadS (Key Action) readList :: ReadS [Key Action] readPrec :: ReadPrec (Key Action) readListPrec :: ReadPrec [Key Action]
Show (Key Action) Source #
Methods showsPrec :: Int -> Key Action -> ShowS show :: Key Action -> String showList :: [Key Action] -> ShowS
ToJSON (Key Action) Source #
Methods toJSON :: Key Action -> Value toEncoding :: Key Action -> Encoding toJSONList :: [Key Action] -> Value toEncodingList :: [Key Action] -> Encoding
ToHttpApiData (Key Action) Source #
Methods toUrlPiece :: Key Action -> Text toEncodedUrlPiece :: Key Action -> Builder toHeader :: Key Action -> ByteString toQueryParam :: Key Action -> Text
PersistFieldSql (Key Action) Source #
Methods sqlType :: Proxy * (Key Action) -> SqlType
PersistField (Key Action) Source #
Methods toPersistValue :: Key Action -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Action)
PathPiece (Key Action) Source #
Methods fromPathPiece :: Text -> Maybe (Key Action) toPathPiece :: Key Action -> Text
FromJSON (Key Action) Source #
Methods parseJSON :: Value -> Parser (Key Action) parseJSONList :: Value -> Parser [Key Action]
FromHttpApiData (Key Action) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Action) parseHeader :: ByteString -> Either Text (Key Action) parseQueryParam :: Text -> Either Text (Key Action)
data Key Action Source #
data Key Action = ActionKey { unActionKey :: BackendKey SqlBackend }
type PersistEntityBackend Action Source #
type PersistEntityBackend Action = SqlBackend
data EntityField Action Source #
data EntityField Action where ActionId :: EntityField Action typ ActionEvaluationState :: EntityField Action typ ActionMessage :: EntityField Action typ
data Unique Action Source #
data Unique Action

type ActionId = Key Action Source #

data FileVersion Source #

Constructors

FileVersion
Fields fileVersionActionId :: !(Key Action) fileVersionRepositoryId :: !(Key Repository) fileVersionPath :: !String fileVersionCommitSha :: !String

Instances

Show FileVersion Source #
Methods showsPrec :: Int -> FileVersion -> ShowS show :: FileVersion -> String showList :: [FileVersion] -> ShowS
PersistEntity FileVersion Source #
Associated Types type PersistEntityBackend FileVersion :: * data Key FileVersion :: * data EntityField FileVersion a :: * data Unique FileVersion :: * Methods keyToValues :: Key FileVersion -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key FileVersion) persistIdField :: EntityField FileVersion (Key FileVersion) entityDef :: Monad m => m FileVersion -> EntityDef persistFieldDef :: EntityField FileVersion typ -> FieldDef toPersistFields :: FileVersion -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text FileVersion persistUniqueKeys :: FileVersion -> [Unique FileVersion] persistUniqueToFieldNames :: Unique FileVersion -> [(HaskellName, DBName)] persistUniqueToValues :: Unique FileVersion -> [PersistValue] fieldLens :: EntityField FileVersion field -> forall f. Functor f => (field -> f field) -> Entity FileVersion -> f (Entity FileVersion)
PersistFieldSql FileVersion Source #
Methods sqlType :: Proxy * FileVersion -> SqlType
PersistField FileVersion Source #
Methods toPersistValue :: FileVersion -> PersistValue fromPersistValue :: PersistValue -> Either Text FileVersion
ToBackendKey SqlBackend FileVersion Source #
Methods toBackendKey :: Key FileVersion -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key FileVersion
(PersistQuery backend, (~) * (PersistEntityBackend FileVersion) (BaseBackend backend)) => DeleteCascade FileVersion backend Source #
Methods deleteCascade :: MonadIO m => Key FileVersion -> ReaderT * backend m ()
Eq (Key FileVersion) Source #
Methods (==) :: Key FileVersion -> Key FileVersion -> Bool (/=) :: Key FileVersion -> Key FileVersion -> Bool
Ord (Key FileVersion) Source #
Methods compare :: Key FileVersion -> Key FileVersion -> Ordering (<) :: Key FileVersion -> Key FileVersion -> Bool (<=) :: Key FileVersion -> Key FileVersion -> Bool (>) :: Key FileVersion -> Key FileVersion -> Bool (>=) :: Key FileVersion -> Key FileVersion -> Bool max :: Key FileVersion -> Key FileVersion -> Key FileVersion min :: Key FileVersion -> Key FileVersion -> Key FileVersion
Read (Key FileVersion) Source #
Methods readsPrec :: Int -> ReadS (Key FileVersion) readList :: ReadS [Key FileVersion] readPrec :: ReadPrec (Key FileVersion) readListPrec :: ReadPrec [Key FileVersion]
Show (Key FileVersion) Source #
Methods showsPrec :: Int -> Key FileVersion -> ShowS show :: Key FileVersion -> String showList :: [Key FileVersion] -> ShowS
ToJSON (Key FileVersion) Source #
Methods toJSON :: Key FileVersion -> Value toEncoding :: Key FileVersion -> Encoding toJSONList :: [Key FileVersion] -> Value toEncodingList :: [Key FileVersion] -> Encoding
ToHttpApiData (Key FileVersion) Source #
Methods toUrlPiece :: Key FileVersion -> Text toEncodedUrlPiece :: Key FileVersion -> Builder toHeader :: Key FileVersion -> ByteString toQueryParam :: Key FileVersion -> Text
PersistFieldSql (Key FileVersion) Source #
Methods sqlType :: Proxy * (Key FileVersion) -> SqlType
PersistField (Key FileVersion) Source #
Methods toPersistValue :: Key FileVersion -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key FileVersion)
PathPiece (Key FileVersion) Source #
Methods fromPathPiece :: Text -> Maybe (Key FileVersion) toPathPiece :: Key FileVersion -> Text
FromJSON (Key FileVersion) Source #
Methods parseJSON :: Value -> Parser (Key FileVersion) parseJSONList :: Value -> Parser [Key FileVersion]
FromHttpApiData (Key FileVersion) Source #
Methods parseUrlPiece :: Text -> Either Text (Key FileVersion) parseHeader :: ByteString -> Either Text (Key FileVersion) parseQueryParam :: Text -> Either Text (Key FileVersion)
data Key FileVersion Source #
data Key FileVersion = FileVersionKey { unFileVersionKey :: BackendKey SqlBackend }
type PersistEntityBackend FileVersion Source #
type PersistEntityBackend FileVersion = SqlBackend
data EntityField FileVersion Source #
data EntityField FileVersion where FileVersionId :: EntityField FileVersion typ FileVersionActionId :: EntityField FileVersion typ FileVersionRepositoryId :: EntityField FileVersion typ FileVersionPath :: EntityField FileVersion typ FileVersionCommitSha :: EntityField FileVersion typ
data Unique FileVersion Source #
data Unique FileVersion

type FileVersionId = Key FileVersion Source #

data FileVersionParent Source #

Constructors

FileVersionParent
Fields fileVersionParentLastChangedFileVersionId :: !(Key FileVersion) fileVersionParentQueriedSha :: !String

Instances

Show FileVersionParent Source #
Methods showsPrec :: Int -> FileVersionParent -> ShowS show :: FileVersionParent -> String showList :: [FileVersionParent] -> ShowS
PersistEntity FileVersionParent Source #
Associated Types type PersistEntityBackend FileVersionParent :: * data Key FileVersionParent :: * data EntityField FileVersionParent a :: * data Unique FileVersionParent :: * Methods keyToValues :: Key FileVersionParent -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key FileVersionParent) persistIdField :: EntityField FileVersionParent (Key FileVersionParent) entityDef :: Monad m => m FileVersionParent -> EntityDef persistFieldDef :: EntityField FileVersionParent typ -> FieldDef toPersistFields :: FileVersionParent -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text FileVersionParent persistUniqueKeys :: FileVersionParent -> [Unique FileVersionParent] persistUniqueToFieldNames :: Unique FileVersionParent -> [(HaskellName, DBName)] persistUniqueToValues :: Unique FileVersionParent -> [PersistValue] fieldLens :: EntityField FileVersionParent field -> forall f. Functor f => (field -> f field) -> Entity FileVersionParent -> f (Entity FileVersionParent)
PersistFieldSql FileVersionParent Source #
Methods sqlType :: Proxy * FileVersionParent -> SqlType
PersistField FileVersionParent Source #
Methods toPersistValue :: FileVersionParent -> PersistValue fromPersistValue :: PersistValue -> Either Text FileVersionParent
(PersistQuery backend, (~) * (PersistEntityBackend FileVersionParent) (BaseBackend backend)) => DeleteCascade FileVersionParent backend Source #
Methods deleteCascade :: MonadIO m => Key FileVersionParent -> ReaderT * backend m ()
Eq (Key FileVersionParent) Source #
Methods (==) :: Key FileVersionParent -> Key FileVersionParent -> Bool (/=) :: Key FileVersionParent -> Key FileVersionParent -> Bool
Ord (Key FileVersionParent) Source #
Methods compare :: Key FileVersionParent -> Key FileVersionParent -> Ordering (<) :: Key FileVersionParent -> Key FileVersionParent -> Bool (<=) :: Key FileVersionParent -> Key FileVersionParent -> Bool (>) :: Key FileVersionParent -> Key FileVersionParent -> Bool (>=) :: Key FileVersionParent -> Key FileVersionParent -> Bool max :: Key FileVersionParent -> Key FileVersionParent -> Key FileVersionParent min :: Key FileVersionParent -> Key FileVersionParent -> Key FileVersionParent
Read (Key FileVersionParent) Source #
Methods readsPrec :: Int -> ReadS (Key FileVersionParent) readList :: ReadS [Key FileVersionParent] readPrec :: ReadPrec (Key FileVersionParent) readListPrec :: ReadPrec [Key FileVersionParent]
Show (Key FileVersionParent) Source #
Methods showsPrec :: Int -> Key FileVersionParent -> ShowS show :: Key FileVersionParent -> String showList :: [Key FileVersionParent] -> ShowS
Generic (Key FileVersionParent) Source #
Associated Types type Rep (Key FileVersionParent) :: * -> * Methods from :: Key FileVersionParent -> Rep (Key FileVersionParent) x to :: Rep (Key FileVersionParent) x -> Key FileVersionParent
ToJSON (Key FileVersionParent) Source #
Methods toJSON :: Key FileVersionParent -> Value toEncoding :: Key FileVersionParent -> Encoding toJSONList :: [Key FileVersionParent] -> Value toEncodingList :: [Key FileVersionParent] -> Encoding
PersistFieldSql (Key FileVersionParent) Source #
Methods sqlType :: Proxy * (Key FileVersionParent) -> SqlType
PersistField (Key FileVersionParent) Source #
Methods toPersistValue :: Key FileVersionParent -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key FileVersionParent)
FromJSON (Key FileVersionParent) Source #
Methods parseJSON :: Value -> Parser (Key FileVersionParent) parseJSONList :: Value -> Parser [Key FileVersionParent]
data Key FileVersionParent Source #
data Key FileVersionParent = FileVersionParentKey { fileVersionParentKeylastChangedFileVersionId :: FileVersionId fileVersionParentKeyqueriedSha :: String }
type PersistEntityBackend FileVersionParent Source #
type PersistEntityBackend FileVersionParent = SqlBackend
data EntityField FileVersionParent Source #
data EntityField FileVersionParent where FileVersionParentId :: EntityField FileVersionParent typ FileVersionParentLastChangedFileVersionId :: EntityField FileVersionParent typ FileVersionParentQueriedSha :: EntityField FileVersionParent typ
data Unique FileVersionParent Source #
data Unique FileVersionParent
type Rep (Key FileVersionParent) Source #
type Rep (Key FileVersionParent) = D1 (MetaData "Key" "Persistence.Schema" "main" False) (C1 (MetaCons "FileVersionParentKey" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "fileVersionParentKeylastChangedFileVersionId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileVersionId)) (S1 (MetaSel (Just Symbol "fileVersionParentKeyqueriedSha") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

type FileVersionParentId = Key FileVersionParent Source #

data LocIdBase Source #

Constructors

LocIdBase
Fields locIdBaseFileVersionId :: !(Key FileVersion) locIdBaseKind :: !LocIdBaseKindType locIdBaseLocId :: !String

Instances

Show LocIdBase Source #
Methods showsPrec :: Int -> LocIdBase -> ShowS show :: LocIdBase -> String showList :: [LocIdBase] -> ShowS
PersistEntity LocIdBase Source #
Associated Types type PersistEntityBackend LocIdBase :: * data Key LocIdBase :: * data EntityField LocIdBase a :: * data Unique LocIdBase :: * Methods keyToValues :: Key LocIdBase -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key LocIdBase) persistIdField :: EntityField LocIdBase (Key LocIdBase) entityDef :: Monad m => m LocIdBase -> EntityDef persistFieldDef :: EntityField LocIdBase typ -> FieldDef toPersistFields :: LocIdBase -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text LocIdBase persistUniqueKeys :: LocIdBase -> [Unique LocIdBase] persistUniqueToFieldNames :: Unique LocIdBase -> [(HaskellName, DBName)] persistUniqueToValues :: Unique LocIdBase -> [PersistValue] fieldLens :: EntityField LocIdBase field -> forall f. Functor f => (field -> f field) -> Entity LocIdBase -> f (Entity LocIdBase)
PersistFieldSql LocIdBase Source #
Methods sqlType :: Proxy * LocIdBase -> SqlType
PersistField LocIdBase Source #
Methods toPersistValue :: LocIdBase -> PersistValue fromPersistValue :: PersistValue -> Either Text LocIdBase
ToBackendKey SqlBackend LocIdBase Source #
Methods toBackendKey :: Key LocIdBase -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key LocIdBase
(PersistQuery backend, (~) * (PersistEntityBackend LocIdBase) (BaseBackend backend)) => DeleteCascade LocIdBase backend Source #
Methods deleteCascade :: MonadIO m => Key LocIdBase -> ReaderT * backend m ()
Eq (Key LocIdBase) Source #
Methods (==) :: Key LocIdBase -> Key LocIdBase -> Bool (/=) :: Key LocIdBase -> Key LocIdBase -> Bool
Ord (Key LocIdBase) Source #
Methods compare :: Key LocIdBase -> Key LocIdBase -> Ordering (<) :: Key LocIdBase -> Key LocIdBase -> Bool (<=) :: Key LocIdBase -> Key LocIdBase -> Bool (>) :: Key LocIdBase -> Key LocIdBase -> Bool (>=) :: Key LocIdBase -> Key LocIdBase -> Bool max :: Key LocIdBase -> Key LocIdBase -> Key LocIdBase min :: Key LocIdBase -> Key LocIdBase -> Key LocIdBase
Read (Key LocIdBase) Source #
Methods readsPrec :: Int -> ReadS (Key LocIdBase) readList :: ReadS [Key LocIdBase] readPrec :: ReadPrec (Key LocIdBase) readListPrec :: ReadPrec [Key LocIdBase]
Show (Key LocIdBase) Source #
Methods showsPrec :: Int -> Key LocIdBase -> ShowS show :: Key LocIdBase -> String showList :: [Key LocIdBase] -> ShowS
ToJSON (Key LocIdBase) Source #
Methods toJSON :: Key LocIdBase -> Value toEncoding :: Key LocIdBase -> Encoding toJSONList :: [Key LocIdBase] -> Value toEncodingList :: [Key LocIdBase] -> Encoding
ToHttpApiData (Key LocIdBase) Source #
Methods toUrlPiece :: Key LocIdBase -> Text toEncodedUrlPiece :: Key LocIdBase -> Builder toHeader :: Key LocIdBase -> ByteString toQueryParam :: Key LocIdBase -> Text
PersistFieldSql (Key LocIdBase) Source #
Methods sqlType :: Proxy * (Key LocIdBase) -> SqlType
PersistField (Key LocIdBase) Source #
Methods toPersistValue :: Key LocIdBase -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key LocIdBase)
PathPiece (Key LocIdBase) Source #
Methods fromPathPiece :: Text -> Maybe (Key LocIdBase) toPathPiece :: Key LocIdBase -> Text
FromJSON (Key LocIdBase) Source #
Methods parseJSON :: Value -> Parser (Key LocIdBase) parseJSONList :: Value -> Parser [Key LocIdBase]
FromHttpApiData (Key LocIdBase) Source #
Methods parseUrlPiece :: Text -> Either Text (Key LocIdBase) parseHeader :: ByteString -> Either Text (Key LocIdBase) parseQueryParam :: Text -> Either Text (Key LocIdBase)
data Key LocIdBase Source #
data Key LocIdBase = LocIdBaseKey { unLocIdBaseKey :: BackendKey SqlBackend }
type PersistEntityBackend LocIdBase Source #
type PersistEntityBackend LocIdBase = SqlBackend
data EntityField LocIdBase Source #
data EntityField LocIdBase where LocIdBaseId :: EntityField LocIdBase typ LocIdBaseFileVersionId :: EntityField LocIdBase typ LocIdBaseKind :: EntityField LocIdBase typ LocIdBaseLocId :: EntityField LocIdBase typ
data Unique LocIdBase Source #
data Unique LocIdBase = UniqueLocIdBaseLocId (Key FileVersion) LocIdBaseKindType String

type LocIdBaseId = Key LocIdBase Source #

data Document Source #

Constructors

Document
Fields documentDisplayName :: !String documentName :: !String documentLocation :: !(Maybe String) documentVersion :: !(Maybe String)

Instances

Show Document Source #
Methods showsPrec :: Int -> Document -> ShowS show :: Document -> String showList :: [Document] -> ShowS
PersistEntity Document Source #
Associated Types type PersistEntityBackend Document :: * data Key Document :: * data EntityField Document a :: * data Unique Document :: * Methods keyToValues :: Key Document -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Document) persistIdField :: EntityField Document (Key Document) entityDef :: Monad m => m Document -> EntityDef persistFieldDef :: EntityField Document typ -> FieldDef toPersistFields :: Document -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Document persistUniqueKeys :: Document -> [Unique Document] persistUniqueToFieldNames :: Unique Document -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Document -> [PersistValue] fieldLens :: EntityField Document field -> forall f. Functor f => (field -> f field) -> Entity Document -> f (Entity Document)
PersistFieldSql Document Source #
Methods sqlType :: Proxy * Document -> SqlType
PersistField Document Source #
Methods toPersistValue :: Document -> PersistValue fromPersistValue :: PersistValue -> Either Text Document
ToBackendKey SqlBackend Document Source #
Methods toBackendKey :: Key Document -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Document
(PersistQuery backend, (~) * (PersistEntityBackend Document) (BaseBackend backend)) => DeleteCascade Document backend Source #
Methods deleteCascade :: MonadIO m => Key Document -> ReaderT * backend m ()
Eq (Key Document) Source #
Methods (==) :: Key Document -> Key Document -> Bool (/=) :: Key Document -> Key Document -> Bool
Ord (Key Document) Source #
Methods compare :: Key Document -> Key Document -> Ordering (<) :: Key Document -> Key Document -> Bool (<=) :: Key Document -> Key Document -> Bool (>) :: Key Document -> Key Document -> Bool (>=) :: Key Document -> Key Document -> Bool max :: Key Document -> Key Document -> Key Document min :: Key Document -> Key Document -> Key Document
Read (Key Document) Source #
Methods readsPrec :: Int -> ReadS (Key Document) readList :: ReadS [Key Document] readPrec :: ReadPrec (Key Document) readListPrec :: ReadPrec [Key Document]
Show (Key Document) Source #
Methods showsPrec :: Int -> Key Document -> ShowS show :: Key Document -> String showList :: [Key Document] -> ShowS
ToJSON (Key Document) Source #
Methods toJSON :: Key Document -> Value toEncoding :: Key Document -> Encoding toJSONList :: [Key Document] -> Value toEncodingList :: [Key Document] -> Encoding
ToHttpApiData (Key Document) Source #
Methods toUrlPiece :: Key Document -> Text toEncodedUrlPiece :: Key Document -> Builder toHeader :: Key Document -> ByteString toQueryParam :: Key Document -> Text
PersistFieldSql (Key Document) Source #
Methods sqlType :: Proxy * (Key Document) -> SqlType
PersistField (Key Document) Source #
Methods toPersistValue :: Key Document -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Document)
PathPiece (Key Document) Source #
Methods fromPathPiece :: Text -> Maybe (Key Document) toPathPiece :: Key Document -> Text
FromJSON (Key Document) Source #
Methods parseJSON :: Value -> Parser (Key Document) parseJSONList :: Value -> Parser [Key Document]
FromHttpApiData (Key Document) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Document) parseHeader :: ByteString -> Either Text (Key Document) parseQueryParam :: Text -> Either Text (Key Document)
data Key Document Source #
data Key Document = DocumentKey { unDocumentKey :: BackendKey SqlBackend }
type PersistEntityBackend Document Source #
type PersistEntityBackend Document = SqlBackend
data EntityField Document Source #
data EntityField Document where DocumentId :: EntityField Document typ DocumentDisplayName :: EntityField Document typ DocumentName :: EntityField Document typ DocumentLocation :: EntityField Document typ DocumentVersion :: EntityField Document typ
data Unique Document Source #
data Unique Document

type DocumentId = Key Document Source #

data DocumentLink Source #

Constructors

DocumentLink
Fields documentLinkSourceId :: !(Key LocIdBase) documentLinkTargetId :: !(Key LocIdBase)

Instances

Show DocumentLink Source #
Methods showsPrec :: Int -> DocumentLink -> ShowS show :: DocumentLink -> String showList :: [DocumentLink] -> ShowS
PersistEntity DocumentLink Source #
Associated Types type PersistEntityBackend DocumentLink :: * data Key DocumentLink :: * data EntityField DocumentLink a :: * data Unique DocumentLink :: * Methods keyToValues :: Key DocumentLink -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key DocumentLink) persistIdField :: EntityField DocumentLink (Key DocumentLink) entityDef :: Monad m => m DocumentLink -> EntityDef persistFieldDef :: EntityField DocumentLink typ -> FieldDef toPersistFields :: DocumentLink -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text DocumentLink persistUniqueKeys :: DocumentLink -> [Unique DocumentLink] persistUniqueToFieldNames :: Unique DocumentLink -> [(HaskellName, DBName)] persistUniqueToValues :: Unique DocumentLink -> [PersistValue] fieldLens :: EntityField DocumentLink field -> forall f. Functor f => (field -> f field) -> Entity DocumentLink -> f (Entity DocumentLink)
PersistFieldSql DocumentLink Source #
Methods sqlType :: Proxy * DocumentLink -> SqlType
PersistField DocumentLink Source #
Methods toPersistValue :: DocumentLink -> PersistValue fromPersistValue :: PersistValue -> Either Text DocumentLink
ToBackendKey SqlBackend DocumentLink Source #
Methods toBackendKey :: Key DocumentLink -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key DocumentLink
(PersistQuery backend, (~) * (PersistEntityBackend DocumentLink) (BaseBackend backend)) => DeleteCascade DocumentLink backend Source #
Methods deleteCascade :: MonadIO m => Key DocumentLink -> ReaderT * backend m ()
Eq (Key DocumentLink) Source #
Methods (==) :: Key DocumentLink -> Key DocumentLink -> Bool (/=) :: Key DocumentLink -> Key DocumentLink -> Bool
Ord (Key DocumentLink) Source #
Methods compare :: Key DocumentLink -> Key DocumentLink -> Ordering (<) :: Key DocumentLink -> Key DocumentLink -> Bool (<=) :: Key DocumentLink -> Key DocumentLink -> Bool (>) :: Key DocumentLink -> Key DocumentLink -> Bool (>=) :: Key DocumentLink -> Key DocumentLink -> Bool max :: Key DocumentLink -> Key DocumentLink -> Key DocumentLink min :: Key DocumentLink -> Key DocumentLink -> Key DocumentLink
Read (Key DocumentLink) Source #
Methods readsPrec :: Int -> ReadS (Key DocumentLink) readList :: ReadS [Key DocumentLink] readPrec :: ReadPrec (Key DocumentLink) readListPrec :: ReadPrec [Key DocumentLink]
Show (Key DocumentLink) Source #
Methods showsPrec :: Int -> Key DocumentLink -> ShowS show :: Key DocumentLink -> String showList :: [Key DocumentLink] -> ShowS
ToJSON (Key DocumentLink) Source #
Methods toJSON :: Key DocumentLink -> Value toEncoding :: Key DocumentLink -> Encoding toJSONList :: [Key DocumentLink] -> Value toEncodingList :: [Key DocumentLink] -> Encoding
ToHttpApiData (Key DocumentLink) Source #
Methods toUrlPiece :: Key DocumentLink -> Text toEncodedUrlPiece :: Key DocumentLink -> Builder toHeader :: Key DocumentLink -> ByteString toQueryParam :: Key DocumentLink -> Text
PersistFieldSql (Key DocumentLink) Source #
Methods sqlType :: Proxy * (Key DocumentLink) -> SqlType
PersistField (Key DocumentLink) Source #
Methods toPersistValue :: Key DocumentLink -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key DocumentLink)
PathPiece (Key DocumentLink) Source #
Methods fromPathPiece :: Text -> Maybe (Key DocumentLink) toPathPiece :: Key DocumentLink -> Text
FromJSON (Key DocumentLink) Source #
Methods parseJSON :: Value -> Parser (Key DocumentLink) parseJSONList :: Value -> Parser [Key DocumentLink]
FromHttpApiData (Key DocumentLink) Source #
Methods parseUrlPiece :: Text -> Either Text (Key DocumentLink) parseHeader :: ByteString -> Either Text (Key DocumentLink) parseQueryParam :: Text -> Either Text (Key DocumentLink)
data Key DocumentLink Source #
data Key DocumentLink = DocumentLinkKey { unDocumentLinkKey :: BackendKey SqlBackend }
type PersistEntityBackend DocumentLink Source #
type PersistEntityBackend DocumentLink = SqlBackend
data EntityField DocumentLink Source #
data EntityField DocumentLink where DocumentLinkId :: EntityField DocumentLink typ DocumentLinkSourceId :: EntityField DocumentLink typ DocumentLinkTargetId :: EntityField DocumentLink typ
data Unique DocumentLink Source #
data Unique DocumentLink

type DocumentLinkId = Key DocumentLink Source #

data FileRange Source #

Constructors

FileRange
Fields fileRangePath :: !String fileRangeStartLine :: !Int fileRangeStartColumn :: !Int fileRangeEndLine :: !(Maybe Int) fileRangeEndColumn :: !(Maybe Int)

Instances

Show FileRange Source #
Methods showsPrec :: Int -> FileRange -> ShowS show :: FileRange -> String showList :: [FileRange] -> ShowS
PersistEntity FileRange Source #
Associated Types type PersistEntityBackend FileRange :: * data Key FileRange :: * data EntityField FileRange a :: * data Unique FileRange :: * Methods keyToValues :: Key FileRange -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key FileRange) persistIdField :: EntityField FileRange (Key FileRange) entityDef :: Monad m => m FileRange -> EntityDef persistFieldDef :: EntityField FileRange typ -> FieldDef toPersistFields :: FileRange -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text FileRange persistUniqueKeys :: FileRange -> [Unique FileRange] persistUniqueToFieldNames :: Unique FileRange -> [(HaskellName, DBName)] persistUniqueToValues :: Unique FileRange -> [PersistValue] fieldLens :: EntityField FileRange field -> forall f. Functor f => (field -> f field) -> Entity FileRange -> f (Entity FileRange)
PersistFieldSql FileRange Source #
Methods sqlType :: Proxy * FileRange -> SqlType
PersistField FileRange Source #
Methods toPersistValue :: FileRange -> PersistValue fromPersistValue :: PersistValue -> Either Text FileRange
ToBackendKey SqlBackend FileRange Source #
Methods toBackendKey :: Key FileRange -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key FileRange
(PersistQuery backend, (~) * (PersistEntityBackend FileRange) (BaseBackend backend)) => DeleteCascade FileRange backend Source #
Methods deleteCascade :: MonadIO m => Key FileRange -> ReaderT * backend m ()
Eq (Key FileRange) Source #
Methods (==) :: Key FileRange -> Key FileRange -> Bool (/=) :: Key FileRange -> Key FileRange -> Bool
Ord (Key FileRange) Source #
Methods compare :: Key FileRange -> Key FileRange -> Ordering (<) :: Key FileRange -> Key FileRange -> Bool (<=) :: Key FileRange -> Key FileRange -> Bool (>) :: Key FileRange -> Key FileRange -> Bool (>=) :: Key FileRange -> Key FileRange -> Bool max :: Key FileRange -> Key FileRange -> Key FileRange min :: Key FileRange -> Key FileRange -> Key FileRange
Read (Key FileRange) Source #
Methods readsPrec :: Int -> ReadS (Key FileRange) readList :: ReadS [Key FileRange] readPrec :: ReadPrec (Key FileRange) readListPrec :: ReadPrec [Key FileRange]
Show (Key FileRange) Source #
Methods showsPrec :: Int -> Key FileRange -> ShowS show :: Key FileRange -> String showList :: [Key FileRange] -> ShowS
ToJSON (Key FileRange) Source #
Methods toJSON :: Key FileRange -> Value toEncoding :: Key FileRange -> Encoding toJSONList :: [Key FileRange] -> Value toEncodingList :: [Key FileRange] -> Encoding
ToHttpApiData (Key FileRange) Source #
Methods toUrlPiece :: Key FileRange -> Text toEncodedUrlPiece :: Key FileRange -> Builder toHeader :: Key FileRange -> ByteString toQueryParam :: Key FileRange -> Text
PersistFieldSql (Key FileRange) Source #
Methods sqlType :: Proxy * (Key FileRange) -> SqlType
PersistField (Key FileRange) Source #
Methods toPersistValue :: Key FileRange -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key FileRange)
PathPiece (Key FileRange) Source #
Methods fromPathPiece :: Text -> Maybe (Key FileRange) toPathPiece :: Key FileRange -> Text
FromJSON (Key FileRange) Source #
Methods parseJSON :: Value -> Parser (Key FileRange) parseJSONList :: Value -> Parser [Key FileRange]
FromHttpApiData (Key FileRange) Source #
Methods parseUrlPiece :: Text -> Either Text (Key FileRange) parseHeader :: ByteString -> Either Text (Key FileRange) parseQueryParam :: Text -> Either Text (Key FileRange)
data Key FileRange Source #
data Key FileRange = FileRangeKey { unFileRangeKey :: BackendKey SqlBackend }
type PersistEntityBackend FileRange Source #
type PersistEntityBackend FileRange = SqlBackend
data EntityField FileRange Source #
data EntityField FileRange where FileRangeId :: EntityField FileRange typ FileRangePath :: EntityField FileRange typ FileRangeStartLine :: EntityField FileRange typ FileRangeStartColumn :: EntityField FileRange typ FileRangeEndLine :: EntityField FileRange typ FileRangeEndColumn :: EntityField FileRange typ
data Unique FileRange Source #
data Unique FileRange

type FileRangeId = Key FileRange Source #

data Diagnosis Source #

Constructors

Diagnosis
Fields diagnosisFileVersionId :: !(Key FileVersion) diagnosisFileRangeId :: !(Maybe (Key FileRange)) diagnosisKind :: !DiagnosisKindType diagnosisText :: !Text

Instances

Show Diagnosis Source #
Methods showsPrec :: Int -> Diagnosis -> ShowS show :: Diagnosis -> String showList :: [Diagnosis] -> ShowS
PersistEntity Diagnosis Source #
Associated Types type PersistEntityBackend Diagnosis :: * data Key Diagnosis :: * data EntityField Diagnosis a :: * data Unique Diagnosis :: * Methods keyToValues :: Key Diagnosis -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Diagnosis) persistIdField :: EntityField Diagnosis (Key Diagnosis) entityDef :: Monad m => m Diagnosis -> EntityDef persistFieldDef :: EntityField Diagnosis typ -> FieldDef toPersistFields :: Diagnosis -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Diagnosis persistUniqueKeys :: Diagnosis -> [Unique Diagnosis] persistUniqueToFieldNames :: Unique Diagnosis -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Diagnosis -> [PersistValue] fieldLens :: EntityField Diagnosis field -> forall f. Functor f => (field -> f field) -> Entity Diagnosis -> f (Entity Diagnosis)
PersistFieldSql Diagnosis Source #
Methods sqlType :: Proxy * Diagnosis -> SqlType
PersistField Diagnosis Source #
Methods toPersistValue :: Diagnosis -> PersistValue fromPersistValue :: PersistValue -> Either Text Diagnosis
ToBackendKey SqlBackend Diagnosis Source #
Methods toBackendKey :: Key Diagnosis -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Diagnosis
(PersistQuery backend, (~) * (PersistEntityBackend Diagnosis) (BaseBackend backend)) => DeleteCascade Diagnosis backend Source #
Methods deleteCascade :: MonadIO m => Key Diagnosis -> ReaderT * backend m ()
Eq (Key Diagnosis) Source #
Methods (==) :: Key Diagnosis -> Key Diagnosis -> Bool (/=) :: Key Diagnosis -> Key Diagnosis -> Bool
Ord (Key Diagnosis) Source #
Methods compare :: Key Diagnosis -> Key Diagnosis -> Ordering (<) :: Key Diagnosis -> Key Diagnosis -> Bool (<=) :: Key Diagnosis -> Key Diagnosis -> Bool (>) :: Key Diagnosis -> Key Diagnosis -> Bool (>=) :: Key Diagnosis -> Key Diagnosis -> Bool max :: Key Diagnosis -> Key Diagnosis -> Key Diagnosis min :: Key Diagnosis -> Key Diagnosis -> Key Diagnosis
Read (Key Diagnosis) Source #
Methods readsPrec :: Int -> ReadS (Key Diagnosis) readList :: ReadS [Key Diagnosis] readPrec :: ReadPrec (Key Diagnosis) readListPrec :: ReadPrec [Key Diagnosis]
Show (Key Diagnosis) Source #
Methods showsPrec :: Int -> Key Diagnosis -> ShowS show :: Key Diagnosis -> String showList :: [Key Diagnosis] -> ShowS
ToJSON (Key Diagnosis) Source #
Methods toJSON :: Key Diagnosis -> Value toEncoding :: Key Diagnosis -> Encoding toJSONList :: [Key Diagnosis] -> Value toEncodingList :: [Key Diagnosis] -> Encoding
ToHttpApiData (Key Diagnosis) Source #
Methods toUrlPiece :: Key Diagnosis -> Text toEncodedUrlPiece :: Key Diagnosis -> Builder toHeader :: Key Diagnosis -> ByteString toQueryParam :: Key Diagnosis -> Text
PersistFieldSql (Key Diagnosis) Source #
Methods sqlType :: Proxy * (Key Diagnosis) -> SqlType
PersistField (Key Diagnosis) Source #
Methods toPersistValue :: Key Diagnosis -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Diagnosis)
PathPiece (Key Diagnosis) Source #
Methods fromPathPiece :: Text -> Maybe (Key Diagnosis) toPathPiece :: Key Diagnosis -> Text
FromJSON (Key Diagnosis) Source #
Methods parseJSON :: Value -> Parser (Key Diagnosis) parseJSONList :: Value -> Parser [Key Diagnosis]
FromHttpApiData (Key Diagnosis) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Diagnosis) parseHeader :: ByteString -> Either Text (Key Diagnosis) parseQueryParam :: Text -> Either Text (Key Diagnosis)
data Key Diagnosis Source #
data Key Diagnosis = DiagnosisKey { unDiagnosisKey :: BackendKey SqlBackend }
type PersistEntityBackend Diagnosis Source #
type PersistEntityBackend Diagnosis = SqlBackend
data EntityField Diagnosis Source #
data EntityField Diagnosis where DiagnosisId :: EntityField Diagnosis typ DiagnosisFileVersionId :: EntityField Diagnosis typ DiagnosisFileRangeId :: EntityField Diagnosis typ DiagnosisKind :: EntityField Diagnosis typ DiagnosisText :: EntityField Diagnosis typ
data Unique Diagnosis Source #
data Unique Diagnosis

type DiagnosisId = Key Diagnosis Source #

data OMS Source #

Constructors

OMS

Fields

oMSDocumentId :: !(Key LocIdBase)
oMSActionId :: !(Key Action)
oMSLogicId :: !(Key Logic)
oMSLanguageId :: !(Key Language)
oMSSerializationId :: !(Maybe (Key Serialization))
oMSSignatureId :: !(Key Signature)
oMSNormalFormId :: !(Maybe (Key LocIdBase))
oMSNormalFormSignatureMorphismId :: !(Maybe (Key SignatureMorphism))
oMSFreeNormalFormId :: !(Maybe (Key LocIdBase))
oMSFreeNormalFormSignatureMorphismId :: !(Maybe (Key SignatureMorphism))
oMSOrigin :: !OMSOrigin
oMSConservativityStatusId :: !(Key ConservativityStatus)
oMSNameFileRangeId :: !(Maybe (Key FileRange))
oMSDisplayName :: !String
oMSName :: !String
oMSNameExtension :: !String
oMSNameExtensionIndex :: !Int
oMSLabelHasHiding :: !Bool
oMSLabelHasFree :: !Bool
oMSConsistencyStatus :: !ConsistencyStatusType

Instances

Show OMS Source #
Methods showsPrec :: Int -> OMS -> ShowS show :: OMS -> String showList :: [OMS] -> ShowS
PersistEntity OMS Source #
Associated Types type PersistEntityBackend OMS :: * data Key OMS :: * data EntityField OMS a :: * data Unique OMS :: * Methods keyToValues :: Key OMS -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key OMS) persistIdField :: EntityField OMS (Key OMS) entityDef :: Monad m => m OMS -> EntityDef persistFieldDef :: EntityField OMS typ -> FieldDef toPersistFields :: OMS -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text OMS persistUniqueKeys :: OMS -> [Unique OMS] persistUniqueToFieldNames :: Unique OMS -> [(HaskellName, DBName)] persistUniqueToValues :: Unique OMS -> [PersistValue] fieldLens :: EntityField OMS field -> forall f. Functor f => (field -> f field) -> Entity OMS -> f (Entity OMS)
PersistFieldSql OMS Source #
Methods sqlType :: Proxy * OMS -> SqlType
PersistField OMS Source #
Methods toPersistValue :: OMS -> PersistValue fromPersistValue :: PersistValue -> Either Text OMS
ToBackendKey SqlBackend OMS Source #
Methods toBackendKey :: Key OMS -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key OMS
(PersistQuery backend, (~) * (PersistEntityBackend OMS) (BaseBackend backend)) => DeleteCascade OMS backend Source #
Methods deleteCascade :: MonadIO m => Key OMS -> ReaderT * backend m ()
Eq (Key OMS) Source #
Methods (==) :: Key OMS -> Key OMS -> Bool (/=) :: Key OMS -> Key OMS -> Bool
Ord (Key OMS) Source #
Methods compare :: Key OMS -> Key OMS -> Ordering (<) :: Key OMS -> Key OMS -> Bool (<=) :: Key OMS -> Key OMS -> Bool (>) :: Key OMS -> Key OMS -> Bool (>=) :: Key OMS -> Key OMS -> Bool max :: Key OMS -> Key OMS -> Key OMS min :: Key OMS -> Key OMS -> Key OMS
Read (Key OMS) Source #
Methods readsPrec :: Int -> ReadS (Key OMS) readList :: ReadS [Key OMS] readPrec :: ReadPrec (Key OMS) readListPrec :: ReadPrec [Key OMS]
Show (Key OMS) Source #
Methods showsPrec :: Int -> Key OMS -> ShowS show :: Key OMS -> String showList :: [Key OMS] -> ShowS
ToJSON (Key OMS) Source #
Methods toJSON :: Key OMS -> Value toEncoding :: Key OMS -> Encoding toJSONList :: [Key OMS] -> Value toEncodingList :: [Key OMS] -> Encoding
ToHttpApiData (Key OMS) Source #
Methods toUrlPiece :: Key OMS -> Text toEncodedUrlPiece :: Key OMS -> Builder toHeader :: Key OMS -> ByteString toQueryParam :: Key OMS -> Text
PersistFieldSql (Key OMS) Source #
Methods sqlType :: Proxy * (Key OMS) -> SqlType
PersistField (Key OMS) Source #
Methods toPersistValue :: Key OMS -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key OMS)
PathPiece (Key OMS) Source #
Methods fromPathPiece :: Text -> Maybe (Key OMS) toPathPiece :: Key OMS -> Text
FromJSON (Key OMS) Source #
Methods parseJSON :: Value -> Parser (Key OMS) parseJSONList :: Value -> Parser [Key OMS]
FromHttpApiData (Key OMS) Source #
Methods parseUrlPiece :: Text -> Either Text (Key OMS) parseHeader :: ByteString -> Either Text (Key OMS) parseQueryParam :: Text -> Either Text (Key OMS)
data Key OMS Source #
data Key OMS = OMSKey { unOMSKey :: BackendKey SqlBackend }
type PersistEntityBackend OMS Source #
type PersistEntityBackend OMS = SqlBackend
data EntityField OMS Source #
data EntityField OMS where OMSId :: EntityField OMS typ OMSDocumentId :: EntityField OMS typ OMSActionId :: EntityField OMS typ OMSLogicId :: EntityField OMS typ OMSLanguageId :: EntityField OMS typ OMSSerializationId :: EntityField OMS typ OMSSignatureId :: EntityField OMS typ OMSNormalFormId :: EntityField OMS typ OMSNormalFormSignatureMorphismId :: EntityField OMS typ OMSFreeNormalFormId :: EntityField OMS typ OMSFreeNormalFormSignatureMorphismId :: EntityField OMS typ OMSOrigin :: EntityField OMS typ OMSConservativityStatusId :: EntityField OMS typ OMSNameFileRangeId :: EntityField OMS typ OMSDisplayName :: EntityField OMS typ OMSName :: EntityField OMS typ OMSNameExtension :: EntityField OMS typ OMSNameExtensionIndex :: EntityField OMS typ OMSLabelHasHiding :: EntityField OMS typ OMSLabelHasFree :: EntityField OMS typ OMSConsistencyStatus :: EntityField OMS typ
data Unique OMS Source #
data Unique OMS

type OMSId = Key OMS Source #

data Mapping Source #

Constructors

Mapping

Fields

mappingSourceId :: !(Key LocIdBase)
mappingTargetId :: !(Key LocIdBase)
mappingSignatureMorphismId :: !(Key SignatureMorphism)
mappingConservativityStatusId :: !(Maybe (Key ConservativityStatus))
mappingFreenessParameterOMSId :: !(Maybe (Key LocIdBase))
mappingFreenessParameterLanguageId :: !(Maybe (Key Language))
mappingDisplayName :: !String
mappingName :: !String
mappingOrigin :: !MappingOrigin
mappingPending :: !Bool
mappingType :: !MappingType

Instances

Show Mapping Source #
Methods showsPrec :: Int -> Mapping -> ShowS show :: Mapping -> String showList :: [Mapping] -> ShowS
PersistEntity Mapping Source #
Associated Types type PersistEntityBackend Mapping :: * data Key Mapping :: * data EntityField Mapping a :: * data Unique Mapping :: * Methods keyToValues :: Key Mapping -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Mapping) persistIdField :: EntityField Mapping (Key Mapping) entityDef :: Monad m => m Mapping -> EntityDef persistFieldDef :: EntityField Mapping typ -> FieldDef toPersistFields :: Mapping -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Mapping persistUniqueKeys :: Mapping -> [Unique Mapping] persistUniqueToFieldNames :: Unique Mapping -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Mapping -> [PersistValue] fieldLens :: EntityField Mapping field -> forall f. Functor f => (field -> f field) -> Entity Mapping -> f (Entity Mapping)
PersistFieldSql Mapping Source #
Methods sqlType :: Proxy * Mapping -> SqlType
PersistField Mapping Source #
Methods toPersistValue :: Mapping -> PersistValue fromPersistValue :: PersistValue -> Either Text Mapping
ToBackendKey SqlBackend Mapping Source #
Methods toBackendKey :: Key Mapping -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Mapping
(PersistQuery backend, (~) * (PersistEntityBackend Mapping) (BaseBackend backend)) => DeleteCascade Mapping backend Source #
Methods deleteCascade :: MonadIO m => Key Mapping -> ReaderT * backend m ()
Eq (Key Mapping) Source #
Methods (==) :: Key Mapping -> Key Mapping -> Bool (/=) :: Key Mapping -> Key Mapping -> Bool
Ord (Key Mapping) Source #
Methods compare :: Key Mapping -> Key Mapping -> Ordering (<) :: Key Mapping -> Key Mapping -> Bool (<=) :: Key Mapping -> Key Mapping -> Bool (>) :: Key Mapping -> Key Mapping -> Bool (>=) :: Key Mapping -> Key Mapping -> Bool max :: Key Mapping -> Key Mapping -> Key Mapping min :: Key Mapping -> Key Mapping -> Key Mapping
Read (Key Mapping) Source #
Methods readsPrec :: Int -> ReadS (Key Mapping) readList :: ReadS [Key Mapping] readPrec :: ReadPrec (Key Mapping) readListPrec :: ReadPrec [Key Mapping]
Show (Key Mapping) Source #
Methods showsPrec :: Int -> Key Mapping -> ShowS show :: Key Mapping -> String showList :: [Key Mapping] -> ShowS
ToJSON (Key Mapping) Source #
Methods toJSON :: Key Mapping -> Value toEncoding :: Key Mapping -> Encoding toJSONList :: [Key Mapping] -> Value toEncodingList :: [Key Mapping] -> Encoding
ToHttpApiData (Key Mapping) Source #
Methods toUrlPiece :: Key Mapping -> Text toEncodedUrlPiece :: Key Mapping -> Builder toHeader :: Key Mapping -> ByteString toQueryParam :: Key Mapping -> Text
PersistFieldSql (Key Mapping) Source #
Methods sqlType :: Proxy * (Key Mapping) -> SqlType
PersistField (Key Mapping) Source #
Methods toPersistValue :: Key Mapping -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Mapping)
PathPiece (Key Mapping) Source #
Methods fromPathPiece :: Text -> Maybe (Key Mapping) toPathPiece :: Key Mapping -> Text
FromJSON (Key Mapping) Source #
Methods parseJSON :: Value -> Parser (Key Mapping) parseJSONList :: Value -> Parser [Key Mapping]
FromHttpApiData (Key Mapping) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Mapping) parseHeader :: ByteString -> Either Text (Key Mapping) parseQueryParam :: Text -> Either Text (Key Mapping)
data Key Mapping Source #
data Key Mapping = MappingKey { unMappingKey :: BackendKey SqlBackend }
type PersistEntityBackend Mapping Source #
type PersistEntityBackend Mapping = SqlBackend
data EntityField Mapping Source #
data EntityField Mapping where MappingId :: EntityField Mapping typ MappingSourceId :: EntityField Mapping typ MappingTargetId :: EntityField Mapping typ MappingSignatureMorphismId :: EntityField Mapping typ MappingConservativityStatusId :: EntityField Mapping typ MappingFreenessParameterOMSId :: EntityField Mapping typ MappingFreenessParameterLanguageId :: EntityField Mapping typ MappingDisplayName :: EntityField Mapping typ MappingName :: EntityField Mapping typ MappingOrigin :: EntityField Mapping typ MappingPending :: EntityField Mapping typ MappingType :: EntityField Mapping typ
data Unique Mapping Source #
data Unique Mapping

type MappingId = Key Mapping Source #

data Sentence Source #

Constructors

Sentence
Fields sentenceOmsId :: !(Key LocIdBase) sentenceFileRangeId :: !(Maybe (Key FileRange)) sentenceName :: !String sentenceText :: !Text sentenceOriginalSentenceId :: !(Maybe (Key LocIdBase))

Instances

Show Sentence Source #
Methods showsPrec :: Int -> Sentence -> ShowS show :: Sentence -> String showList :: [Sentence] -> ShowS
PersistEntity Sentence Source #
Associated Types type PersistEntityBackend Sentence :: * data Key Sentence :: * data EntityField Sentence a :: * data Unique Sentence :: * Methods keyToValues :: Key Sentence -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Sentence) persistIdField :: EntityField Sentence (Key Sentence) entityDef :: Monad m => m Sentence -> EntityDef persistFieldDef :: EntityField Sentence typ -> FieldDef toPersistFields :: Sentence -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Sentence persistUniqueKeys :: Sentence -> [Unique Sentence] persistUniqueToFieldNames :: Unique Sentence -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Sentence -> [PersistValue] fieldLens :: EntityField Sentence field -> forall f. Functor f => (field -> f field) -> Entity Sentence -> f (Entity Sentence)
PersistFieldSql Sentence Source #
Methods sqlType :: Proxy * Sentence -> SqlType
PersistField Sentence Source #
Methods toPersistValue :: Sentence -> PersistValue fromPersistValue :: PersistValue -> Either Text Sentence
ToBackendKey SqlBackend Sentence Source #
Methods toBackendKey :: Key Sentence -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Sentence
(PersistQuery backend, (~) * (PersistEntityBackend Sentence) (BaseBackend backend)) => DeleteCascade Sentence backend Source #
Methods deleteCascade :: MonadIO m => Key Sentence -> ReaderT * backend m ()
Eq (Key Sentence) Source #
Methods (==) :: Key Sentence -> Key Sentence -> Bool (/=) :: Key Sentence -> Key Sentence -> Bool
Ord (Key Sentence) Source #
Methods compare :: Key Sentence -> Key Sentence -> Ordering (<) :: Key Sentence -> Key Sentence -> Bool (<=) :: Key Sentence -> Key Sentence -> Bool (>) :: Key Sentence -> Key Sentence -> Bool (>=) :: Key Sentence -> Key Sentence -> Bool max :: Key Sentence -> Key Sentence -> Key Sentence min :: Key Sentence -> Key Sentence -> Key Sentence
Read (Key Sentence) Source #
Methods readsPrec :: Int -> ReadS (Key Sentence) readList :: ReadS [Key Sentence] readPrec :: ReadPrec (Key Sentence) readListPrec :: ReadPrec [Key Sentence]
Show (Key Sentence) Source #
Methods showsPrec :: Int -> Key Sentence -> ShowS show :: Key Sentence -> String showList :: [Key Sentence] -> ShowS
ToJSON (Key Sentence) Source #
Methods toJSON :: Key Sentence -> Value toEncoding :: Key Sentence -> Encoding toJSONList :: [Key Sentence] -> Value toEncodingList :: [Key Sentence] -> Encoding
ToHttpApiData (Key Sentence) Source #
Methods toUrlPiece :: Key Sentence -> Text toEncodedUrlPiece :: Key Sentence -> Builder toHeader :: Key Sentence -> ByteString toQueryParam :: Key Sentence -> Text
PersistFieldSql (Key Sentence) Source #
Methods sqlType :: Proxy * (Key Sentence) -> SqlType
PersistField (Key Sentence) Source #
Methods toPersistValue :: Key Sentence -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Sentence)
PathPiece (Key Sentence) Source #
Methods fromPathPiece :: Text -> Maybe (Key Sentence) toPathPiece :: Key Sentence -> Text
FromJSON (Key Sentence) Source #
Methods parseJSON :: Value -> Parser (Key Sentence) parseJSONList :: Value -> Parser [Key Sentence]
FromHttpApiData (Key Sentence) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Sentence) parseHeader :: ByteString -> Either Text (Key Sentence) parseQueryParam :: Text -> Either Text (Key Sentence)
data Key Sentence Source #
data Key Sentence = SentenceKey { unSentenceKey :: BackendKey SqlBackend }
type PersistEntityBackend Sentence Source #
type PersistEntityBackend Sentence = SqlBackend
data EntityField Sentence Source #
data EntityField Sentence where SentenceId :: EntityField Sentence typ SentenceOmsId :: EntityField Sentence typ SentenceFileRangeId :: EntityField Sentence typ SentenceName :: EntityField Sentence typ SentenceText :: EntityField Sentence typ SentenceOriginalSentenceId :: EntityField Sentence typ
data Unique Sentence Source #
data Unique Sentence

type SentenceId = Key Sentence Source #

data Axiom Source #

Constructors

Axiom

Instances

Show Axiom Source #
Methods showsPrec :: Int -> Axiom -> ShowS show :: Axiom -> String showList :: [Axiom] -> ShowS
PersistEntity Axiom Source #
Associated Types type PersistEntityBackend Axiom :: * data Key Axiom :: * data EntityField Axiom a :: * data Unique Axiom :: * Methods keyToValues :: Key Axiom -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Axiom) persistIdField :: EntityField Axiom (Key Axiom) entityDef :: Monad m => m Axiom -> EntityDef persistFieldDef :: EntityField Axiom typ -> FieldDef toPersistFields :: Axiom -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Axiom persistUniqueKeys :: Axiom -> [Unique Axiom] persistUniqueToFieldNames :: Unique Axiom -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Axiom -> [PersistValue] fieldLens :: EntityField Axiom field -> forall f. Functor f => (field -> f field) -> Entity Axiom -> f (Entity Axiom)
PersistFieldSql Axiom Source #
Methods sqlType :: Proxy * Axiom -> SqlType
PersistField Axiom Source #
Methods toPersistValue :: Axiom -> PersistValue fromPersistValue :: PersistValue -> Either Text Axiom
ToBackendKey SqlBackend Axiom Source #
Methods toBackendKey :: Key Axiom -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Axiom
(PersistQuery backend, (~) * (PersistEntityBackend Axiom) (BaseBackend backend)) => DeleteCascade Axiom backend Source #
Methods deleteCascade :: MonadIO m => Key Axiom -> ReaderT * backend m ()
Eq (Key Axiom) Source #
Methods (==) :: Key Axiom -> Key Axiom -> Bool (/=) :: Key Axiom -> Key Axiom -> Bool
Ord (Key Axiom) Source #
Methods compare :: Key Axiom -> Key Axiom -> Ordering (<) :: Key Axiom -> Key Axiom -> Bool (<=) :: Key Axiom -> Key Axiom -> Bool (>) :: Key Axiom -> Key Axiom -> Bool (>=) :: Key Axiom -> Key Axiom -> Bool max :: Key Axiom -> Key Axiom -> Key Axiom min :: Key Axiom -> Key Axiom -> Key Axiom
Read (Key Axiom) Source #
Methods readsPrec :: Int -> ReadS (Key Axiom) readList :: ReadS [Key Axiom] readPrec :: ReadPrec (Key Axiom) readListPrec :: ReadPrec [Key Axiom]
Show (Key Axiom) Source #
Methods showsPrec :: Int -> Key Axiom -> ShowS show :: Key Axiom -> String showList :: [Key Axiom] -> ShowS
ToJSON (Key Axiom) Source #
Methods toJSON :: Key Axiom -> Value toEncoding :: Key Axiom -> Encoding toJSONList :: [Key Axiom] -> Value toEncodingList :: [Key Axiom] -> Encoding
ToHttpApiData (Key Axiom) Source #
Methods toUrlPiece :: Key Axiom -> Text toEncodedUrlPiece :: Key Axiom -> Builder toHeader :: Key Axiom -> ByteString toQueryParam :: Key Axiom -> Text
PersistFieldSql (Key Axiom) Source #
Methods sqlType :: Proxy * (Key Axiom) -> SqlType
PersistField (Key Axiom) Source #
Methods toPersistValue :: Key Axiom -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Axiom)
PathPiece (Key Axiom) Source #
Methods fromPathPiece :: Text -> Maybe (Key Axiom) toPathPiece :: Key Axiom -> Text
FromJSON (Key Axiom) Source #
Methods parseJSON :: Value -> Parser (Key Axiom) parseJSONList :: Value -> Parser [Key Axiom]
FromHttpApiData (Key Axiom) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Axiom) parseHeader :: ByteString -> Either Text (Key Axiom) parseQueryParam :: Text -> Either Text (Key Axiom)
data Key Axiom Source #
data Key Axiom = AxiomKey { unAxiomKey :: BackendKey SqlBackend }
type PersistEntityBackend Axiom Source #
type PersistEntityBackend Axiom = SqlBackend
data EntityField Axiom Source #
data EntityField Axiom where AxiomId :: EntityField Axiom typ
data Unique Axiom Source #
data Unique Axiom

type AxiomId = Key Axiom Source #

data Conjecture Source #

Constructors

Conjecture
Fields conjectureActionId :: !(Key Action) conjectureProofStatus :: !ProofStatusType

Instances

Show Conjecture Source #
Methods showsPrec :: Int -> Conjecture -> ShowS show :: Conjecture -> String showList :: [Conjecture] -> ShowS
PersistEntity Conjecture Source #
Associated Types type PersistEntityBackend Conjecture :: * data Key Conjecture :: * data EntityField Conjecture a :: * data Unique Conjecture :: * Methods keyToValues :: Key Conjecture -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Conjecture) persistIdField :: EntityField Conjecture (Key Conjecture) entityDef :: Monad m => m Conjecture -> EntityDef persistFieldDef :: EntityField Conjecture typ -> FieldDef toPersistFields :: Conjecture -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Conjecture persistUniqueKeys :: Conjecture -> [Unique Conjecture] persistUniqueToFieldNames :: Unique Conjecture -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Conjecture -> [PersistValue] fieldLens :: EntityField Conjecture field -> forall f. Functor f => (field -> f field) -> Entity Conjecture -> f (Entity Conjecture)
PersistFieldSql Conjecture Source #
Methods sqlType :: Proxy * Conjecture -> SqlType
PersistField Conjecture Source #
Methods toPersistValue :: Conjecture -> PersistValue fromPersistValue :: PersistValue -> Either Text Conjecture
ToBackendKey SqlBackend Conjecture Source #
Methods toBackendKey :: Key Conjecture -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Conjecture
(PersistQuery backend, (~) * (PersistEntityBackend Conjecture) (BaseBackend backend)) => DeleteCascade Conjecture backend Source #
Methods deleteCascade :: MonadIO m => Key Conjecture -> ReaderT * backend m ()
Eq (Key Conjecture) Source #
Methods (==) :: Key Conjecture -> Key Conjecture -> Bool (/=) :: Key Conjecture -> Key Conjecture -> Bool
Ord (Key Conjecture) Source #
Methods compare :: Key Conjecture -> Key Conjecture -> Ordering (<) :: Key Conjecture -> Key Conjecture -> Bool (<=) :: Key Conjecture -> Key Conjecture -> Bool (>) :: Key Conjecture -> Key Conjecture -> Bool (>=) :: Key Conjecture -> Key Conjecture -> Bool max :: Key Conjecture -> Key Conjecture -> Key Conjecture min :: Key Conjecture -> Key Conjecture -> Key Conjecture
Read (Key Conjecture) Source #
Methods readsPrec :: Int -> ReadS (Key Conjecture) readList :: ReadS [Key Conjecture] readPrec :: ReadPrec (Key Conjecture) readListPrec :: ReadPrec [Key Conjecture]
Show (Key Conjecture) Source #
Methods showsPrec :: Int -> Key Conjecture -> ShowS show :: Key Conjecture -> String showList :: [Key Conjecture] -> ShowS
ToJSON (Key Conjecture) Source #
Methods toJSON :: Key Conjecture -> Value toEncoding :: Key Conjecture -> Encoding toJSONList :: [Key Conjecture] -> Value toEncodingList :: [Key Conjecture] -> Encoding
ToHttpApiData (Key Conjecture) Source #
Methods toUrlPiece :: Key Conjecture -> Text toEncodedUrlPiece :: Key Conjecture -> Builder toHeader :: Key Conjecture -> ByteString toQueryParam :: Key Conjecture -> Text
PersistFieldSql (Key Conjecture) Source #
Methods sqlType :: Proxy * (Key Conjecture) -> SqlType
PersistField (Key Conjecture) Source #
Methods toPersistValue :: Key Conjecture -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Conjecture)
PathPiece (Key Conjecture) Source #
Methods fromPathPiece :: Text -> Maybe (Key Conjecture) toPathPiece :: Key Conjecture -> Text
FromJSON (Key Conjecture) Source #
Methods parseJSON :: Value -> Parser (Key Conjecture) parseJSONList :: Value -> Parser [Key Conjecture]
FromHttpApiData (Key Conjecture) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Conjecture) parseHeader :: ByteString -> Either Text (Key Conjecture) parseQueryParam :: Text -> Either Text (Key Conjecture)
data Key Conjecture Source #
data Key Conjecture = ConjectureKey { unConjectureKey :: BackendKey SqlBackend }
type PersistEntityBackend Conjecture Source #
type PersistEntityBackend Conjecture = SqlBackend
data EntityField Conjecture Source #
data EntityField Conjecture where ConjectureId :: EntityField Conjecture typ ConjectureActionId :: EntityField Conjecture typ ConjectureProofStatus :: EntityField Conjecture typ
data Unique Conjecture Source #
data Unique Conjecture

type ConjectureId = Key Conjecture Source #

data Symbol Source #

Constructors

Symbol
Fields symbolOmsId :: !(Key LocIdBase) symbolFileRangeId :: !(Maybe (Key FileRange)) symbolSymbolKind :: !String symbolName :: !String symbolFullName :: !Text

Instances

Show Symbol Source #
Methods showsPrec :: Int -> Symbol -> ShowS show :: Symbol -> String showList :: [Symbol] -> ShowS
PersistEntity Symbol Source #
Associated Types type PersistEntityBackend Symbol :: * data Key Symbol :: * data EntityField Symbol a :: * data Unique Symbol :: * Methods keyToValues :: Key Symbol -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Symbol) persistIdField :: EntityField Symbol (Key Symbol) entityDef :: Monad m => m Symbol -> EntityDef persistFieldDef :: EntityField Symbol typ -> FieldDef toPersistFields :: Symbol -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Symbol persistUniqueKeys :: Symbol -> [Unique Symbol] persistUniqueToFieldNames :: Unique Symbol -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Symbol -> [PersistValue] fieldLens :: EntityField Symbol field -> forall f. Functor f => (field -> f field) -> Entity Symbol -> f (Entity Symbol)
PersistFieldSql Symbol Source #
Methods sqlType :: Proxy * Symbol -> SqlType
PersistField Symbol Source #
Methods toPersistValue :: Symbol -> PersistValue fromPersistValue :: PersistValue -> Either Text Symbol
ToBackendKey SqlBackend Symbol Source #
Methods toBackendKey :: Key Symbol -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Symbol
(PersistQuery backend, (~) * (PersistEntityBackend Symbol) (BaseBackend backend)) => DeleteCascade Symbol backend Source #
Methods deleteCascade :: MonadIO m => Key Symbol -> ReaderT * backend m ()
Eq (Key Symbol) Source #
Methods (==) :: Key Symbol -> Key Symbol -> Bool (/=) :: Key Symbol -> Key Symbol -> Bool
Ord (Key Symbol) Source #
Methods compare :: Key Symbol -> Key Symbol -> Ordering (<) :: Key Symbol -> Key Symbol -> Bool (<=) :: Key Symbol -> Key Symbol -> Bool (>) :: Key Symbol -> Key Symbol -> Bool (>=) :: Key Symbol -> Key Symbol -> Bool max :: Key Symbol -> Key Symbol -> Key Symbol min :: Key Symbol -> Key Symbol -> Key Symbol
Read (Key Symbol) Source #
Methods readsPrec :: Int -> ReadS (Key Symbol) readList :: ReadS [Key Symbol] readPrec :: ReadPrec (Key Symbol) readListPrec :: ReadPrec [Key Symbol]
Show (Key Symbol) Source #
Methods showsPrec :: Int -> Key Symbol -> ShowS show :: Key Symbol -> String showList :: [Key Symbol] -> ShowS
ToJSON (Key Symbol) Source #
Methods toJSON :: Key Symbol -> Value toEncoding :: Key Symbol -> Encoding toJSONList :: [Key Symbol] -> Value toEncodingList :: [Key Symbol] -> Encoding
ToHttpApiData (Key Symbol) Source #
Methods toUrlPiece :: Key Symbol -> Text toEncodedUrlPiece :: Key Symbol -> Builder toHeader :: Key Symbol -> ByteString toQueryParam :: Key Symbol -> Text
PersistFieldSql (Key Symbol) Source #
Methods sqlType :: Proxy * (Key Symbol) -> SqlType
PersistField (Key Symbol) Source #
Methods toPersistValue :: Key Symbol -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Symbol)
PathPiece (Key Symbol) Source #
Methods fromPathPiece :: Text -> Maybe (Key Symbol) toPathPiece :: Key Symbol -> Text
FromJSON (Key Symbol) Source #
Methods parseJSON :: Value -> Parser (Key Symbol) parseJSONList :: Value -> Parser [Key Symbol]
FromHttpApiData (Key Symbol) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Symbol) parseHeader :: ByteString -> Either Text (Key Symbol) parseQueryParam :: Text -> Either Text (Key Symbol)
data Key Symbol Source #
data Key Symbol = SymbolKey { unSymbolKey :: BackendKey SqlBackend }
type PersistEntityBackend Symbol Source #
type PersistEntityBackend Symbol = SqlBackend
data EntityField Symbol Source #
data EntityField Symbol where SymbolId :: EntityField Symbol typ SymbolOmsId :: EntityField Symbol typ SymbolFileRangeId :: EntityField Symbol typ SymbolSymbolKind :: EntityField Symbol typ SymbolName :: EntityField Symbol typ SymbolFullName :: EntityField Symbol typ
data Unique Symbol Source #
data Unique Symbol

type SymbolId = Key Symbol Source #

data SymbolMapping Source #

Constructors

SymbolMapping
Fields symbolMappingSignatureMorphismId :: !(Key SignatureMorphism) symbolMappingSourceId :: !(Key LocIdBase) symbolMappingTargetId :: !(Key LocIdBase)

Instances

Show SymbolMapping Source #
Methods showsPrec :: Int -> SymbolMapping -> ShowS show :: SymbolMapping -> String showList :: [SymbolMapping] -> ShowS
PersistEntity SymbolMapping Source #
Associated Types type PersistEntityBackend SymbolMapping :: * data Key SymbolMapping :: * data EntityField SymbolMapping a :: * data Unique SymbolMapping :: * Methods keyToValues :: Key SymbolMapping -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SymbolMapping) persistIdField :: EntityField SymbolMapping (Key SymbolMapping) entityDef :: Monad m => m SymbolMapping -> EntityDef persistFieldDef :: EntityField SymbolMapping typ -> FieldDef toPersistFields :: SymbolMapping -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SymbolMapping persistUniqueKeys :: SymbolMapping -> [Unique SymbolMapping] persistUniqueToFieldNames :: Unique SymbolMapping -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SymbolMapping -> [PersistValue] fieldLens :: EntityField SymbolMapping field -> forall f. Functor f => (field -> f field) -> Entity SymbolMapping -> f (Entity SymbolMapping)
PersistFieldSql SymbolMapping Source #
Methods sqlType :: Proxy * SymbolMapping -> SqlType
PersistField SymbolMapping Source #
Methods toPersistValue :: SymbolMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text SymbolMapping
ToBackendKey SqlBackend SymbolMapping Source #
Methods toBackendKey :: Key SymbolMapping -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key SymbolMapping
(PersistQuery backend, (~) * (PersistEntityBackend SymbolMapping) (BaseBackend backend)) => DeleteCascade SymbolMapping backend Source #
Methods deleteCascade :: MonadIO m => Key SymbolMapping -> ReaderT * backend m ()
Eq (Key SymbolMapping) Source #
Methods (==) :: Key SymbolMapping -> Key SymbolMapping -> Bool (/=) :: Key SymbolMapping -> Key SymbolMapping -> Bool
Ord (Key SymbolMapping) Source #
Methods compare :: Key SymbolMapping -> Key SymbolMapping -> Ordering (<) :: Key SymbolMapping -> Key SymbolMapping -> Bool (<=) :: Key SymbolMapping -> Key SymbolMapping -> Bool (>) :: Key SymbolMapping -> Key SymbolMapping -> Bool (>=) :: Key SymbolMapping -> Key SymbolMapping -> Bool max :: Key SymbolMapping -> Key SymbolMapping -> Key SymbolMapping min :: Key SymbolMapping -> Key SymbolMapping -> Key SymbolMapping
Read (Key SymbolMapping) Source #
Methods readsPrec :: Int -> ReadS (Key SymbolMapping) readList :: ReadS [Key SymbolMapping] readPrec :: ReadPrec (Key SymbolMapping) readListPrec :: ReadPrec [Key SymbolMapping]
Show (Key SymbolMapping) Source #
Methods showsPrec :: Int -> Key SymbolMapping -> ShowS show :: Key SymbolMapping -> String showList :: [Key SymbolMapping] -> ShowS
ToJSON (Key SymbolMapping) Source #
Methods toJSON :: Key SymbolMapping -> Value toEncoding :: Key SymbolMapping -> Encoding toJSONList :: [Key SymbolMapping] -> Value toEncodingList :: [Key SymbolMapping] -> Encoding
ToHttpApiData (Key SymbolMapping) Source #
Methods toUrlPiece :: Key SymbolMapping -> Text toEncodedUrlPiece :: Key SymbolMapping -> Builder toHeader :: Key SymbolMapping -> ByteString toQueryParam :: Key SymbolMapping -> Text
PersistFieldSql (Key SymbolMapping) Source #
Methods sqlType :: Proxy * (Key SymbolMapping) -> SqlType
PersistField (Key SymbolMapping) Source #
Methods toPersistValue :: Key SymbolMapping -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SymbolMapping)
PathPiece (Key SymbolMapping) Source #
Methods fromPathPiece :: Text -> Maybe (Key SymbolMapping) toPathPiece :: Key SymbolMapping -> Text
FromJSON (Key SymbolMapping) Source #
Methods parseJSON :: Value -> Parser (Key SymbolMapping) parseJSONList :: Value -> Parser [Key SymbolMapping]
FromHttpApiData (Key SymbolMapping) Source #
Methods parseUrlPiece :: Text -> Either Text (Key SymbolMapping) parseHeader :: ByteString -> Either Text (Key SymbolMapping) parseQueryParam :: Text -> Either Text (Key SymbolMapping)
data Key SymbolMapping Source #
data Key SymbolMapping = SymbolMappingKey { unSymbolMappingKey :: BackendKey SqlBackend }
type PersistEntityBackend SymbolMapping Source #
type PersistEntityBackend SymbolMapping = SqlBackend
data EntityField SymbolMapping Source #
data EntityField SymbolMapping where SymbolMappingId :: EntityField SymbolMapping typ SymbolMappingSignatureMorphismId :: EntityField SymbolMapping typ SymbolMappingSourceId :: EntityField SymbolMapping typ SymbolMappingTargetId :: EntityField SymbolMapping typ
data Unique SymbolMapping Source #
data Unique SymbolMapping

type SymbolMappingId = Key SymbolMapping Source #

data SentenceSymbol Source #

Constructors

SentenceSymbol
Fields sentenceSymbolSentenceId :: !(Key LocIdBase) sentenceSymbolSymbolId :: !(Key LocIdBase)

Instances

Show SentenceSymbol Source #
Methods showsPrec :: Int -> SentenceSymbol -> ShowS show :: SentenceSymbol -> String showList :: [SentenceSymbol] -> ShowS
PersistEntity SentenceSymbol Source #
Associated Types type PersistEntityBackend SentenceSymbol :: * data Key SentenceSymbol :: * data EntityField SentenceSymbol a :: * data Unique SentenceSymbol :: * Methods keyToValues :: Key SentenceSymbol -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SentenceSymbol) persistIdField :: EntityField SentenceSymbol (Key SentenceSymbol) entityDef :: Monad m => m SentenceSymbol -> EntityDef persistFieldDef :: EntityField SentenceSymbol typ -> FieldDef toPersistFields :: SentenceSymbol -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SentenceSymbol persistUniqueKeys :: SentenceSymbol -> [Unique SentenceSymbol] persistUniqueToFieldNames :: Unique SentenceSymbol -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SentenceSymbol -> [PersistValue] fieldLens :: EntityField SentenceSymbol field -> forall f. Functor f => (field -> f field) -> Entity SentenceSymbol -> f (Entity SentenceSymbol)
PersistFieldSql SentenceSymbol Source #
Methods sqlType :: Proxy * SentenceSymbol -> SqlType
PersistField SentenceSymbol Source #
Methods toPersistValue :: SentenceSymbol -> PersistValue fromPersistValue :: PersistValue -> Either Text SentenceSymbol
(PersistQuery backend, (~) * (PersistEntityBackend SentenceSymbol) (BaseBackend backend)) => DeleteCascade SentenceSymbol backend Source #
Methods deleteCascade :: MonadIO m => Key SentenceSymbol -> ReaderT * backend m ()
Eq (Key SentenceSymbol) Source #
Methods (==) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool (/=) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool
Ord (Key SentenceSymbol) Source #
Methods compare :: Key SentenceSymbol -> Key SentenceSymbol -> Ordering (<) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool (<=) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool (>) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool (>=) :: Key SentenceSymbol -> Key SentenceSymbol -> Bool max :: Key SentenceSymbol -> Key SentenceSymbol -> Key SentenceSymbol min :: Key SentenceSymbol -> Key SentenceSymbol -> Key SentenceSymbol
Read (Key SentenceSymbol) Source #
Methods readsPrec :: Int -> ReadS (Key SentenceSymbol) readList :: ReadS [Key SentenceSymbol] readPrec :: ReadPrec (Key SentenceSymbol) readListPrec :: ReadPrec [Key SentenceSymbol]
Show (Key SentenceSymbol) Source #
Methods showsPrec :: Int -> Key SentenceSymbol -> ShowS show :: Key SentenceSymbol -> String showList :: [Key SentenceSymbol] -> ShowS
Generic (Key SentenceSymbol) Source #
Associated Types type Rep (Key SentenceSymbol) :: * -> * Methods from :: Key SentenceSymbol -> Rep (Key SentenceSymbol) x to :: Rep (Key SentenceSymbol) x -> Key SentenceSymbol
ToJSON (Key SentenceSymbol) Source #
Methods toJSON :: Key SentenceSymbol -> Value toEncoding :: Key SentenceSymbol -> Encoding toJSONList :: [Key SentenceSymbol] -> Value toEncodingList :: [Key SentenceSymbol] -> Encoding
PersistFieldSql (Key SentenceSymbol) Source #
Methods sqlType :: Proxy * (Key SentenceSymbol) -> SqlType
PersistField (Key SentenceSymbol) Source #
Methods toPersistValue :: Key SentenceSymbol -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SentenceSymbol)
FromJSON (Key SentenceSymbol) Source #
Methods parseJSON :: Value -> Parser (Key SentenceSymbol) parseJSONList :: Value -> Parser [Key SentenceSymbol]
data Key SentenceSymbol Source #
data Key SentenceSymbol = SentenceSymbolKey { sentenceSymbolKeysentenceId :: LocIdBaseId sentenceSymbolKeysymbolId :: LocIdBaseId }
type PersistEntityBackend SentenceSymbol Source #
type PersistEntityBackend SentenceSymbol = SqlBackend
data EntityField SentenceSymbol Source #
data EntityField SentenceSymbol where SentenceSymbolId :: EntityField SentenceSymbol typ SentenceSymbolSentenceId :: EntityField SentenceSymbol typ SentenceSymbolSymbolId :: EntityField SentenceSymbol typ
data Unique SentenceSymbol Source #
data Unique SentenceSymbol
type Rep (Key SentenceSymbol) Source #
type Rep (Key SentenceSymbol) = D1 (MetaData "Key" "Persistence.Schema" "main" False) (C1 (MetaCons "SentenceSymbolKey" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "sentenceSymbolKeysentenceId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LocIdBaseId)) (S1 (MetaSel (Just Symbol "sentenceSymbolKeysymbolId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LocIdBaseId))))

type SentenceSymbolId = Key SentenceSymbol Source #

data SignatureSymbol Source #

Constructors

SignatureSymbol
Fields signatureSymbolSignatureId :: !(Key Signature) signatureSymbolSymbolId :: !(Key LocIdBase) signatureSymbolImported :: !Bool

Instances

Show SignatureSymbol Source #
Methods showsPrec :: Int -> SignatureSymbol -> ShowS show :: SignatureSymbol -> String showList :: [SignatureSymbol] -> ShowS
PersistEntity SignatureSymbol Source #
Associated Types type PersistEntityBackend SignatureSymbol :: * data Key SignatureSymbol :: * data EntityField SignatureSymbol a :: * data Unique SignatureSymbol :: * Methods keyToValues :: Key SignatureSymbol -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SignatureSymbol) persistIdField :: EntityField SignatureSymbol (Key SignatureSymbol) entityDef :: Monad m => m SignatureSymbol -> EntityDef persistFieldDef :: EntityField SignatureSymbol typ -> FieldDef toPersistFields :: SignatureSymbol -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SignatureSymbol persistUniqueKeys :: SignatureSymbol -> [Unique SignatureSymbol] persistUniqueToFieldNames :: Unique SignatureSymbol -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SignatureSymbol -> [PersistValue] fieldLens :: EntityField SignatureSymbol field -> forall f. Functor f => (field -> f field) -> Entity SignatureSymbol -> f (Entity SignatureSymbol)
PersistFieldSql SignatureSymbol Source #
Methods sqlType :: Proxy * SignatureSymbol -> SqlType
PersistField SignatureSymbol Source #
Methods toPersistValue :: SignatureSymbol -> PersistValue fromPersistValue :: PersistValue -> Either Text SignatureSymbol
(PersistQuery backend, (~) * (PersistEntityBackend SignatureSymbol) (BaseBackend backend)) => DeleteCascade SignatureSymbol backend Source #
Methods deleteCascade :: MonadIO m => Key SignatureSymbol -> ReaderT * backend m ()
Eq (Key SignatureSymbol) Source #
Methods (==) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool (/=) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool
Ord (Key SignatureSymbol) Source #
Methods compare :: Key SignatureSymbol -> Key SignatureSymbol -> Ordering (<) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool (<=) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool (>) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool (>=) :: Key SignatureSymbol -> Key SignatureSymbol -> Bool max :: Key SignatureSymbol -> Key SignatureSymbol -> Key SignatureSymbol min :: Key SignatureSymbol -> Key SignatureSymbol -> Key SignatureSymbol
Read (Key SignatureSymbol) Source #
Methods readsPrec :: Int -> ReadS (Key SignatureSymbol) readList :: ReadS [Key SignatureSymbol] readPrec :: ReadPrec (Key SignatureSymbol) readListPrec :: ReadPrec [Key SignatureSymbol]
Show (Key SignatureSymbol) Source #
Methods showsPrec :: Int -> Key SignatureSymbol -> ShowS show :: Key SignatureSymbol -> String showList :: [Key SignatureSymbol] -> ShowS
Generic (Key SignatureSymbol) Source #
Associated Types type Rep (Key SignatureSymbol) :: * -> * Methods from :: Key SignatureSymbol -> Rep (Key SignatureSymbol) x to :: Rep (Key SignatureSymbol) x -> Key SignatureSymbol
ToJSON (Key SignatureSymbol) Source #
Methods toJSON :: Key SignatureSymbol -> Value toEncoding :: Key SignatureSymbol -> Encoding toJSONList :: [Key SignatureSymbol] -> Value toEncodingList :: [Key SignatureSymbol] -> Encoding
PersistFieldSql (Key SignatureSymbol) Source #
Methods sqlType :: Proxy * (Key SignatureSymbol) -> SqlType
PersistField (Key SignatureSymbol) Source #
Methods toPersistValue :: Key SignatureSymbol -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SignatureSymbol)
FromJSON (Key SignatureSymbol) Source #
Methods parseJSON :: Value -> Parser (Key SignatureSymbol) parseJSONList :: Value -> Parser [Key SignatureSymbol]
data Key SignatureSymbol Source #
data Key SignatureSymbol = SignatureSymbolKey { signatureSymbolKeysignatureId :: SignatureId signatureSymbolKeysymbolId :: LocIdBaseId }
type PersistEntityBackend SignatureSymbol Source #
type PersistEntityBackend SignatureSymbol = SqlBackend
data EntityField SignatureSymbol Source #
data EntityField SignatureSymbol where SignatureSymbolId :: EntityField SignatureSymbol typ SignatureSymbolSignatureId :: EntityField SignatureSymbol typ SignatureSymbolSymbolId :: EntityField SignatureSymbol typ SignatureSymbolImported :: EntityField SignatureSymbol typ
data Unique SignatureSymbol Source #
data Unique SignatureSymbol
type Rep (Key SignatureSymbol) Source #
type Rep (Key SignatureSymbol) = D1 (MetaData "Key" "Persistence.Schema" "main" False) (C1 (MetaCons "SignatureSymbolKey" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "signatureSymbolKeysignatureId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SignatureId)) (S1 (MetaSel (Just Symbol "signatureSymbolKeysymbolId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LocIdBaseId))))

type SignatureSymbolId = Key SignatureSymbol Source #

data Reasoner Source #

Constructors

Reasoner
Fields reasonerSlug :: !String reasonerKind :: !ReasonerKindType reasonerDisplayName :: !String

Instances

Show Reasoner Source #
Methods showsPrec :: Int -> Reasoner -> ShowS show :: Reasoner -> String showList :: [Reasoner] -> ShowS
PersistEntity Reasoner Source #
Associated Types type PersistEntityBackend Reasoner :: * data Key Reasoner :: * data EntityField Reasoner a :: * data Unique Reasoner :: * Methods keyToValues :: Key Reasoner -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key Reasoner) persistIdField :: EntityField Reasoner (Key Reasoner) entityDef :: Monad m => m Reasoner -> EntityDef persistFieldDef :: EntityField Reasoner typ -> FieldDef toPersistFields :: Reasoner -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text Reasoner persistUniqueKeys :: Reasoner -> [Unique Reasoner] persistUniqueToFieldNames :: Unique Reasoner -> [(HaskellName, DBName)] persistUniqueToValues :: Unique Reasoner -> [PersistValue] fieldLens :: EntityField Reasoner field -> forall f. Functor f => (field -> f field) -> Entity Reasoner -> f (Entity Reasoner)
PersistFieldSql Reasoner Source #
Methods sqlType :: Proxy * Reasoner -> SqlType
PersistField Reasoner Source #
Methods toPersistValue :: Reasoner -> PersistValue fromPersistValue :: PersistValue -> Either Text Reasoner
ToBackendKey SqlBackend Reasoner Source #
Methods toBackendKey :: Key Reasoner -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key Reasoner
(PersistQuery backend, (~) * (PersistEntityBackend Reasoner) (BaseBackend backend)) => DeleteCascade Reasoner backend Source #
Methods deleteCascade :: MonadIO m => Key Reasoner -> ReaderT * backend m ()
Eq (Key Reasoner) Source #
Methods (==) :: Key Reasoner -> Key Reasoner -> Bool (/=) :: Key Reasoner -> Key Reasoner -> Bool
Ord (Key Reasoner) Source #
Methods compare :: Key Reasoner -> Key Reasoner -> Ordering (<) :: Key Reasoner -> Key Reasoner -> Bool (<=) :: Key Reasoner -> Key Reasoner -> Bool (>) :: Key Reasoner -> Key Reasoner -> Bool (>=) :: Key Reasoner -> Key Reasoner -> Bool max :: Key Reasoner -> Key Reasoner -> Key Reasoner min :: Key Reasoner -> Key Reasoner -> Key Reasoner
Read (Key Reasoner) Source #
Methods readsPrec :: Int -> ReadS (Key Reasoner) readList :: ReadS [Key Reasoner] readPrec :: ReadPrec (Key Reasoner) readListPrec :: ReadPrec [Key Reasoner]
Show (Key Reasoner) Source #
Methods showsPrec :: Int -> Key Reasoner -> ShowS show :: Key Reasoner -> String showList :: [Key Reasoner] -> ShowS
ToJSON (Key Reasoner) Source #
Methods toJSON :: Key Reasoner -> Value toEncoding :: Key Reasoner -> Encoding toJSONList :: [Key Reasoner] -> Value toEncodingList :: [Key Reasoner] -> Encoding
ToHttpApiData (Key Reasoner) Source #
Methods toUrlPiece :: Key Reasoner -> Text toEncodedUrlPiece :: Key Reasoner -> Builder toHeader :: Key Reasoner -> ByteString toQueryParam :: Key Reasoner -> Text
PersistFieldSql (Key Reasoner) Source #
Methods sqlType :: Proxy * (Key Reasoner) -> SqlType
PersistField (Key Reasoner) Source #
Methods toPersistValue :: Key Reasoner -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key Reasoner)
PathPiece (Key Reasoner) Source #
Methods fromPathPiece :: Text -> Maybe (Key Reasoner) toPathPiece :: Key Reasoner -> Text
FromJSON (Key Reasoner) Source #
Methods parseJSON :: Value -> Parser (Key Reasoner) parseJSONList :: Value -> Parser [Key Reasoner]
FromHttpApiData (Key Reasoner) Source #
Methods parseUrlPiece :: Text -> Either Text (Key Reasoner) parseHeader :: ByteString -> Either Text (Key Reasoner) parseQueryParam :: Text -> Either Text (Key Reasoner)
data Key Reasoner Source #
data Key Reasoner = ReasonerKey { unReasonerKey :: BackendKey SqlBackend }
type PersistEntityBackend Reasoner Source #
type PersistEntityBackend Reasoner = SqlBackend
data EntityField Reasoner Source #
data EntityField Reasoner where ReasonerId :: EntityField Reasoner typ ReasonerSlug :: EntityField Reasoner typ ReasonerKind :: EntityField Reasoner typ ReasonerDisplayName :: EntityField Reasoner typ
data Unique Reasoner Source #
data Unique Reasoner = UniqueReasonerSlugAndKind String ReasonerKindType

type ReasonerId = Key Reasoner Source #

data ReasonerConfiguration Source #

Constructors

ReasonerConfiguration
Fields reasonerConfigurationConfiguredReasonerId :: !(Maybe (Key Reasoner)) reasonerConfigurationTimeLimit :: !(Maybe Int)

Instances

Show ReasonerConfiguration Source #
Methods showsPrec :: Int -> ReasonerConfiguration -> ShowS show :: ReasonerConfiguration -> String showList :: [ReasonerConfiguration] -> ShowS
PersistEntity ReasonerConfiguration Source #
Associated Types type PersistEntityBackend ReasonerConfiguration :: * data Key ReasonerConfiguration :: * data EntityField ReasonerConfiguration a :: * data Unique ReasonerConfiguration :: * Methods keyToValues :: Key ReasonerConfiguration -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key ReasonerConfiguration) persistIdField :: EntityField ReasonerConfiguration (Key ReasonerConfiguration) entityDef :: Monad m => m ReasonerConfiguration -> EntityDef persistFieldDef :: EntityField ReasonerConfiguration typ -> FieldDef toPersistFields :: ReasonerConfiguration -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text ReasonerConfiguration persistUniqueKeys :: ReasonerConfiguration -> [Unique ReasonerConfiguration] persistUniqueToFieldNames :: Unique ReasonerConfiguration -> [(HaskellName, DBName)] persistUniqueToValues :: Unique ReasonerConfiguration -> [PersistValue] fieldLens :: EntityField ReasonerConfiguration field -> forall f. Functor f => (field -> f field) -> Entity ReasonerConfiguration -> f (Entity ReasonerConfiguration)
PersistFieldSql ReasonerConfiguration Source #
Methods sqlType :: Proxy * ReasonerConfiguration -> SqlType
PersistField ReasonerConfiguration Source #
Methods toPersistValue :: ReasonerConfiguration -> PersistValue fromPersistValue :: PersistValue -> Either Text ReasonerConfiguration
ToBackendKey SqlBackend ReasonerConfiguration Source #
Methods toBackendKey :: Key ReasonerConfiguration -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key ReasonerConfiguration
(PersistQuery backend, (~) * (PersistEntityBackend ReasonerConfiguration) (BaseBackend backend)) => DeleteCascade ReasonerConfiguration backend Source #
Methods deleteCascade :: MonadIO m => Key ReasonerConfiguration -> ReaderT * backend m ()
Eq (Key ReasonerConfiguration) Source #
Methods (==) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool (/=) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool
Ord (Key ReasonerConfiguration) Source #
Methods compare :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Ordering (<) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool (<=) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool (>) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool (>=) :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Bool max :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Key ReasonerConfiguration min :: Key ReasonerConfiguration -> Key ReasonerConfiguration -> Key ReasonerConfiguration
Read (Key ReasonerConfiguration) Source #
Methods readsPrec :: Int -> ReadS (Key ReasonerConfiguration) readList :: ReadS [Key ReasonerConfiguration] readPrec :: ReadPrec (Key ReasonerConfiguration) readListPrec :: ReadPrec [Key ReasonerConfiguration]
Show (Key ReasonerConfiguration) Source #
Methods showsPrec :: Int -> Key ReasonerConfiguration -> ShowS show :: Key ReasonerConfiguration -> String showList :: [Key ReasonerConfiguration] -> ShowS
ToJSON (Key ReasonerConfiguration) Source #
Methods toJSON :: Key ReasonerConfiguration -> Value toEncoding :: Key ReasonerConfiguration -> Encoding toJSONList :: [Key ReasonerConfiguration] -> Value toEncodingList :: [Key ReasonerConfiguration] -> Encoding
ToHttpApiData (Key ReasonerConfiguration) Source #
Methods toUrlPiece :: Key ReasonerConfiguration -> Text toEncodedUrlPiece :: Key ReasonerConfiguration -> Builder toHeader :: Key ReasonerConfiguration -> ByteString toQueryParam :: Key ReasonerConfiguration -> Text
PersistFieldSql (Key ReasonerConfiguration) Source #
Methods sqlType :: Proxy * (Key ReasonerConfiguration) -> SqlType
PersistField (Key ReasonerConfiguration) Source #
Methods toPersistValue :: Key ReasonerConfiguration -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key ReasonerConfiguration)
PathPiece (Key ReasonerConfiguration) Source #
Methods fromPathPiece :: Text -> Maybe (Key ReasonerConfiguration) toPathPiece :: Key ReasonerConfiguration -> Text
FromJSON (Key ReasonerConfiguration) Source #
Methods parseJSON :: Value -> Parser (Key ReasonerConfiguration) parseJSONList :: Value -> Parser [Key ReasonerConfiguration]
FromHttpApiData (Key ReasonerConfiguration) Source #
Methods parseUrlPiece :: Text -> Either Text (Key ReasonerConfiguration) parseHeader :: ByteString -> Either Text (Key ReasonerConfiguration) parseQueryParam :: Text -> Either Text (Key ReasonerConfiguration)
data Key ReasonerConfiguration Source #
data Key ReasonerConfiguration = ReasonerConfigurationKey { unReasonerConfigurationKey :: BackendKey SqlBackend }
type PersistEntityBackend ReasonerConfiguration Source #
type PersistEntityBackend ReasonerConfiguration = SqlBackend
data EntityField ReasonerConfiguration Source #
data EntityField ReasonerConfiguration where ReasonerConfigurationId :: EntityField ReasonerConfiguration typ ReasonerConfigurationConfiguredReasonerId :: EntityField ReasonerConfiguration typ ReasonerConfigurationTimeLimit :: EntityField ReasonerConfiguration typ
data Unique ReasonerConfiguration Source #
data Unique ReasonerConfiguration

type ReasonerConfigurationId = Key ReasonerConfiguration Source #

data ManualPremiseSelection Source #

Constructors

ManualPremiseSelection

Instances

Show ManualPremiseSelection Source #
Methods showsPrec :: Int -> ManualPremiseSelection -> ShowS show :: ManualPremiseSelection -> String showList :: [ManualPremiseSelection] -> ShowS
PersistEntity ManualPremiseSelection Source #
Associated Types type PersistEntityBackend ManualPremiseSelection :: * data Key ManualPremiseSelection :: * data EntityField ManualPremiseSelection a :: * data Unique ManualPremiseSelection :: * Methods keyToValues :: Key ManualPremiseSelection -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key ManualPremiseSelection) persistIdField :: EntityField ManualPremiseSelection (Key ManualPremiseSelection) entityDef :: Monad m => m ManualPremiseSelection -> EntityDef persistFieldDef :: EntityField ManualPremiseSelection typ -> FieldDef toPersistFields :: ManualPremiseSelection -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text ManualPremiseSelection persistUniqueKeys :: ManualPremiseSelection -> [Unique ManualPremiseSelection] persistUniqueToFieldNames :: Unique ManualPremiseSelection -> [(HaskellName, DBName)] persistUniqueToValues :: Unique ManualPremiseSelection -> [PersistValue] fieldLens :: EntityField ManualPremiseSelection field -> forall f. Functor f => (field -> f field) -> Entity ManualPremiseSelection -> f (Entity ManualPremiseSelection)
PersistFieldSql ManualPremiseSelection Source #
Methods sqlType :: Proxy * ManualPremiseSelection -> SqlType
PersistField ManualPremiseSelection Source #
Methods toPersistValue :: ManualPremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text ManualPremiseSelection
ToBackendKey SqlBackend ManualPremiseSelection Source #
Methods toBackendKey :: Key ManualPremiseSelection -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key ManualPremiseSelection
(PersistQuery backend, (~) * (PersistEntityBackend ManualPremiseSelection) (BaseBackend backend)) => DeleteCascade ManualPremiseSelection backend Source #
Methods deleteCascade :: MonadIO m => Key ManualPremiseSelection -> ReaderT * backend m ()
Eq (Key ManualPremiseSelection) Source #
Methods (==) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool (/=) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool
Ord (Key ManualPremiseSelection) Source #
Methods compare :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Ordering (<) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool (<=) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool (>) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool (>=) :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Bool max :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Key ManualPremiseSelection min :: Key ManualPremiseSelection -> Key ManualPremiseSelection -> Key ManualPremiseSelection
Read (Key ManualPremiseSelection) Source #
Methods readsPrec :: Int -> ReadS (Key ManualPremiseSelection) readList :: ReadS [Key ManualPremiseSelection] readPrec :: ReadPrec (Key ManualPremiseSelection) readListPrec :: ReadPrec [Key ManualPremiseSelection]
Show (Key ManualPremiseSelection) Source #
Methods showsPrec :: Int -> Key ManualPremiseSelection -> ShowS show :: Key ManualPremiseSelection -> String showList :: [Key ManualPremiseSelection] -> ShowS
ToJSON (Key ManualPremiseSelection) Source #
Methods toJSON :: Key ManualPremiseSelection -> Value toEncoding :: Key ManualPremiseSelection -> Encoding toJSONList :: [Key ManualPremiseSelection] -> Value toEncodingList :: [Key ManualPremiseSelection] -> Encoding
ToHttpApiData (Key ManualPremiseSelection) Source #
Methods toUrlPiece :: Key ManualPremiseSelection -> Text toEncodedUrlPiece :: Key ManualPremiseSelection -> Builder toHeader :: Key ManualPremiseSelection -> ByteString toQueryParam :: Key ManualPremiseSelection -> Text
PersistFieldSql (Key ManualPremiseSelection) Source #
Methods sqlType :: Proxy * (Key ManualPremiseSelection) -> SqlType
PersistField (Key ManualPremiseSelection) Source #
Methods toPersistValue :: Key ManualPremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key ManualPremiseSelection)
PathPiece (Key ManualPremiseSelection) Source #
Methods fromPathPiece :: Text -> Maybe (Key ManualPremiseSelection) toPathPiece :: Key ManualPremiseSelection -> Text
FromJSON (Key ManualPremiseSelection) Source #
Methods parseJSON :: Value -> Parser (Key ManualPremiseSelection) parseJSONList :: Value -> Parser [Key ManualPremiseSelection]
FromHttpApiData (Key ManualPremiseSelection) Source #
Methods parseUrlPiece :: Text -> Either Text (Key ManualPremiseSelection) parseHeader :: ByteString -> Either Text (Key ManualPremiseSelection) parseQueryParam :: Text -> Either Text (Key ManualPremiseSelection)
data Key ManualPremiseSelection Source #
data Key ManualPremiseSelection = ManualPremiseSelectionKey { unManualPremiseSelectionKey :: BackendKey SqlBackend }
type PersistEntityBackend ManualPremiseSelection Source #
type PersistEntityBackend ManualPremiseSelection = SqlBackend
data EntityField ManualPremiseSelection Source #
data EntityField ManualPremiseSelection where ManualPremiseSelectionId :: EntityField ManualPremiseSelection typ
data Unique ManualPremiseSelection Source #
data Unique ManualPremiseSelection

type ManualPremiseSelectionId = Key ManualPremiseSelection Source #

data SinePremiseSelection Source #

Constructors

SinePremiseSelection
Fields sinePremiseSelectionDepthLimit :: !(Maybe Int) sinePremiseSelectionTolerance :: !(Maybe Double) sinePremiseSelectionAxiomNumberLimit :: !(Maybe Int)

Instances

Show SinePremiseSelection Source #
Methods showsPrec :: Int -> SinePremiseSelection -> ShowS show :: SinePremiseSelection -> String showList :: [SinePremiseSelection] -> ShowS
PersistEntity SinePremiseSelection Source #
Associated Types type PersistEntityBackend SinePremiseSelection :: * data Key SinePremiseSelection :: * data EntityField SinePremiseSelection a :: * data Unique SinePremiseSelection :: * Methods keyToValues :: Key SinePremiseSelection -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SinePremiseSelection) persistIdField :: EntityField SinePremiseSelection (Key SinePremiseSelection) entityDef :: Monad m => m SinePremiseSelection -> EntityDef persistFieldDef :: EntityField SinePremiseSelection typ -> FieldDef toPersistFields :: SinePremiseSelection -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SinePremiseSelection persistUniqueKeys :: SinePremiseSelection -> [Unique SinePremiseSelection] persistUniqueToFieldNames :: Unique SinePremiseSelection -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SinePremiseSelection -> [PersistValue] fieldLens :: EntityField SinePremiseSelection field -> forall f. Functor f => (field -> f field) -> Entity SinePremiseSelection -> f (Entity SinePremiseSelection)
PersistFieldSql SinePremiseSelection Source #
Methods sqlType :: Proxy * SinePremiseSelection -> SqlType
PersistField SinePremiseSelection Source #
Methods toPersistValue :: SinePremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text SinePremiseSelection
ToBackendKey SqlBackend SinePremiseSelection Source #
Methods toBackendKey :: Key SinePremiseSelection -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key SinePremiseSelection
(PersistQuery backend, (~) * (PersistEntityBackend SinePremiseSelection) (BaseBackend backend)) => DeleteCascade SinePremiseSelection backend Source #
Methods deleteCascade :: MonadIO m => Key SinePremiseSelection -> ReaderT * backend m ()
Eq (Key SinePremiseSelection) Source #
Methods (==) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool (/=) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool
Ord (Key SinePremiseSelection) Source #
Methods compare :: Key SinePremiseSelection -> Key SinePremiseSelection -> Ordering (<) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool (<=) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool (>) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool (>=) :: Key SinePremiseSelection -> Key SinePremiseSelection -> Bool max :: Key SinePremiseSelection -> Key SinePremiseSelection -> Key SinePremiseSelection min :: Key SinePremiseSelection -> Key SinePremiseSelection -> Key SinePremiseSelection
Read (Key SinePremiseSelection) Source #
Methods readsPrec :: Int -> ReadS (Key SinePremiseSelection) readList :: ReadS [Key SinePremiseSelection] readPrec :: ReadPrec (Key SinePremiseSelection) readListPrec :: ReadPrec [Key SinePremiseSelection]
Show (Key SinePremiseSelection) Source #
Methods showsPrec :: Int -> Key SinePremiseSelection -> ShowS show :: Key SinePremiseSelection -> String showList :: [Key SinePremiseSelection] -> ShowS
ToJSON (Key SinePremiseSelection) Source #
Methods toJSON :: Key SinePremiseSelection -> Value toEncoding :: Key SinePremiseSelection -> Encoding toJSONList :: [Key SinePremiseSelection] -> Value toEncodingList :: [Key SinePremiseSelection] -> Encoding
ToHttpApiData (Key SinePremiseSelection) Source #
Methods toUrlPiece :: Key SinePremiseSelection -> Text toEncodedUrlPiece :: Key SinePremiseSelection -> Builder toHeader :: Key SinePremiseSelection -> ByteString toQueryParam :: Key SinePremiseSelection -> Text
PersistFieldSql (Key SinePremiseSelection) Source #
Methods sqlType :: Proxy * (Key SinePremiseSelection) -> SqlType
PersistField (Key SinePremiseSelection) Source #
Methods toPersistValue :: Key SinePremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SinePremiseSelection)
PathPiece (Key SinePremiseSelection) Source #
Methods fromPathPiece :: Text -> Maybe (Key SinePremiseSelection) toPathPiece :: Key SinePremiseSelection -> Text
FromJSON (Key SinePremiseSelection) Source #
Methods parseJSON :: Value -> Parser (Key SinePremiseSelection) parseJSONList :: Value -> Parser [Key SinePremiseSelection]
FromHttpApiData (Key SinePremiseSelection) Source #
Methods parseUrlPiece :: Text -> Either Text (Key SinePremiseSelection) parseHeader :: ByteString -> Either Text (Key SinePremiseSelection) parseQueryParam :: Text -> Either Text (Key SinePremiseSelection)
data Key SinePremiseSelection Source #
data Key SinePremiseSelection = SinePremiseSelectionKey { unSinePremiseSelectionKey :: BackendKey SqlBackend }
type PersistEntityBackend SinePremiseSelection Source #
type PersistEntityBackend SinePremiseSelection = SqlBackend
data EntityField SinePremiseSelection Source #
data EntityField SinePremiseSelection where SinePremiseSelectionId :: EntityField SinePremiseSelection typ SinePremiseSelectionDepthLimit :: EntityField SinePremiseSelection typ SinePremiseSelectionTolerance :: EntityField SinePremiseSelection typ SinePremiseSelectionAxiomNumberLimit :: EntityField SinePremiseSelection typ
data Unique SinePremiseSelection Source #
data Unique SinePremiseSelection

type SinePremiseSelectionId = Key SinePremiseSelection Source #

data SineSymbolPremiseTrigger Source #

Constructors

SineSymbolPremiseTrigger
Fields sineSymbolPremiseTriggerSinePremiseSelectionId :: !(Key SinePremiseSelection) sineSymbolPremiseTriggerPremiseId :: !(Key LocIdBase) sineSymbolPremiseTriggerSymbolId :: !(Key LocIdBase) sineSymbolPremiseTriggerMinTolerance :: !Double

Instances

Show SineSymbolPremiseTrigger Source #
Methods showsPrec :: Int -> SineSymbolPremiseTrigger -> ShowS show :: SineSymbolPremiseTrigger -> String showList :: [SineSymbolPremiseTrigger] -> ShowS
PersistEntity SineSymbolPremiseTrigger Source #
Associated Types type PersistEntityBackend SineSymbolPremiseTrigger :: * data Key SineSymbolPremiseTrigger :: * data EntityField SineSymbolPremiseTrigger a :: * data Unique SineSymbolPremiseTrigger :: * Methods keyToValues :: Key SineSymbolPremiseTrigger -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SineSymbolPremiseTrigger) persistIdField :: EntityField SineSymbolPremiseTrigger (Key SineSymbolPremiseTrigger) entityDef :: Monad m => m SineSymbolPremiseTrigger -> EntityDef persistFieldDef :: EntityField SineSymbolPremiseTrigger typ -> FieldDef toPersistFields :: SineSymbolPremiseTrigger -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SineSymbolPremiseTrigger persistUniqueKeys :: SineSymbolPremiseTrigger -> [Unique SineSymbolPremiseTrigger] persistUniqueToFieldNames :: Unique SineSymbolPremiseTrigger -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SineSymbolPremiseTrigger -> [PersistValue] fieldLens :: EntityField SineSymbolPremiseTrigger field -> forall f. Functor f => (field -> f field) -> Entity SineSymbolPremiseTrigger -> f (Entity SineSymbolPremiseTrigger)
PersistFieldSql SineSymbolPremiseTrigger Source #
Methods sqlType :: Proxy * SineSymbolPremiseTrigger -> SqlType
PersistField SineSymbolPremiseTrigger Source #
Methods toPersistValue :: SineSymbolPremiseTrigger -> PersistValue fromPersistValue :: PersistValue -> Either Text SineSymbolPremiseTrigger
ToBackendKey SqlBackend SineSymbolPremiseTrigger Source #
Methods toBackendKey :: Key SineSymbolPremiseTrigger -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key SineSymbolPremiseTrigger
(PersistQuery backend, (~) * (PersistEntityBackend SineSymbolPremiseTrigger) (BaseBackend backend)) => DeleteCascade SineSymbolPremiseTrigger backend Source #
Methods deleteCascade :: MonadIO m => Key SineSymbolPremiseTrigger -> ReaderT * backend m ()
Eq (Key SineSymbolPremiseTrigger) Source #
Methods (==) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool (/=) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool
Ord (Key SineSymbolPremiseTrigger) Source #
Methods compare :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Ordering (<) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool (<=) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool (>) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool (>=) :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Bool max :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger min :: Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger -> Key SineSymbolPremiseTrigger
Read (Key SineSymbolPremiseTrigger) Source #
Methods readsPrec :: Int -> ReadS (Key SineSymbolPremiseTrigger) readList :: ReadS [Key SineSymbolPremiseTrigger] readPrec :: ReadPrec (Key SineSymbolPremiseTrigger) readListPrec :: ReadPrec [Key SineSymbolPremiseTrigger]
Show (Key SineSymbolPremiseTrigger) Source #
Methods showsPrec :: Int -> Key SineSymbolPremiseTrigger -> ShowS show :: Key SineSymbolPremiseTrigger -> String showList :: [Key SineSymbolPremiseTrigger] -> ShowS
ToJSON (Key SineSymbolPremiseTrigger) Source #
Methods toJSON :: Key SineSymbolPremiseTrigger -> Value toEncoding :: Key SineSymbolPremiseTrigger -> Encoding toJSONList :: [Key SineSymbolPremiseTrigger] -> Value toEncodingList :: [Key SineSymbolPremiseTrigger] -> Encoding
ToHttpApiData (Key SineSymbolPremiseTrigger) Source #
Methods toUrlPiece :: Key SineSymbolPremiseTrigger -> Text toEncodedUrlPiece :: Key SineSymbolPremiseTrigger -> Builder toHeader :: Key SineSymbolPremiseTrigger -> ByteString toQueryParam :: Key SineSymbolPremiseTrigger -> Text
PersistFieldSql (Key SineSymbolPremiseTrigger) Source #
Methods sqlType :: Proxy * (Key SineSymbolPremiseTrigger) -> SqlType
PersistField (Key SineSymbolPremiseTrigger) Source #
Methods toPersistValue :: Key SineSymbolPremiseTrigger -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SineSymbolPremiseTrigger)
PathPiece (Key SineSymbolPremiseTrigger) Source #
Methods fromPathPiece :: Text -> Maybe (Key SineSymbolPremiseTrigger) toPathPiece :: Key SineSymbolPremiseTrigger -> Text
FromJSON (Key SineSymbolPremiseTrigger) Source #
Methods parseJSON :: Value -> Parser (Key SineSymbolPremiseTrigger) parseJSONList :: Value -> Parser [Key SineSymbolPremiseTrigger]
FromHttpApiData (Key SineSymbolPremiseTrigger) Source #
Methods parseUrlPiece :: Text -> Either Text (Key SineSymbolPremiseTrigger) parseHeader :: ByteString -> Either Text (Key SineSymbolPremiseTrigger) parseQueryParam :: Text -> Either Text (Key SineSymbolPremiseTrigger)
data Key SineSymbolPremiseTrigger Source #
data Key SineSymbolPremiseTrigger = SineSymbolPremiseTriggerKey { unSineSymbolPremiseTriggerKey :: BackendKey SqlBackend }
type PersistEntityBackend SineSymbolPremiseTrigger Source #
type PersistEntityBackend SineSymbolPremiseTrigger = SqlBackend
data EntityField SineSymbolPremiseTrigger Source #
data EntityField SineSymbolPremiseTrigger where SineSymbolPremiseTriggerId :: EntityField SineSymbolPremiseTrigger typ SineSymbolPremiseTriggerSinePremiseSelectionId :: EntityField SineSymbolPremiseTrigger typ SineSymbolPremiseTriggerPremiseId :: EntityField SineSymbolPremiseTrigger typ SineSymbolPremiseTriggerSymbolId :: EntityField SineSymbolPremiseTrigger typ SineSymbolPremiseTriggerMinTolerance :: EntityField SineSymbolPremiseTrigger typ
data Unique SineSymbolPremiseTrigger Source #
data Unique SineSymbolPremiseTrigger

type SineSymbolPremiseTriggerId = Key SineSymbolPremiseTrigger Source #

data SineSymbolCommonness Source #

Constructors

SineSymbolCommonness
Fields sineSymbolCommonnessSinePremiseSelectionId :: !(Key SinePremiseSelection) sineSymbolCommonnessSymbolId :: !(Key LocIdBase) sineSymbolCommonnessCommonness :: !Int

Instances

Show SineSymbolCommonness Source #
Methods showsPrec :: Int -> SineSymbolCommonness -> ShowS show :: SineSymbolCommonness -> String showList :: [SineSymbolCommonness] -> ShowS
PersistEntity SineSymbolCommonness Source #
Associated Types type PersistEntityBackend SineSymbolCommonness :: * data Key SineSymbolCommonness :: * data EntityField SineSymbolCommonness a :: * data Unique SineSymbolCommonness :: * Methods keyToValues :: Key SineSymbolCommonness -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key SineSymbolCommonness) persistIdField :: EntityField SineSymbolCommonness (Key SineSymbolCommonness) entityDef :: Monad m => m SineSymbolCommonness -> EntityDef persistFieldDef :: EntityField SineSymbolCommonness typ -> FieldDef toPersistFields :: SineSymbolCommonness -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text SineSymbolCommonness persistUniqueKeys :: SineSymbolCommonness -> [Unique SineSymbolCommonness] persistUniqueToFieldNames :: Unique SineSymbolCommonness -> [(HaskellName, DBName)] persistUniqueToValues :: Unique SineSymbolCommonness -> [PersistValue] fieldLens :: EntityField SineSymbolCommonness field -> forall f. Functor f => (field -> f field) -> Entity SineSymbolCommonness -> f (Entity SineSymbolCommonness)
PersistFieldSql SineSymbolCommonness Source #
Methods sqlType :: Proxy * SineSymbolCommonness -> SqlType
PersistField SineSymbolCommonness Source #
Methods toPersistValue :: SineSymbolCommonness -> PersistValue fromPersistValue :: PersistValue -> Either Text SineSymbolCommonness
ToBackendKey SqlBackend SineSymbolCommonness Source #
Methods toBackendKey :: Key SineSymbolCommonness -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key SineSymbolCommonness
(PersistQuery backend, (~) * (PersistEntityBackend SineSymbolCommonness) (BaseBackend backend)) => DeleteCascade SineSymbolCommonness backend Source #
Methods deleteCascade :: MonadIO m => Key SineSymbolCommonness -> ReaderT * backend m ()
Eq (Key SineSymbolCommonness) Source #
Methods (==) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool (/=) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool
Ord (Key SineSymbolCommonness) Source #
Methods compare :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Ordering (<) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool (<=) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool (>) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool (>=) :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Bool max :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Key SineSymbolCommonness min :: Key SineSymbolCommonness -> Key SineSymbolCommonness -> Key SineSymbolCommonness
Read (Key SineSymbolCommonness) Source #
Methods readsPrec :: Int -> ReadS (Key SineSymbolCommonness) readList :: ReadS [Key SineSymbolCommonness] readPrec :: ReadPrec (Key SineSymbolCommonness) readListPrec :: ReadPrec [Key SineSymbolCommonness]
Show (Key SineSymbolCommonness) Source #
Methods showsPrec :: Int -> Key SineSymbolCommonness -> ShowS show :: Key SineSymbolCommonness -> String showList :: [Key SineSymbolCommonness] -> ShowS
ToJSON (Key SineSymbolCommonness) Source #
Methods toJSON :: Key SineSymbolCommonness -> Value toEncoding :: Key SineSymbolCommonness -> Encoding toJSONList :: [Key SineSymbolCommonness] -> Value toEncodingList :: [Key SineSymbolCommonness] -> Encoding
ToHttpApiData (Key SineSymbolCommonness) Source #
Methods toUrlPiece :: Key SineSymbolCommonness -> Text toEncodedUrlPiece :: Key SineSymbolCommonness -> Builder toHeader :: Key SineSymbolCommonness -> ByteString toQueryParam :: Key SineSymbolCommonness -> Text
PersistFieldSql (Key SineSymbolCommonness) Source #
Methods sqlType :: Proxy * (Key SineSymbolCommonness) -> SqlType
PersistField (Key SineSymbolCommonness) Source #
Methods toPersistValue :: Key SineSymbolCommonness -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key SineSymbolCommonness)
PathPiece (Key SineSymbolCommonness) Source #
Methods fromPathPiece :: Text -> Maybe (Key SineSymbolCommonness) toPathPiece :: Key SineSymbolCommonness -> Text
FromJSON (Key SineSymbolCommonness) Source #
Methods parseJSON :: Value -> Parser (Key SineSymbolCommonness) parseJSONList :: Value -> Parser [Key SineSymbolCommonness]
FromHttpApiData (Key SineSymbolCommonness) Source #
Methods parseUrlPiece :: Text -> Either Text (Key SineSymbolCommonness) parseHeader :: ByteString -> Either Text (Key SineSymbolCommonness) parseQueryParam :: Text -> Either Text (Key SineSymbolCommonness)
data Key SineSymbolCommonness Source #
data Key SineSymbolCommonness = SineSymbolCommonnessKey { unSineSymbolCommonnessKey :: BackendKey SqlBackend }
type PersistEntityBackend SineSymbolCommonness Source #
type PersistEntityBackend SineSymbolCommonness = SqlBackend
data EntityField SineSymbolCommonness Source #
data EntityField SineSymbolCommonness where SineSymbolCommonnessId :: EntityField SineSymbolCommonness typ SineSymbolCommonnessSinePremiseSelectionId :: EntityField SineSymbolCommonness typ SineSymbolCommonnessSymbolId :: EntityField SineSymbolCommonness typ SineSymbolCommonnessCommonness :: EntityField SineSymbolCommonness typ
data Unique SineSymbolCommonness Source #
data Unique SineSymbolCommonness

type SineSymbolCommonnessId = Key SineSymbolCommonness Source #

data ReasoningAttempt Source #

Constructors

ReasoningAttempt
Fields reasoningAttemptKind :: !ReasoningAttemptKindType reasoningAttemptActionId :: !(Key Action) reasoningAttemptReasonerConfigurationId :: !(Key ReasonerConfiguration) reasoningAttemptUsedReasonerId :: !(Maybe (Key Reasoner)) reasoningAttemptUsedLogicTranslationId :: !(Maybe (Key LogicTranslation)) reasoningAttemptTimeTaken :: !(Maybe Int)

Instances

Show ReasoningAttempt Source #
Methods showsPrec :: Int -> ReasoningAttempt -> ShowS show :: ReasoningAttempt -> String showList :: [ReasoningAttempt] -> ShowS
PersistEntity ReasoningAttempt Source #
Associated Types type PersistEntityBackend ReasoningAttempt :: * data Key ReasoningAttempt :: * data EntityField ReasoningAttempt a :: * data Unique ReasoningAttempt :: * Methods keyToValues :: Key ReasoningAttempt -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key ReasoningAttempt) persistIdField :: EntityField ReasoningAttempt (Key ReasoningAttempt) entityDef :: Monad m => m ReasoningAttempt -> EntityDef persistFieldDef :: EntityField ReasoningAttempt typ -> FieldDef toPersistFields :: ReasoningAttempt -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text ReasoningAttempt persistUniqueKeys :: ReasoningAttempt -> [Unique ReasoningAttempt] persistUniqueToFieldNames :: Unique ReasoningAttempt -> [(HaskellName, DBName)] persistUniqueToValues :: Unique ReasoningAttempt -> [PersistValue] fieldLens :: EntityField ReasoningAttempt field -> forall f. Functor f => (field -> f field) -> Entity ReasoningAttempt -> f (Entity ReasoningAttempt)
PersistFieldSql ReasoningAttempt Source #
Methods sqlType :: Proxy * ReasoningAttempt -> SqlType
PersistField ReasoningAttempt Source #
Methods toPersistValue :: ReasoningAttempt -> PersistValue fromPersistValue :: PersistValue -> Either Text ReasoningAttempt
ToBackendKey SqlBackend ReasoningAttempt Source #
Methods toBackendKey :: Key ReasoningAttempt -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key ReasoningAttempt
(PersistQuery backend, (~) * (PersistEntityBackend ReasoningAttempt) (BaseBackend backend)) => DeleteCascade ReasoningAttempt backend Source #
Methods deleteCascade :: MonadIO m => Key ReasoningAttempt -> ReaderT * backend m ()
Eq (Key ReasoningAttempt) Source #
Methods (==) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool (/=) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool
Ord (Key ReasoningAttempt) Source #
Methods compare :: Key ReasoningAttempt -> Key ReasoningAttempt -> Ordering (<) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool (<=) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool (>) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool (>=) :: Key ReasoningAttempt -> Key ReasoningAttempt -> Bool max :: Key ReasoningAttempt -> Key ReasoningAttempt -> Key ReasoningAttempt min :: Key ReasoningAttempt -> Key ReasoningAttempt -> Key ReasoningAttempt
Read (Key ReasoningAttempt) Source #
Methods readsPrec :: Int -> ReadS (Key ReasoningAttempt) readList :: ReadS [Key ReasoningAttempt] readPrec :: ReadPrec (Key ReasoningAttempt) readListPrec :: ReadPrec [Key ReasoningAttempt]
Show (Key ReasoningAttempt) Source #
Methods showsPrec :: Int -> Key ReasoningAttempt -> ShowS show :: Key ReasoningAttempt -> String showList :: [Key ReasoningAttempt] -> ShowS
ToJSON (Key ReasoningAttempt) Source #
Methods toJSON :: Key ReasoningAttempt -> Value toEncoding :: Key ReasoningAttempt -> Encoding toJSONList :: [Key ReasoningAttempt] -> Value toEncodingList :: [Key ReasoningAttempt] -> Encoding
ToHttpApiData (Key ReasoningAttempt) Source #
Methods toUrlPiece :: Key ReasoningAttempt -> Text toEncodedUrlPiece :: Key ReasoningAttempt -> Builder toHeader :: Key ReasoningAttempt -> ByteString toQueryParam :: Key ReasoningAttempt -> Text
PersistFieldSql (Key ReasoningAttempt) Source #
Methods sqlType :: Proxy * (Key ReasoningAttempt) -> SqlType
PersistField (Key ReasoningAttempt) Source #
Methods toPersistValue :: Key ReasoningAttempt -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key ReasoningAttempt)
PathPiece (Key ReasoningAttempt) Source #
Methods fromPathPiece :: Text -> Maybe (Key ReasoningAttempt) toPathPiece :: Key ReasoningAttempt -> Text
FromJSON (Key ReasoningAttempt) Source #
Methods parseJSON :: Value -> Parser (Key ReasoningAttempt) parseJSONList :: Value -> Parser [Key ReasoningAttempt]
FromHttpApiData (Key ReasoningAttempt) Source #
Methods parseUrlPiece :: Text -> Either Text (Key ReasoningAttempt) parseHeader :: ByteString -> Either Text (Key ReasoningAttempt) parseQueryParam :: Text -> Either Text (Key ReasoningAttempt)
data Key ReasoningAttempt Source #
data Key ReasoningAttempt = ReasoningAttemptKey { unReasoningAttemptKey :: BackendKey SqlBackend }
type PersistEntityBackend ReasoningAttempt Source #
type PersistEntityBackend ReasoningAttempt = SqlBackend
data EntityField ReasoningAttempt Source #
data EntityField ReasoningAttempt where ReasoningAttemptId :: EntityField ReasoningAttempt typ ReasoningAttemptKind :: EntityField ReasoningAttempt typ ReasoningAttemptActionId :: EntityField ReasoningAttempt typ ReasoningAttemptReasonerConfigurationId :: EntityField ReasoningAttempt typ ReasoningAttemptUsedReasonerId :: EntityField ReasoningAttempt typ ReasoningAttemptUsedLogicTranslationId :: EntityField ReasoningAttempt typ ReasoningAttemptTimeTaken :: EntityField ReasoningAttempt typ
data Unique ReasoningAttempt Source #
data Unique ReasoningAttempt

type ReasoningAttemptId = Key ReasoningAttempt Source #

data ProofAttempt Source #

Constructors

ProofAttempt
Fields proofAttemptConjectureId :: !(Maybe (Key LocIdBase)) proofAttemptProofStatus :: !ProofStatusType

Instances

PersistEntity ProofAttempt Source #
Associated Types type PersistEntityBackend ProofAttempt :: * data Key ProofAttempt :: * data EntityField ProofAttempt a :: * data Unique ProofAttempt :: * Methods keyToValues :: Key ProofAttempt -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key ProofAttempt) persistIdField :: EntityField ProofAttempt (Key ProofAttempt) entityDef :: Monad m => m ProofAttempt -> EntityDef persistFieldDef :: EntityField ProofAttempt typ -> FieldDef toPersistFields :: ProofAttempt -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text ProofAttempt persistUniqueKeys :: ProofAttempt -> [Unique ProofAttempt] persistUniqueToFieldNames :: Unique ProofAttempt -> [(HaskellName, DBName)] persistUniqueToValues :: Unique ProofAttempt -> [PersistValue] fieldLens :: EntityField ProofAttempt field -> forall f. Functor f => (field -> f field) -> Entity ProofAttempt -> f (Entity ProofAttempt)
PersistFieldSql ProofAttempt Source #
Methods sqlType :: Proxy * ProofAttempt -> SqlType
PersistField ProofAttempt Source #
Methods toPersistValue :: ProofAttempt -> PersistValue fromPersistValue :: PersistValue -> Either Text ProofAttempt
ToBackendKey SqlBackend ProofAttempt Source #
Methods toBackendKey :: Key ProofAttempt -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key ProofAttempt
(PersistQuery backend, (~) * (PersistEntityBackend ProofAttempt) (BaseBackend backend)) => DeleteCascade ProofAttempt backend Source #
Methods deleteCascade :: MonadIO m => Key ProofAttempt -> ReaderT * backend m ()
Eq (Key ProofAttempt) Source #
Methods (==) :: Key ProofAttempt -> Key ProofAttempt -> Bool (/=) :: Key ProofAttempt -> Key ProofAttempt -> Bool
Ord (Key ProofAttempt) Source #
Methods compare :: Key ProofAttempt -> Key ProofAttempt -> Ordering (<) :: Key ProofAttempt -> Key ProofAttempt -> Bool (<=) :: Key ProofAttempt -> Key ProofAttempt -> Bool (>) :: Key ProofAttempt -> Key ProofAttempt -> Bool (>=) :: Key ProofAttempt -> Key ProofAttempt -> Bool max :: Key ProofAttempt -> Key ProofAttempt -> Key ProofAttempt min :: Key ProofAttempt -> Key ProofAttempt -> Key ProofAttempt
Read (Key ProofAttempt) Source #
Methods readsPrec :: Int -> ReadS (Key ProofAttempt) readList :: ReadS [Key ProofAttempt] readPrec :: ReadPrec (Key ProofAttempt) readListPrec :: ReadPrec [Key ProofAttempt]
Show (Key ProofAttempt) Source #
Methods showsPrec :: Int -> Key ProofAttempt -> ShowS show :: Key ProofAttempt -> String showList :: [Key ProofAttempt] -> ShowS
ToJSON (Key ProofAttempt) Source #
Methods toJSON :: Key ProofAttempt -> Value toEncoding :: Key ProofAttempt -> Encoding toJSONList :: [Key ProofAttempt] -> Value toEncodingList :: [Key ProofAttempt] -> Encoding
ToHttpApiData (Key ProofAttempt) Source #
Methods toUrlPiece :: Key ProofAttempt -> Text toEncodedUrlPiece :: Key ProofAttempt -> Builder toHeader :: Key ProofAttempt -> ByteString toQueryParam :: Key ProofAttempt -> Text
PersistFieldSql (Key ProofAttempt) Source #
Methods sqlType :: Proxy * (Key ProofAttempt) -> SqlType
PersistField (Key ProofAttempt) Source #
Methods toPersistValue :: Key ProofAttempt -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key ProofAttempt)
PathPiece (Key ProofAttempt) Source #
Methods fromPathPiece :: Text -> Maybe (Key ProofAttempt) toPathPiece :: Key ProofAttempt -> Text
FromJSON (Key ProofAttempt) Source #
Methods parseJSON :: Value -> Parser (Key ProofAttempt) parseJSONList :: Value -> Parser [Key ProofAttempt]
FromHttpApiData (Key ProofAttempt) Source #
Methods parseUrlPiece :: Text -> Either Text (Key ProofAttempt) parseHeader :: ByteString -> Either Text (Key ProofAttempt) parseQueryParam :: Text -> Either Text (Key ProofAttempt)
data Key ProofAttempt Source #
data Key ProofAttempt = ProofAttemptKey { unProofAttemptKey :: BackendKey SqlBackend }
type PersistEntityBackend ProofAttempt Source #
type PersistEntityBackend ProofAttempt = SqlBackend
data EntityField ProofAttempt Source #
data EntityField ProofAttempt where ProofAttemptId :: EntityField ProofAttempt typ ProofAttemptConjectureId :: EntityField ProofAttempt typ ProofAttemptProofStatus :: EntityField ProofAttempt typ
data Unique ProofAttempt Source #
data Unique ProofAttempt

data PremiseSelection Source #

Constructors

PremiseSelection
Fields premiseSelectionReasonerConfigurationId :: !(Key ReasonerConfiguration) premiseSelectionProofAttemptId :: !(Key ProofAttempt) premiseSelectionKind :: !PremiseSelectionKindType premiseSelectionTimeTaken :: !(Maybe Int)

Instances

Show PremiseSelection Source #
Methods showsPrec :: Int -> PremiseSelection -> ShowS show :: PremiseSelection -> String showList :: [PremiseSelection] -> ShowS
PersistEntity PremiseSelection Source #
Associated Types type PersistEntityBackend PremiseSelection :: * data Key PremiseSelection :: * data EntityField PremiseSelection a :: * data Unique PremiseSelection :: * Methods keyToValues :: Key PremiseSelection -> [PersistValue] keyFromValues :: [PersistValue] -> Either Text (Key PremiseSelection) persistIdField :: EntityField PremiseSelection (Key PremiseSelection) entityDef :: Monad m => m PremiseSelection -> EntityDef persistFieldDef :: EntityField PremiseSelection typ -> FieldDef toPersistFields :: PremiseSelection -> [SomePersistField] fromPersistValues :: [PersistValue] -> Either Text PremiseSelection persistUniqueKeys :: PremiseSelection -> [Unique PremiseSelection] persistUniqueToFieldNames :: Unique PremiseSelection -> [(HaskellName, DBName)] persistUniqueToValues :: Unique PremiseSelection -> [PersistValue] fieldLens :: EntityField PremiseSelection field -> forall f. Functor f => (field -> f field) -> Entity PremiseSelection -> f (Entity PremiseSelection)
PersistFieldSql PremiseSelection Source #
Methods sqlType :: Proxy * PremiseSelection -> SqlType
PersistField PremiseSelection Source #
Methods toPersistValue :: PremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text PremiseSelection
ToBackendKey SqlBackend PremiseSelection Source #
Methods toBackendKey :: Key PremiseSelection -> BackendKey SqlBackend fromBackendKey :: BackendKey SqlBackend -> Key PremiseSelection
(PersistQuery backend, (~) * (PersistEntityBackend PremiseSelection) (BaseBackend backend)) => DeleteCascade PremiseSelection backend Source #
Methods deleteCascade :: MonadIO m => Key PremiseSelection -> ReaderT * backend m ()
Eq (Key PremiseSelection) Source #
Methods (==) :: Key PremiseSelection -> Key PremiseSelection -> Bool (/=) :: Key PremiseSelection -> Key PremiseSelection -> Bool
Ord (Key PremiseSelection) Source #
Methods compare :: Key PremiseSelection -> Key PremiseSelection -> Ordering (<) :: Key PremiseSelection -> Key PremiseSelection -> Bool (<=) :: Key PremiseSelection -> Key PremiseSelection -> Bool (>) :: Key PremiseSelection -> Key PremiseSelection -> Bool (>=) :: Key PremiseSelection -> Key PremiseSelection -> Bool max :: Key PremiseSelection -> Key PremiseSelection -> Key PremiseSelection min :: Key PremiseSelection -> Key PremiseSelection -> Key PremiseSelection
Read (Key PremiseSelection) Source #
Methods readsPrec :: Int -> ReadS (Key PremiseSelection) readList :: ReadS [Key PremiseSelection] readPrec :: ReadPrec (Key PremiseSelection) readListPrec :: ReadPrec [Key PremiseSelection]
Show (Key PremiseSelection) Source #
Methods showsPrec :: Int -> Key PremiseSelection -> ShowS show :: Key PremiseSelection -> String showList :: [Key PremiseSelection] -> ShowS
ToJSON (Key PremiseSelection) Source #
Methods toJSON :: Key PremiseSelection -> Value toEncoding :: Key PremiseSelection -> Encoding toJSONList :: [Key PremiseSelection] -> Value toEncodingList :: [Key PremiseSelection] -> Encoding
ToHttpApiData (Key PremiseSelection) Source #
Methods toUrlPiece :: Key PremiseSelection -> Text toEncodedUrlPiece :: Key PremiseSelection -> Builder toHeader :: Key PremiseSelection -> ByteString toQueryParam :: Key PremiseSelection -> Text
PersistFieldSql (Key PremiseSelection) Source #
Methods sqlType :: Proxy * (Key PremiseSelection) -> SqlType
PersistField (Key PremiseSelection) Source #
Methods toPersistValue :: Key PremiseSelection -> PersistValue fromPersistValue :: PersistValue -> Either Text (Key PremiseSelection)
PathPiece (Key PremiseSelection) Source #
Methods fromPathPiece :: Text -> Maybe (Key PremiseSelection) toPathPiece :: Key PremiseSelection -> Text
FromJSON (Key PremiseSelection) Source #
Methods parseJSON :: Value -> Parser (Key PremiseSelection) parseJSONList :: Value -> Parser [Key PremiseSelection]
FromHttpApiData (Key PremiseSelection) Source #
Methods parseUrlPiece :: Text -> Either Text (Key PremiseSelection) parseHeader :: ByteString -> Either Text (Key PremiseSelection) parseQueryParam :: Text -> Either Text (Key PremiseSelection)
data Key PremiseSelection