Hets - the Heterogeneous Tool Set

Copyright(c) Uni Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Persistence.Schema

Description

 

Documentation

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

data Hets Source #

Constructors

Hets 

Fields

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' {}
type PersistEntityBackend Hets Source # 
type PersistEntityBackend Hets = SqlBackend
data EntityField Hets Source # 
data EntityField Hets where
data Unique Hets Source # 
data Unique Hets

type HetsId = Key Hets Source #

data Language Source #

Constructors

Language 

Fields

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 {}
type PersistEntityBackend Language Source # 
type PersistEntityBackend Language = SqlBackend
data EntityField Language Source # 
data EntityField Language where
data Unique Language Source # 
data Unique Language = UniqueLanguageSlug String

data Logic Source #

Constructors

Logic 

Fields

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 {}
type PersistEntityBackend Logic Source # 
type PersistEntityBackend Logic = SqlBackend
data EntityField Logic Source # 
data EntityField Logic where
data Unique Logic Source # 
data Unique Logic = UniqueLanguageIdLogicSlug (Key Language) String

type LogicId = Key Logic Source #

data LanguageMapping Source #

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 {}
type PersistEntityBackend LanguageMapping Source # 
type PersistEntityBackend LanguageMapping = SqlBackend
data EntityField LanguageMapping Source # 
data EntityField LanguageMapping where
data Unique LanguageMapping Source # 
data Unique LanguageMapping

data LogicMapping Source #

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 {}
type PersistEntityBackend LogicMapping Source # 
type PersistEntityBackend LogicMapping = SqlBackend
data EntityField LogicMapping Source # 
data Unique LogicMapping Source # 

data LogicInclusion Source #

Constructors

LogicInclusion 

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 {}
type PersistEntityBackend LogicInclusion Source # 
type PersistEntityBackend LogicInclusion = SqlBackend
data EntityField LogicInclusion Source # 
data Unique LogicInclusion Source # 

data LogicTranslation Source #

Constructors

LogicTranslation 

Fields

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 # 
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 {}
type PersistEntityBackend LogicTranslation Source # 
type PersistEntityBackend LogicTranslation = SqlBackend
data EntityField LogicTranslation Source # 
data EntityField LogicTranslation where
data Unique LogicTranslation Source # 

data LogicTranslationStep Source #

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 # 
Ord (Key LogicTranslationStep) Source # 
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 # 
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 # 
type PersistEntityBackend LogicTranslationStep Source # 
type PersistEntityBackend LogicTranslationStep = SqlBackend
data EntityField LogicTranslationStep Source # 
data Unique LogicTranslationStep Source # 

data Serialization Source #

Constructors

Serialization 

Fields

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 {}
type PersistEntityBackend Serialization Source # 
type PersistEntityBackend Serialization = SqlBackend
data EntityField Serialization Source # 
data EntityField Serialization where
data Unique Serialization Source # 

data Signature Source #

Constructors

Signature 

Fields

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 {}
type PersistEntityBackend Signature Source # 
type PersistEntityBackend Signature = SqlBackend
data EntityField Signature Source # 
data EntityField Signature where
data Unique Signature Source # 
data Unique Signature

data SignatureMorphism Source #

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 # 
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 {}
type PersistEntityBackend SignatureMorphism Source # 
type PersistEntityBackend SignatureMorphism = SqlBackend
data EntityField SignatureMorphism Source # 
data Unique SignatureMorphism Source # 
data Unique SignatureMorphism

data ConservativityStatus Source #

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 # 
Ord (Key ConservativityStatus) Source # 
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 # 
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 # 
type PersistEntityBackend ConservativityStatus Source # 
type PersistEntityBackend ConservativityStatus = SqlBackend
data EntityField ConservativityStatus Source # 
data Unique ConservativityStatus Source # 

data OrganizationalUnit Source #

Constructors

OrganizationalUnit 

Fields

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 # 
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 # 
type PersistEntityBackend OrganizationalUnit Source # 
type PersistEntityBackend OrganizationalUnit = SqlBackend
data EntityField OrganizationalUnit Source # 
data Unique OrganizationalUnit Source # 

data Repository Source #

Constructors

Repository 

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 {}
type PersistEntityBackend Repository Source # 
type PersistEntityBackend Repository = SqlBackend
data EntityField Repository Source # 
data EntityField Repository where
data Unique Repository Source # 
data Unique Repository

data Action Source #

Constructors

Action 

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 {}
type PersistEntityBackend Action Source # 
type PersistEntityBackend Action = SqlBackend
data EntityField Action Source # 
data EntityField Action where
data Unique Action Source # 
data Unique Action

type ActionId = Key Action Source #

data FileVersion Source #

Constructors

FileVersion 

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 {}
type PersistEntityBackend FileVersion Source # 
type PersistEntityBackend FileVersion = SqlBackend
data EntityField FileVersion Source # 
data EntityField FileVersion where
data Unique FileVersion Source # 
data Unique FileVersion

data FileVersionParent Source #

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 # 
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 # 
type PersistEntityBackend FileVersionParent Source # 
type PersistEntityBackend FileVersionParent = SqlBackend
data EntityField FileVersionParent Source # 
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))))

data LocIdBase Source #

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 {}
type PersistEntityBackend LocIdBase Source # 
type PersistEntityBackend LocIdBase = SqlBackend
data EntityField LocIdBase Source # 
data EntityField LocIdBase where
data Unique LocIdBase Source # 

data Document Source #

Constructors

Document 

Fields

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 {}
type PersistEntityBackend Document Source # 
type PersistEntityBackend Document = SqlBackend
data EntityField Document Source # 
data EntityField Document where
data Unique Document Source # 
data Unique Document

data DocumentLink Source #

data FileRange Source #

Constructors

FileRange 

Fields

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 {}
type PersistEntityBackend FileRange Source # 
type PersistEntityBackend FileRange = SqlBackend
data EntityField FileRange Source # 
data EntityField FileRange where
data Unique FileRange Source # 
data Unique FileRange

data Diagnosis Source #

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 {}
type PersistEntityBackend Diagnosis Source # 
type PersistEntityBackend Diagnosis = SqlBackend
data EntityField Diagnosis Source # 
data EntityField Diagnosis where
data Unique Diagnosis Source # 
data Unique Diagnosis

data OMS Source #

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 {}
type PersistEntityBackend OMS Source # 
type PersistEntityBackend OMS = SqlBackend
data EntityField OMS Source # 
data EntityField OMS where
data Unique OMS Source # 
data Unique OMS

type OMSId = Key OMS Source #

data Mapping Source #

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 {}
type PersistEntityBackend Mapping Source # 
type PersistEntityBackend Mapping = SqlBackend
data EntityField Mapping Source # 
data EntityField Mapping where
data Unique Mapping Source # 
data Unique Mapping

data Sentence Source #

Constructors

Sentence 

Fields

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 {}
type PersistEntityBackend Sentence Source # 
type PersistEntityBackend Sentence = SqlBackend
data EntityField Sentence Source # 
data EntityField Sentence where
data Unique Sentence Source # 
data Unique Sentence

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 {}
type PersistEntityBackend Axiom Source # 
type PersistEntityBackend Axiom = SqlBackend
data EntityField Axiom Source # 
data EntityField Axiom where
data Unique Axiom Source # 
data Unique Axiom

type AxiomId = Key Axiom Source #

data Conjecture Source #

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 {}
type PersistEntityBackend Conjecture Source # 
type PersistEntityBackend Conjecture = SqlBackend
data EntityField Conjecture Source # 
data EntityField Conjecture where
data Unique Conjecture Source # 
data Unique Conjecture

data Symbol Source #

Constructors

Symbol 

Fields

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 {}
type PersistEntityBackend Symbol Source # 
type PersistEntityBackend Symbol = SqlBackend
data EntityField Symbol Source # 
data EntityField Symbol where
data Unique Symbol Source # 
data Unique Symbol

type SymbolId = Key Symbol Source #

data SymbolMapping Source #

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 {}
type PersistEntityBackend SymbolMapping Source # 
type PersistEntityBackend SymbolMapping = SqlBackend
data EntityField SymbolMapping Source # 
data EntityField SymbolMapping where
data Unique SymbolMapping Source # 
data Unique SymbolMapping

data SentenceSymbol Source #

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 # 
type PersistEntityBackend SentenceSymbol Source # 
type PersistEntityBackend SentenceSymbol = SqlBackend
data EntityField SentenceSymbol Source # 
data EntityField SentenceSymbol where
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))))

data SignatureSymbol Source #

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 # 
type PersistEntityBackend SignatureSymbol Source # 
type PersistEntityBackend SignatureSymbol = SqlBackend
data EntityField SignatureSymbol Source # 
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))))

data Reasoner Source #

Constructors

Reasoner 

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 {}
type PersistEntityBackend Reasoner Source # 
type PersistEntityBackend Reasoner = SqlBackend
data EntityField Reasoner Source # 
data EntityField Reasoner where
data Unique Reasoner Source # 

data ReasonerConfiguration Source #

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 # 
Ord (Key ReasonerConfiguration) Source # 
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 # 
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 # 
type PersistEntityBackend ReasonerConfiguration Source # 
type PersistEntityBackend ReasonerConfiguration = SqlBackend
data EntityField ReasonerConfiguration Source # 
data Unique ReasonerConfiguration Source # 

data ManualPremiseSelection Source #

Instances

Show ManualPremiseSelection Source # 
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 # 
Ord (Key ManualPremiseSelection) Source # 
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 # 
ToHttpApiData (Key ManualPremiseSelection) Source # 
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 # 
type PersistEntityBackend ManualPremiseSelection Source # 
type PersistEntityBackend ManualPremiseSelection = SqlBackend
data EntityField ManualPremiseSelection Source # 
data Unique ManualPremiseSelection Source # 

data SinePremiseSelection Source #

Constructors

SinePremiseSelection 

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 # 
Ord (Key SinePremiseSelection) Source # 
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 # 
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 # 
type PersistEntityBackend SinePremiseSelection Source # 
type PersistEntityBackend SinePremiseSelection = SqlBackend
data EntityField SinePremiseSelection Source # 
data Unique SinePremiseSelection Source # 

data SineSymbolPremiseTrigger Source #

Instances

Show SineSymbolPremiseTrigger Source # 
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 # 
Ord (Key SineSymbolPremiseTrigger) Source # 
Read (Key SineSymbolPremiseTrigger) Source # 
Show (Key SineSymbolPremiseTrigger) Source # 

Methods

showsPrec :: Int -> Key SineSymbolPremiseTrigger -> ShowS

show :: Key SineSymbolPremiseTrigger -> String

showList :: [Key SineSymbolPremiseTrigger] -> ShowS

ToJSON (Key SineSymbolPremiseTrigger) Source # 
ToHttpApiData (Key SineSymbolPremiseTrigger) Source # 
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 # 
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 # 
type PersistEntityBackend SineSymbolPremiseTrigger Source # 
type PersistEntityBackend SineSymbolPremiseTrigger = SqlBackend
data EntityField SineSymbolPremiseTrigger Source # 
data Unique SineSymbolPremiseTrigger Source # 

data SineSymbolCommonness Source #

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 # 
Ord (Key SineSymbolCommonness) Source # 
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 # 
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 # 
type PersistEntityBackend SineSymbolCommonness Source # 
type PersistEntityBackend SineSymbolCommonness = SqlBackend
data EntityField SineSymbolCommonness Source # 
data Unique SineSymbolCommonness Source # 

data ReasoningAttempt Source #

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 # 
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 {}
type PersistEntityBackend ReasoningAttempt Source # 
type PersistEntityBackend ReasoningAttempt = SqlBackend
data EntityField ReasoningAttempt Source # 
data Unique ReasoningAttempt Source # 
data Unique ReasoningAttempt

data ProofAttempt Source #

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 {}
type PersistEntityBackend ProofAttempt Source # 
type PersistEntityBackend ProofAttempt = SqlBackend
data EntityField ProofAttempt Source # 
data EntityField ProofAttempt where
data Unique ProofAttempt Source # 
data Unique ProofAttempt

data PremiseSelection Source #

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 # 
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