type PersistEntityBackend Chain3
Instance details Defined in ForeignKey type PersistEntityBackend Chain3 = SqlBackend
newtype Key Chain3
Instance details Defined in ForeignKey newtype Key Chain3 = Chain3Key { unChain3Key :: BackendKey SqlBackend }
data EntityField Chain3 typ
Instance details Defined in ForeignKey data EntityField Chain3 typ = typ ~ Chain3Id => Chain3Id \| typ ~ Int => Chain3Name \| typ ~ Maybe Chain3Id => Chain3Previous
data Unique Chain3
Instance details Defined in ForeignKey data Unique Chain3

Methods

keyToValues :: Key Chain3 -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Chain3) #

persistIdField :: EntityField Chain3 (Key Chain3) #

entityDef :: proxy Chain3 -> EntityDef #

persistFieldDef :: EntityField Chain3 typ -> FieldDef #

toPersistFields :: Chain3 -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Chain3 #

tabulateEntityA :: Applicative f => (forall a. EntityField Chain3 a -> f a) -> f (Entity Chain3) #

persistUniqueKeys :: Chain3 -> [Unique Chain3] #

persistUniqueToFieldNames :: Unique Chain3 -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Chain3 -> [PersistValue] #

fieldLens :: EntityField Chain3 field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Chain3 -> f (Entity Chain3) #

keyFromRecordM :: Maybe (Chain3 -> Key Chain3) #

SafeToInsert Chain3 Source #

Instance details

Defined in ForeignKey

PersistField Chain3 Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Chain3 -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Chain3 #

(TypeError (NoUniqueKeysError Chain3) :: Constraint) => AtLeastOneUniqueKey Chain3 Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: Chain3 -> NonEmpty (Unique Chain3) #

(TypeError (NoUniqueKeysError Chain3) :: Constraint) => OnlyOneUniqueKey Chain3 Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: Chain3 -> Unique Chain3 #

PersistFieldSql Chain3 Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy Chain3 -> SqlType #

ToBackendKey SqlBackend Chain3 Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key Chain3 -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Chain3 #

SymbolToField "name" Chain3 Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 Int #

SymbolToField "id" Chain3 (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 (Key Chain3) #

SymbolToField "previous" Chain3 (Maybe Chain3Id) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 (Maybe Chain3Id) #

FromJSON (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain3) #

parseJSONList :: Value -> Parser [Key Chain3] #

omittedField :: Maybe (Key Chain3) #

ToJSON (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key Chain3 -> Value #

toEncoding :: Key Chain3 -> Encoding #

toJSONList :: [Key Chain3] -> Value #

toEncodingList :: [Key Chain3] -> Encoding #

omitField :: Key Chain3 -> Bool #

Read (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain3) #

readList :: ReadS [Key Chain3] #

readPrec :: ReadPrec (Key Chain3) #

readListPrec :: ReadPrec [Key Chain3] #

Show (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain3 -> ShowS #

show :: Key Chain3 -> String #

showList :: [Key Chain3] -> ShowS #

Eq (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key Chain3 -> Key Chain3 -> Bool #

(/=) :: Key Chain3 -> Key Chain3 -> Bool #

Ord (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key Chain3 -> Key Chain3 -> Ordering #

(<) :: Key Chain3 -> Key Chain3 -> Bool #

(<=) :: Key Chain3 -> Key Chain3 -> Bool #

(>) :: Key Chain3 -> Key Chain3 -> Bool #

(>=) :: Key Chain3 -> Key Chain3 -> Bool #

max :: Key Chain3 -> Key Chain3 -> Key Chain3 #

min :: Key Chain3 -> Key Chain3 -> Key Chain3 #

FromHttpApiData (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key Chain3) #

parseHeader :: ByteString -> Either Text (Key Chain3) #

parseQueryParam :: Text -> Either Text (Key Chain3) #

ToHttpApiData (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain3 -> Text #

toEncodedUrlPiece :: Key Chain3 -> Builder #

toHeader :: Key Chain3 -> ByteString #

toQueryParam :: Key Chain3 -> Text #

toEncodedQueryParam :: Key Chain3 -> Builder #

PathPiece (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain3) #

toPathPiece :: Key Chain3 -> Text #

PersistField (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key Chain3 -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Chain3) #

PersistFieldSql (Key Chain3) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain3) -> SqlType #

data EntityField Chain3 typ Source #

Instance details

Defined in ForeignKey

data EntityField Chain3 typ

= typ ~ Chain3Id => Chain3Id
| typ ~ Int => Chain3Name
| typ ~ Maybe Chain3Id => Chain3Previous

newtype Key Chain3 Source #

Instance details

Defined in ForeignKey

newtype Key Chain3 = Chain3Key {

unChain3Key :: BackendKey SqlBackend

}

type PersistEntityBackend Chain3 Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend Chain3 = SqlBackend

data Unique Chain3 Source #

Instance details

Defined in ForeignKey

data Unique Chain3

type Chain2Id = Key Chain2 Source #

data Chain2 Source #

Constructors

Chain2
Fields chain2Name :: !Int chain2Previous :: !(Maybe Chain2Id)

Instances

Instances details

Show Chain2 Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Chain2 -> ShowS #

show :: Chain2 -> String #

showList :: [Chain2] -> ShowS #

Eq Chain2 Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Chain2 -> Chain2 -> Bool #

(/=) :: Chain2 -> Chain2 -> Bool #

PersistEntity Chain2 Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend Chain2
Instance details Defined in ForeignKey type PersistEntityBackend Chain2 = SqlBackend
newtype Key Chain2
Instance details Defined in ForeignKey newtype Key Chain2 = Chain2Key { unChain2Key :: BackendKey SqlBackend }
data EntityField Chain2 typ
Instance details Defined in ForeignKey data EntityField Chain2 typ = typ ~ Chain2Id => Chain2Id \| typ ~ Int => Chain2Name \| typ ~ Maybe Chain2Id => Chain2Previous
data Unique Chain2
Instance details Defined in ForeignKey data Unique Chain2

Methods

keyToValues :: Key Chain2 -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Chain2) #

persistIdField :: EntityField Chain2 (Key Chain2) #

entityDef :: proxy Chain2 -> EntityDef #

persistFieldDef :: EntityField Chain2 typ -> FieldDef #

toPersistFields :: Chain2 -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Chain2 #

tabulateEntityA :: Applicative f => (forall a. EntityField Chain2 a -> f a) -> f (Entity Chain2) #

persistUniqueKeys :: Chain2 -> [Unique Chain2] #

persistUniqueToFieldNames :: Unique Chain2 -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Chain2 -> [PersistValue] #

fieldLens :: EntityField Chain2 field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Chain2 -> f (Entity Chain2) #

keyFromRecordM :: Maybe (Chain2 -> Key Chain2) #

SafeToInsert Chain2 Source #

Instance details

Defined in ForeignKey

PersistField Chain2 Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Chain2 -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Chain2 #

(TypeError (NoUniqueKeysError Chain2) :: Constraint) => AtLeastOneUniqueKey Chain2 Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: Chain2 -> NonEmpty (Unique Chain2) #

(TypeError (NoUniqueKeysError Chain2) :: Constraint) => OnlyOneUniqueKey Chain2 Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: Chain2 -> Unique Chain2 #

PersistFieldSql Chain2 Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy Chain2 -> SqlType #

ToBackendKey SqlBackend Chain2 Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key Chain2 -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Chain2 #

SymbolToField "name" Chain2 Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 Int #

SymbolToField "id" Chain2 (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 (Key Chain2) #

SymbolToField "previous" Chain2 (Maybe Chain2Id) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 (Maybe Chain2Id) #

FromJSON (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain2) #

parseJSONList :: Value -> Parser [Key Chain2] #

omittedField :: Maybe (Key Chain2) #

ToJSON (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key Chain2 -> Value #

toEncoding :: Key Chain2 -> Encoding #

toJSONList :: [Key Chain2] -> Value #

toEncodingList :: [Key Chain2] -> Encoding #

omitField :: Key Chain2 -> Bool #

Read (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain2) #

readList :: ReadS [Key Chain2] #

readPrec :: ReadPrec (Key Chain2) #

readListPrec :: ReadPrec [Key Chain2] #

Show (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain2 -> ShowS #

show :: Key Chain2 -> String #

showList :: [Key Chain2] -> ShowS #

Eq (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key Chain2 -> Key Chain2 -> Bool #

(/=) :: Key Chain2 -> Key Chain2 -> Bool #

Ord (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key Chain2 -> Key Chain2 -> Ordering #

(<) :: Key Chain2 -> Key Chain2 -> Bool #

(<=) :: Key Chain2 -> Key Chain2 -> Bool #

(>) :: Key Chain2 -> Key Chain2 -> Bool #

(>=) :: Key Chain2 -> Key Chain2 -> Bool #

max :: Key Chain2 -> Key Chain2 -> Key Chain2 #

min :: Key Chain2 -> Key Chain2 -> Key Chain2 #

FromHttpApiData (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key Chain2) #

parseHeader :: ByteString -> Either Text (Key Chain2) #

parseQueryParam :: Text -> Either Text (Key Chain2) #

ToHttpApiData (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain2 -> Text #

toEncodedUrlPiece :: Key Chain2 -> Builder #

toHeader :: Key Chain2 -> ByteString #

toQueryParam :: Key Chain2 -> Text #

toEncodedQueryParam :: Key Chain2 -> Builder #

PathPiece (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain2) #

toPathPiece :: Key Chain2 -> Text #

PersistField (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key Chain2 -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Chain2) #

PersistFieldSql (Key Chain2) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain2) -> SqlType #

data EntityField Chain2 typ Source #

Instance details

Defined in ForeignKey

data EntityField Chain2 typ

= typ ~ Chain2Id => Chain2Id
| typ ~ Int => Chain2Name
| typ ~ Maybe Chain2Id => Chain2Previous

newtype Key Chain2 Source #

Instance details

Defined in ForeignKey

newtype Key Chain2 = Chain2Key {

unChain2Key :: BackendKey SqlBackend

}

type PersistEntityBackend Chain2 Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend Chain2 = SqlBackend

data Unique Chain2 Source #

Instance details

Defined in ForeignKey

data Unique Chain2

type ChainId = Key Chain Source #

data Chain Source #

Constructors

Chain
Fields chainName :: !Int chainPrevious :: !(Maybe ChainId)

Instances

Instances details

Show Chain Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Chain -> ShowS #

show :: Chain -> String #

showList :: [Chain] -> ShowS #

Eq Chain Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Chain -> Chain -> Bool #

(/=) :: Chain -> Chain -> Bool #

Ord Chain Source #

Instance details

Defined in ForeignKey

Methods

compare :: Chain -> Chain -> Ordering #

(<) :: Chain -> Chain -> Bool #

(<=) :: Chain -> Chain -> Bool #

(>) :: Chain -> Chain -> Bool #

(>=) :: Chain -> Chain -> Bool #

max :: Chain -> Chain -> Chain #

min :: Chain -> Chain -> Chain #

PersistEntity Chain Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend Chain
Instance details Defined in ForeignKey type PersistEntityBackend Chain = SqlBackend
newtype Key Chain
Instance details Defined in ForeignKey newtype Key Chain = ChainKey { unChainKey :: BackendKey SqlBackend }
data EntityField Chain typ
Instance details Defined in ForeignKey data EntityField Chain typ = typ ~ ChainId => ChainId \| typ ~ Int => ChainName \| typ ~ Maybe ChainId => ChainPrevious
data Unique Chain
Instance details Defined in ForeignKey data Unique Chain

Methods

keyToValues :: Key Chain -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Chain) #

persistIdField :: EntityField Chain (Key Chain) #

entityDef :: proxy Chain -> EntityDef #

persistFieldDef :: EntityField Chain typ -> FieldDef #

toPersistFields :: Chain -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Chain #

tabulateEntityA :: Applicative f => (forall a. EntityField Chain a -> f a) -> f (Entity Chain) #

persistUniqueKeys :: Chain -> [Unique Chain] #

persistUniqueToFieldNames :: Unique Chain -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Chain -> [PersistValue] #

fieldLens :: EntityField Chain field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Chain -> f (Entity Chain) #

keyFromRecordM :: Maybe (Chain -> Key Chain) #

SafeToInsert Chain Source #

Instance details

Defined in ForeignKey

PersistField Chain Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Chain -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Chain #

(TypeError (NoUniqueKeysError Chain) :: Constraint) => AtLeastOneUniqueKey Chain Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: Chain -> NonEmpty (Unique Chain) #

(TypeError (NoUniqueKeysError Chain) :: Constraint) => OnlyOneUniqueKey Chain Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: Chain -> Unique Chain #

PersistFieldSql Chain Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy Chain -> SqlType #

ToBackendKey SqlBackend Chain Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key Chain -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Chain #

SymbolToField "name" Chain Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain Int #

SymbolToField "id" Chain (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain (Key Chain) #

SymbolToField "previous" Chain (Maybe ChainId) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain (Maybe ChainId) #

FromJSON (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain) #

parseJSONList :: Value -> Parser [Key Chain] #

omittedField :: Maybe (Key Chain) #

ToJSON (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key Chain -> Value #

toEncoding :: Key Chain -> Encoding #

toJSONList :: [Key Chain] -> Value #

toEncodingList :: [Key Chain] -> Encoding #

omitField :: Key Chain -> Bool #

Read (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain) #

readList :: ReadS [Key Chain] #

readPrec :: ReadPrec (Key Chain) #

readListPrec :: ReadPrec [Key Chain] #

Show (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain -> ShowS #

show :: Key Chain -> String #

showList :: [Key Chain] -> ShowS #

Eq (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key Chain -> Key Chain -> Bool #

(/=) :: Key Chain -> Key Chain -> Bool #

Ord (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key Chain -> Key Chain -> Ordering #

(<) :: Key Chain -> Key Chain -> Bool #

(<=) :: Key Chain -> Key Chain -> Bool #

(>) :: Key Chain -> Key Chain -> Bool #

(>=) :: Key Chain -> Key Chain -> Bool #

max :: Key Chain -> Key Chain -> Key Chain #

min :: Key Chain -> Key Chain -> Key Chain #

FromHttpApiData (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key Chain) #

parseHeader :: ByteString -> Either Text (Key Chain) #

parseQueryParam :: Text -> Either Text (Key Chain) #

ToHttpApiData (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain -> Text #

toEncodedUrlPiece :: Key Chain -> Builder #

toHeader :: Key Chain -> ByteString #

toQueryParam :: Key Chain -> Text #

toEncodedQueryParam :: Key Chain -> Builder #

PathPiece (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain) #

toPathPiece :: Key Chain -> Text #

PersistField (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key Chain -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Chain) #

PersistFieldSql (Key Chain) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain) -> SqlType #

data EntityField Chain typ Source #

Instance details

Defined in ForeignKey

data EntityField Chain typ

= typ ~ ChainId => ChainId
| typ ~ Int => ChainName
| typ ~ Maybe ChainId => ChainPrevious

newtype Key Chain Source #

Instance details

Defined in ForeignKey

newtype Key Chain = ChainKey {

unChainKey :: BackendKey SqlBackend

}

type PersistEntityBackend Chain Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend Chain = SqlBackend

data Unique Chain Source #

Instance details

Defined in ForeignKey

data Unique Chain

type BExplicitId = Key BExplicit Source #

data BExplicit Source #

Constructors

BExplicit
Fields bExplicitBa :: !AId

Instances

Instances details

Show BExplicit Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> BExplicit -> ShowS #

show :: BExplicit -> String #

showList :: [BExplicit] -> ShowS #

Eq BExplicit Source #

Instance details

Defined in ForeignKey

Methods

(==) :: BExplicit -> BExplicit -> Bool #

(/=) :: BExplicit -> BExplicit -> Bool #

PersistEntity BExplicit Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend BExplicit
Instance details Defined in ForeignKey type PersistEntityBackend BExplicit = SqlBackend
newtype Key BExplicit
Instance details Defined in ForeignKey newtype Key BExplicit = BExplicitKey { unBExplicitKey :: BackendKey SqlBackend }
data EntityField BExplicit typ
Instance details Defined in ForeignKey data EntityField BExplicit typ = typ ~ BExplicitId => BExplicitId \| typ ~ AId => BExplicitBa
data Unique BExplicit
Instance details Defined in ForeignKey data Unique BExplicit

Methods

keyToValues :: Key BExplicit -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key BExplicit) #

persistIdField :: EntityField BExplicit (Key BExplicit) #

entityDef :: proxy BExplicit -> EntityDef #

persistFieldDef :: EntityField BExplicit typ -> FieldDef #

toPersistFields :: BExplicit -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text BExplicit #

tabulateEntityA :: Applicative f => (forall a. EntityField BExplicit a -> f a) -> f (Entity BExplicit) #

persistUniqueKeys :: BExplicit -> [Unique BExplicit] #

persistUniqueToFieldNames :: Unique BExplicit -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique BExplicit -> [PersistValue] #

fieldLens :: EntityField BExplicit field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity BExplicit -> f (Entity BExplicit) #

keyFromRecordM :: Maybe (BExplicit -> Key BExplicit) #

SafeToInsert BExplicit Source #

Instance details

Defined in ForeignKey

PersistField BExplicit Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: BExplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text BExplicit #

(TypeError (NoUniqueKeysError BExplicit) :: Constraint) => AtLeastOneUniqueKey BExplicit Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: BExplicit -> NonEmpty (Unique BExplicit) #

(TypeError (NoUniqueKeysError BExplicit) :: Constraint) => OnlyOneUniqueKey BExplicit Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: BExplicit -> Unique BExplicit #

PersistFieldSql BExplicit Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy BExplicit -> SqlType #

ToBackendKey SqlBackend BExplicit Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key BExplicit -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key BExplicit #

SymbolToField "ba" BExplicit AId Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit AId #

SymbolToField "id" BExplicit (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit (Key BExplicit) #

FromJSON (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key BExplicit) #

parseJSONList :: Value -> Parser [Key BExplicit] #

omittedField :: Maybe (Key BExplicit) #

ToJSON (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key BExplicit -> Value #

toEncoding :: Key BExplicit -> Encoding #

toJSONList :: [Key BExplicit] -> Value #

toEncodingList :: [Key BExplicit] -> Encoding #

omitField :: Key BExplicit -> Bool #

Read (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key BExplicit) #

readList :: ReadS [Key BExplicit] #

readPrec :: ReadPrec (Key BExplicit) #

readListPrec :: ReadPrec [Key BExplicit] #

Show (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key BExplicit -> ShowS #

show :: Key BExplicit -> String #

showList :: [Key BExplicit] -> ShowS #

Eq (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key BExplicit -> Key BExplicit -> Bool #

(/=) :: Key BExplicit -> Key BExplicit -> Bool #

Ord (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key BExplicit -> Key BExplicit -> Ordering #

(<) :: Key BExplicit -> Key BExplicit -> Bool #

(<=) :: Key BExplicit -> Key BExplicit -> Bool #

(>) :: Key BExplicit -> Key BExplicit -> Bool #

(>=) :: Key BExplicit -> Key BExplicit -> Bool #

max :: Key BExplicit -> Key BExplicit -> Key BExplicit #

min :: Key BExplicit -> Key BExplicit -> Key BExplicit #

FromHttpApiData (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key BExplicit) #

parseHeader :: ByteString -> Either Text (Key BExplicit) #

parseQueryParam :: Text -> Either Text (Key BExplicit) #

ToHttpApiData (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key BExplicit -> Text #

toEncodedUrlPiece :: Key BExplicit -> Builder #

toHeader :: Key BExplicit -> ByteString #

toQueryParam :: Key BExplicit -> Text #

toEncodedQueryParam :: Key BExplicit -> Builder #

PathPiece (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key BExplicit) #

toPathPiece :: Key BExplicit -> Text #

PersistField (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key BExplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key BExplicit) #

PersistFieldSql (Key BExplicit) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key BExplicit) -> SqlType #

data EntityField BExplicit typ Source #

Instance details

Defined in ForeignKey

data EntityField BExplicit typ

= typ ~ BExplicitId => BExplicitId
| typ ~ AId => BExplicitBa

newtype Key BExplicit Source #

Instance details

Defined in ForeignKey

newtype Key BExplicit = BExplicitKey {

unBExplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend BExplicit Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend BExplicit = SqlBackend

data Unique BExplicit Source #

Instance details

Defined in ForeignKey

data Unique BExplicit

type BCompositeId = Key BComposite Source #

data BComposite Source #

Constructors

BComposite
Fields bCompositeBa :: !Int bCompositeBb :: !Int

Instances

Instances details

Show BComposite Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> BComposite -> ShowS #

show :: BComposite -> String #

showList :: [BComposite] -> ShowS #

Eq BComposite Source #

Instance details

Defined in ForeignKey

Methods

(==) :: BComposite -> BComposite -> Bool #

(/=) :: BComposite -> BComposite -> Bool #

PersistEntity BComposite Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend BComposite
Instance details Defined in ForeignKey type PersistEntityBackend BComposite = SqlBackend
newtype Key BComposite
Instance details Defined in ForeignKey newtype Key BComposite = BCompositeKey { unBCompositeKey :: BackendKey SqlBackend }
data EntityField BComposite typ
Instance details Defined in ForeignKey data EntityField BComposite typ = typ ~ BCompositeId => BCompositeId \| typ ~ Int => BCompositeBa \| typ ~ Int => BCompositeBb
data Unique BComposite
Instance details Defined in ForeignKey data Unique BComposite

Methods

keyToValues :: Key BComposite -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key BComposite) #

persistIdField :: EntityField BComposite (Key BComposite) #

entityDef :: proxy BComposite -> EntityDef #

persistFieldDef :: EntityField BComposite typ -> FieldDef #

toPersistFields :: BComposite -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text BComposite #

tabulateEntityA :: Applicative f => (forall a. EntityField BComposite a -> f a) -> f (Entity BComposite) #

persistUniqueKeys :: BComposite -> [Unique BComposite] #

persistUniqueToFieldNames :: Unique BComposite -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique BComposite -> [PersistValue] #

fieldLens :: EntityField BComposite field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity BComposite -> f (Entity BComposite) #

keyFromRecordM :: Maybe (BComposite -> Key BComposite) #

SafeToInsert BComposite Source #

Instance details

Defined in ForeignKey

PersistField BComposite Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: BComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text BComposite #

(TypeError (NoUniqueKeysError BComposite) :: Constraint) => AtLeastOneUniqueKey BComposite Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: BComposite -> NonEmpty (Unique BComposite) #

(TypeError (NoUniqueKeysError BComposite) :: Constraint) => OnlyOneUniqueKey BComposite Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: BComposite -> Unique BComposite #

PersistFieldSql BComposite Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy BComposite -> SqlType #

ToBackendKey SqlBackend BComposite Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key BComposite -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key BComposite #

SymbolToField "ba" BComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite Int #

SymbolToField "bb" BComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite Int #

SymbolToField "id" BComposite (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite (Key BComposite) #

FromJSON (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key BComposite) #

parseJSONList :: Value -> Parser [Key BComposite] #

omittedField :: Maybe (Key BComposite) #

ToJSON (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key BComposite -> Value #

toEncoding :: Key BComposite -> Encoding #

toJSONList :: [Key BComposite] -> Value #

toEncodingList :: [Key BComposite] -> Encoding #

omitField :: Key BComposite -> Bool #

Read (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key BComposite) #

readList :: ReadS [Key BComposite] #

readPrec :: ReadPrec (Key BComposite) #

readListPrec :: ReadPrec [Key BComposite] #

Show (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key BComposite -> ShowS #

show :: Key BComposite -> String #

showList :: [Key BComposite] -> ShowS #

Eq (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key BComposite -> Key BComposite -> Bool #

(/=) :: Key BComposite -> Key BComposite -> Bool #

Ord (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key BComposite -> Key BComposite -> Ordering #

(<) :: Key BComposite -> Key BComposite -> Bool #

(<=) :: Key BComposite -> Key BComposite -> Bool #

(>) :: Key BComposite -> Key BComposite -> Bool #

(>=) :: Key BComposite -> Key BComposite -> Bool #

max :: Key BComposite -> Key BComposite -> Key BComposite #

min :: Key BComposite -> Key BComposite -> Key BComposite #

FromHttpApiData (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key BComposite) #

parseHeader :: ByteString -> Either Text (Key BComposite) #

parseQueryParam :: Text -> Either Text (Key BComposite) #

ToHttpApiData (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key BComposite -> Text #

toEncodedUrlPiece :: Key BComposite -> Builder #

toHeader :: Key BComposite -> ByteString #

toQueryParam :: Key BComposite -> Text #

toEncodedQueryParam :: Key BComposite -> Builder #

PathPiece (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key BComposite) #

toPathPiece :: Key BComposite -> Text #

PersistField (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key BComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key BComposite) #

PersistFieldSql (Key BComposite) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key BComposite) -> SqlType #

data EntityField BComposite typ Source #

Instance details

Defined in ForeignKey

data EntityField BComposite typ

= typ ~ BCompositeId => BCompositeId
| typ ~ Int => BCompositeBa
| typ ~ Int => BCompositeBb

newtype Key BComposite Source #

Instance details

Defined in ForeignKey

newtype Key BComposite = BCompositeKey {

unBCompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend BComposite Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend BComposite = SqlBackend

data Unique BComposite Source #

Instance details

Defined in ForeignKey

data Unique BComposite

type ACompositeId = Key AComposite Source #

data AComposite Source #

Constructors

AComposite
Fields aCompositeAa :: !Int aCompositeAb :: !Int

Instances

Instances details

PersistEntity AComposite Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend AComposite
Instance details Defined in ForeignKey type PersistEntityBackend AComposite = SqlBackend
newtype Key AComposite
Instance details Defined in ForeignKey newtype Key AComposite = ACompositeKey { unACompositeKey :: BackendKey SqlBackend }
data EntityField AComposite typ
Instance details Defined in ForeignKey data EntityField AComposite typ = typ ~ ACompositeId => ACompositeId \| typ ~ Int => ACompositeAa \| typ ~ Int => ACompositeAb
data Unique AComposite
Instance details Defined in ForeignKey data Unique AComposite = U2 Int Int

Methods

keyToValues :: Key AComposite -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key AComposite) #

persistIdField :: EntityField AComposite (Key AComposite) #

entityDef :: proxy AComposite -> EntityDef #

persistFieldDef :: EntityField AComposite typ -> FieldDef #

toPersistFields :: AComposite -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text AComposite #

tabulateEntityA :: Applicative f => (forall a. EntityField AComposite a -> f a) -> f (Entity AComposite) #

persistUniqueKeys :: AComposite -> [Unique AComposite] #

persistUniqueToFieldNames :: Unique AComposite -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique AComposite -> [PersistValue] #

fieldLens :: EntityField AComposite field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity AComposite -> f (Entity AComposite) #

keyFromRecordM :: Maybe (AComposite -> Key AComposite) #

SafeToInsert AComposite Source #

Instance details

Defined in ForeignKey

PersistField AComposite Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: AComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text AComposite #

AtLeastOneUniqueKey AComposite Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: AComposite -> NonEmpty (Unique AComposite) #

OnlyOneUniqueKey AComposite Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: AComposite -> Unique AComposite #

PersistFieldSql AComposite Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy AComposite -> SqlType #

ToBackendKey SqlBackend AComposite Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key AComposite -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key AComposite #

SymbolToField "aa" AComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite Int #

SymbolToField "ab" AComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite Int #

SymbolToField "id" AComposite (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite (Key AComposite) #

FromJSON (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key AComposite) #

parseJSONList :: Value -> Parser [Key AComposite] #

omittedField :: Maybe (Key AComposite) #

ToJSON (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key AComposite -> Value #

toEncoding :: Key AComposite -> Encoding #

toJSONList :: [Key AComposite] -> Value #

toEncodingList :: [Key AComposite] -> Encoding #

omitField :: Key AComposite -> Bool #

Read (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key AComposite) #

readList :: ReadS [Key AComposite] #

readPrec :: ReadPrec (Key AComposite) #

readListPrec :: ReadPrec [Key AComposite] #

Show (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key AComposite -> ShowS #

show :: Key AComposite -> String #

showList :: [Key AComposite] -> ShowS #

Eq (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key AComposite -> Key AComposite -> Bool #

(/=) :: Key AComposite -> Key AComposite -> Bool #

Ord (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key AComposite -> Key AComposite -> Ordering #

(<) :: Key AComposite -> Key AComposite -> Bool #

(<=) :: Key AComposite -> Key AComposite -> Bool #

(>) :: Key AComposite -> Key AComposite -> Bool #

(>=) :: Key AComposite -> Key AComposite -> Bool #

max :: Key AComposite -> Key AComposite -> Key AComposite #

min :: Key AComposite -> Key AComposite -> Key AComposite #

FromHttpApiData (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key AComposite) #

parseHeader :: ByteString -> Either Text (Key AComposite) #

parseQueryParam :: Text -> Either Text (Key AComposite) #

ToHttpApiData (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key AComposite -> Text #

toEncodedUrlPiece :: Key AComposite -> Builder #

toHeader :: Key AComposite -> ByteString #

toQueryParam :: Key AComposite -> Text #

toEncodedQueryParam :: Key AComposite -> Builder #

PathPiece (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key AComposite) #

toPathPiece :: Key AComposite -> Text #

PersistField (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key AComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key AComposite) #

PersistFieldSql (Key AComposite) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key AComposite) -> SqlType #

data EntityField AComposite typ Source #

Instance details

Defined in ForeignKey

data EntityField AComposite typ

= typ ~ ACompositeId => ACompositeId
| typ ~ Int => ACompositeAa
| typ ~ Int => ACompositeAb

newtype Key AComposite Source #

Instance details

Defined in ForeignKey

newtype Key AComposite = ACompositeKey {

unACompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend AComposite Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend AComposite = SqlBackend

data Unique AComposite Source #

Instance details

Defined in ForeignKey

data Unique AComposite = U2 Int Int

type BId = Key B Source #

data B Source #

Constructors

B
Fields bBa :: !Int bBb :: !Int

Instances

Instances details

Show B Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> B -> ShowS #

show :: B -> String #

showList :: [B] -> ShowS #

Eq B Source #

Instance details

Defined in ForeignKey

Methods

(==) :: B -> B -> Bool #

(/=) :: B -> B -> Bool #

PersistEntity B Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend B
Instance details Defined in ForeignKey type PersistEntityBackend B = SqlBackend
newtype Key B
Instance details Defined in ForeignKey newtype Key B = BKey { unBKey :: BackendKey SqlBackend }
data EntityField B typ
Instance details Defined in ForeignKey data EntityField B typ = typ ~ BId => BId \| typ ~ Int => BBa \| typ ~ Int => BBb
data Unique B
Instance details Defined in ForeignKey data Unique B

Methods

keyToValues :: Key B -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key B) #

persistIdField :: EntityField B (Key B) #

entityDef :: proxy B -> EntityDef #

persistFieldDef :: EntityField B typ -> FieldDef #

toPersistFields :: B -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text B #

tabulateEntityA :: Applicative f => (forall a. EntityField B a -> f a) -> f (Entity B) #

persistUniqueKeys :: B -> [Unique B] #

persistUniqueToFieldNames :: Unique B -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique B -> [PersistValue] #

fieldLens :: EntityField B field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity B -> f (Entity B) #

keyFromRecordM :: Maybe (B -> Key B) #

SafeToInsert B Source #

Instance details

Defined in ForeignKey

PersistField B Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: B -> PersistValue #

fromPersistValue :: PersistValue -> Either Text B #

(TypeError (NoUniqueKeysError B) :: Constraint) => AtLeastOneUniqueKey B Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: B -> NonEmpty (Unique B) #

(TypeError (NoUniqueKeysError B) :: Constraint) => OnlyOneUniqueKey B Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: B -> Unique B #

PersistFieldSql B Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy B -> SqlType #

ToBackendKey SqlBackend B Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key B -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key B #

SymbolToField "ba" B Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField B Int #

SymbolToField "bb" B Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField B Int #

SymbolToField "id" B (Key B) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField B (Key B) #

FromJSON (Key B) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key B) #

parseJSONList :: Value -> Parser [Key B] #

omittedField :: Maybe (Key B) #

ToJSON (Key B) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key B -> Value #

toEncoding :: Key B -> Encoding #

toJSONList :: [Key B] -> Value #

toEncodingList :: [Key B] -> Encoding #

omitField :: Key B -> Bool #

Read (Key B) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key B) #

readList :: ReadS [Key B] #

readPrec :: ReadPrec (Key B) #

readListPrec :: ReadPrec [Key B] #

Show (Key B) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key B -> ShowS #

show :: Key B -> String #

showList :: [Key B] -> ShowS #

Eq (Key B) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key B -> Key B -> Bool #

(/=) :: Key B -> Key B -> Bool #

Ord (Key B) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key B -> Key B -> Ordering #

(<) :: Key B -> Key B -> Bool #

(<=) :: Key B -> Key B -> Bool #

(>) :: Key B -> Key B -> Bool #

(>=) :: Key B -> Key B -> Bool #

max :: Key B -> Key B -> Key B #

min :: Key B -> Key B -> Key B #

FromHttpApiData (Key B) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key B) #

parseHeader :: ByteString -> Either Text (Key B) #

parseQueryParam :: Text -> Either Text (Key B) #

ToHttpApiData (Key B) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key B -> Text #

toEncodedUrlPiece :: Key B -> Builder #

toHeader :: Key B -> ByteString #

toQueryParam :: Key B -> Text #

toEncodedQueryParam :: Key B -> Builder #

PathPiece (Key B) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key B) #

toPathPiece :: Key B -> Text #

PersistField (Key B) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key B -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key B) #

PersistFieldSql (Key B) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key B) -> SqlType #

data EntityField B typ Source #

Instance details

Defined in ForeignKey

data EntityField B typ

= typ ~ BId => BId
| typ ~ Int => BBa
| typ ~ Int => BBb

newtype Key B Source #

Instance details

Defined in ForeignKey

newtype Key B = BKey {

unBKey :: BackendKey SqlBackend

}

type PersistEntityBackend B Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend B = SqlBackend

data Unique B Source #

Instance details

Defined in ForeignKey

data Unique B

type AId = Key A Source #

data A Source #

Constructors

A
Fields aAa :: !Int aAb :: !Int

Instances

Instances details

PersistEntity A Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend A
Instance details Defined in ForeignKey type PersistEntityBackend A = SqlBackend
newtype Key A
Instance details Defined in ForeignKey newtype Key A = AKey { unAKey :: BackendKey SqlBackend }
data EntityField A typ
Instance details Defined in ForeignKey data EntityField A typ = typ ~ AId => AId \| typ ~ Int => AAa \| typ ~ Int => AAb
data Unique A
Instance details Defined in ForeignKey data Unique A = U1 Int

Methods

keyToValues :: Key A -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key A) #

persistIdField :: EntityField A (Key A) #

entityDef :: proxy A -> EntityDef #

persistFieldDef :: EntityField A typ -> FieldDef #

toPersistFields :: A -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text A #

tabulateEntityA :: Applicative f => (forall a. EntityField A a -> f a) -> f (Entity A) #

persistUniqueKeys :: A -> [Unique A] #

persistUniqueToFieldNames :: Unique A -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique A -> [PersistValue] #

fieldLens :: EntityField A field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity A -> f (Entity A) #

keyFromRecordM :: Maybe (A -> Key A) #

SafeToInsert A Source #

Instance details

Defined in ForeignKey

PersistField A Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: A -> PersistValue #

fromPersistValue :: PersistValue -> Either Text A #

AtLeastOneUniqueKey A Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: A -> NonEmpty (Unique A) #

OnlyOneUniqueKey A Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: A -> Unique A #

PersistFieldSql A Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy A -> SqlType #

ToBackendKey SqlBackend A Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key A -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key A #

SymbolToField "aa" A Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField A Int #

SymbolToField "ab" A Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField A Int #

SymbolToField "ba" BExplicit AId Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit AId #

SymbolToField "id" A (Key A) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField A (Key A) #

FromJSON (Key A) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key A) #

parseJSONList :: Value -> Parser [Key A] #

omittedField :: Maybe (Key A) #

ToJSON (Key A) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key A -> Value #

toEncoding :: Key A -> Encoding #

toJSONList :: [Key A] -> Value #

toEncodingList :: [Key A] -> Encoding #

omitField :: Key A -> Bool #

Read (Key A) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key A) #

readList :: ReadS [Key A] #

readPrec :: ReadPrec (Key A) #

readListPrec :: ReadPrec [Key A] #

Show (Key A) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key A -> ShowS #

show :: Key A -> String #

showList :: [Key A] -> ShowS #

Eq (Key A) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key A -> Key A -> Bool #

(/=) :: Key A -> Key A -> Bool #

Ord (Key A) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key A -> Key A -> Ordering #

(<) :: Key A -> Key A -> Bool #

(<=) :: Key A -> Key A -> Bool #

(>) :: Key A -> Key A -> Bool #

(>=) :: Key A -> Key A -> Bool #

max :: Key A -> Key A -> Key A #

min :: Key A -> Key A -> Key A #

FromHttpApiData (Key A) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key A) #

parseHeader :: ByteString -> Either Text (Key A) #

parseQueryParam :: Text -> Either Text (Key A) #

ToHttpApiData (Key A) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key A -> Text #

toEncodedUrlPiece :: Key A -> Builder #

toHeader :: Key A -> ByteString #

toQueryParam :: Key A -> Text #

toEncodedQueryParam :: Key A -> Builder #

PathPiece (Key A) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key A) #

toPathPiece :: Key A -> Text #

PersistField (Key A) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key A -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key A) #

PersistFieldSql (Key A) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key A) -> SqlType #

data EntityField A typ Source #

Instance details

Defined in ForeignKey

data EntityField A typ

= typ ~ AId => AId
| typ ~ Int => AAa
| typ ~ Int => AAb

newtype Key A Source #

Instance details

Defined in ForeignKey

newtype Key A = AKey {

unAKey :: BackendKey SqlBackend

}

type PersistEntityBackend A Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend A = SqlBackend

data Unique A Source #

Instance details

Defined in ForeignKey

data Unique A = U1 Int

type SelfReferencedId = Key SelfReferenced Source #

data SelfReferenced Source #

Constructors

SelfReferenced
Fields selfReferencedName :: !Int selfReferencedPname :: !Int

Instances

Instances details

Show SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> SelfReferenced -> ShowS #

show :: SelfReferenced -> String #

showList :: [SelfReferenced] -> ShowS #

Eq SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

(==) :: SelfReferenced -> SelfReferenced -> Bool #

(/=) :: SelfReferenced -> SelfReferenced -> Bool #

PersistEntity SelfReferenced Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend SelfReferenced
Instance details Defined in ForeignKey type PersistEntityBackend SelfReferenced = SqlBackend
newtype Key SelfReferenced
Instance details Defined in ForeignKey newtype Key SelfReferenced = SelfReferencedKey { unSelfReferencedKey :: Int }
data EntityField SelfReferenced typ
Instance details Defined in ForeignKey data EntityField SelfReferenced typ = typ ~ SelfReferencedId => SelfReferencedId \| typ ~ Int => SelfReferencedName \| typ ~ Int => SelfReferencedPname
data Unique SelfReferenced
Instance details Defined in ForeignKey data Unique SelfReferenced = SelfReferencedPrimaryKey Int

Methods

keyToValues :: Key SelfReferenced -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key SelfReferenced) #

persistIdField :: EntityField SelfReferenced (Key SelfReferenced) #

entityDef :: proxy SelfReferenced -> EntityDef #

persistFieldDef :: EntityField SelfReferenced typ -> FieldDef #

toPersistFields :: SelfReferenced -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text SelfReferenced #

tabulateEntityA :: Applicative f => (forall a. EntityField SelfReferenced a -> f a) -> f (Entity SelfReferenced) #

persistUniqueKeys :: SelfReferenced -> [Unique SelfReferenced] #

persistUniqueToFieldNames :: Unique SelfReferenced -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique SelfReferenced -> [PersistValue] #

fieldLens :: EntityField SelfReferenced field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity SelfReferenced -> f (Entity SelfReferenced) #

keyFromRecordM :: Maybe (SelfReferenced -> Key SelfReferenced) #

SafeToInsert SelfReferenced Source #

Instance details

Defined in ForeignKey

PersistField SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: SelfReferenced -> PersistValue #

fromPersistValue :: PersistValue -> Either Text SelfReferenced #

AtLeastOneUniqueKey SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: SelfReferenced -> NonEmpty (Unique SelfReferenced) #

OnlyOneUniqueKey SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: SelfReferenced -> Unique SelfReferenced #

PersistFieldSql SelfReferenced Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy SelfReferenced -> SqlType #

SymbolToField "name" SelfReferenced Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SelfReferenced Int #

SymbolToField "pname" SelfReferenced Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SelfReferenced Int #

SymbolToField "id" SelfReferenced (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SelfReferenced (Key SelfReferenced) #

FromJSON (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key SelfReferenced) #

parseJSONList :: Value -> Parser [Key SelfReferenced] #

omittedField :: Maybe (Key SelfReferenced) #

ToJSON (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key SelfReferenced -> Value #

toEncoding :: Key SelfReferenced -> Encoding #

toJSONList :: [Key SelfReferenced] -> Value #

toEncodingList :: [Key SelfReferenced] -> Encoding #

omitField :: Key SelfReferenced -> Bool #

Read (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key SelfReferenced) #

readList :: ReadS [Key SelfReferenced] #

readPrec :: ReadPrec (Key SelfReferenced) #

readListPrec :: ReadPrec [Key SelfReferenced] #

Show (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key SelfReferenced -> ShowS #

show :: Key SelfReferenced -> String #

showList :: [Key SelfReferenced] -> ShowS #

Eq (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

(/=) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

Ord (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key SelfReferenced -> Key SelfReferenced -> Ordering #

(<) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

(<=) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

(>) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

(>=) :: Key SelfReferenced -> Key SelfReferenced -> Bool #

max :: Key SelfReferenced -> Key SelfReferenced -> Key SelfReferenced #

min :: Key SelfReferenced -> Key SelfReferenced -> Key SelfReferenced #

FromHttpApiData (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key SelfReferenced) #

parseHeader :: ByteString -> Either Text (Key SelfReferenced) #

parseQueryParam :: Text -> Either Text (Key SelfReferenced) #

ToHttpApiData (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key SelfReferenced -> Text #

toEncodedUrlPiece :: Key SelfReferenced -> Builder #

toHeader :: Key SelfReferenced -> ByteString #

toQueryParam :: Key SelfReferenced -> Text #

toEncodedQueryParam :: Key SelfReferenced -> Builder #

PathPiece (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key SelfReferenced) #

toPathPiece :: Key SelfReferenced -> Text #

PersistField (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key SelfReferenced -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key SelfReferenced) #

PersistFieldSql (Key SelfReferenced) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key SelfReferenced) -> SqlType #

data EntityField SelfReferenced typ Source #

Instance details

Defined in ForeignKey

data EntityField SelfReferenced typ

= typ ~ SelfReferencedId => SelfReferencedId
| typ ~ Int => SelfReferencedName
| typ ~ Int => SelfReferencedPname

newtype Key SelfReferenced Source #

Instance details

Defined in ForeignKey

newtype Key SelfReferenced = SelfReferencedKey {

unSelfReferencedKey :: Int

}

type PersistEntityBackend SelfReferenced Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend SelfReferenced = SqlBackend

data Unique SelfReferenced Source #

Instance details

Defined in ForeignKey

data Unique SelfReferenced = SelfReferencedPrimaryKey Int

type ChildCompositeId = Key ChildComposite Source #

data ChildComposite Source #

Constructors

ChildComposite
Fields childCompositePname :: !Int childCompositePlastName :: !Int

Instances

Instances details

Show ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> ChildComposite -> ShowS #

show :: ChildComposite -> String #

showList :: [ChildComposite] -> ShowS #

Eq ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

(==) :: ChildComposite -> ChildComposite -> Bool #

(/=) :: ChildComposite -> ChildComposite -> Bool #

PersistEntity ChildComposite Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend ChildComposite
Instance details Defined in ForeignKey type PersistEntityBackend ChildComposite = SqlBackend
newtype Key ChildComposite
Instance details Defined in ForeignKey newtype Key ChildComposite = ChildCompositeKey { unChildCompositeKey :: BackendKey SqlBackend }
data EntityField ChildComposite typ
Instance details Defined in ForeignKey data EntityField ChildComposite typ = typ ~ ChildCompositeId => ChildCompositeId \| typ ~ Int => ChildCompositePname \| typ ~ Int => ChildCompositePlastName
data Unique ChildComposite
Instance details Defined in ForeignKey data Unique ChildComposite

Methods

keyToValues :: Key ChildComposite -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key ChildComposite) #

persistIdField :: EntityField ChildComposite (Key ChildComposite) #

entityDef :: proxy ChildComposite -> EntityDef #

persistFieldDef :: EntityField ChildComposite typ -> FieldDef #

toPersistFields :: ChildComposite -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text ChildComposite #

tabulateEntityA :: Applicative f => (forall a. EntityField ChildComposite a -> f a) -> f (Entity ChildComposite) #

persistUniqueKeys :: ChildComposite -> [Unique ChildComposite] #

persistUniqueToFieldNames :: Unique ChildComposite -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique ChildComposite -> [PersistValue] #

fieldLens :: EntityField ChildComposite field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity ChildComposite -> f (Entity ChildComposite) #

keyFromRecordM :: Maybe (ChildComposite -> Key ChildComposite) #

SafeToInsert ChildComposite Source #

Instance details

Defined in ForeignKey

PersistField ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: ChildComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text ChildComposite #

(TypeError (NoUniqueKeysError ChildComposite) :: Constraint) => AtLeastOneUniqueKey ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: ChildComposite -> NonEmpty (Unique ChildComposite) #

(TypeError (NoUniqueKeysError ChildComposite) :: Constraint) => OnlyOneUniqueKey ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: ChildComposite -> Unique ChildComposite #

PersistFieldSql ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy ChildComposite -> SqlType #

ToBackendKey SqlBackend ChildComposite Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key ChildComposite -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key ChildComposite #

SymbolToField "plastName" ChildComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite Int #

SymbolToField "pname" ChildComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite Int #

SymbolToField "id" ChildComposite (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite (Key ChildComposite) #

FromJSON (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ChildComposite) #

parseJSONList :: Value -> Parser [Key ChildComposite] #

omittedField :: Maybe (Key ChildComposite) #

ToJSON (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key ChildComposite -> Value #

toEncoding :: Key ChildComposite -> Encoding #

toJSONList :: [Key ChildComposite] -> Value #

toEncodingList :: [Key ChildComposite] -> Encoding #

omitField :: Key ChildComposite -> Bool #

Read (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ChildComposite) #

readList :: ReadS [Key ChildComposite] #

readPrec :: ReadPrec (Key ChildComposite) #

readListPrec :: ReadPrec [Key ChildComposite] #

Show (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ChildComposite -> ShowS #

show :: Key ChildComposite -> String #

showList :: [Key ChildComposite] -> ShowS #

Eq (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key ChildComposite -> Key ChildComposite -> Bool #

(/=) :: Key ChildComposite -> Key ChildComposite -> Bool #

Ord (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key ChildComposite -> Key ChildComposite -> Ordering #

(<) :: Key ChildComposite -> Key ChildComposite -> Bool #

(<=) :: Key ChildComposite -> Key ChildComposite -> Bool #

(>) :: Key ChildComposite -> Key ChildComposite -> Bool #

(>=) :: Key ChildComposite -> Key ChildComposite -> Bool #

max :: Key ChildComposite -> Key ChildComposite -> Key ChildComposite #

min :: Key ChildComposite -> Key ChildComposite -> Key ChildComposite #

FromHttpApiData (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key ChildComposite) #

parseHeader :: ByteString -> Either Text (Key ChildComposite) #

parseQueryParam :: Text -> Either Text (Key ChildComposite) #

ToHttpApiData (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key ChildComposite -> Text #

toEncodedUrlPiece :: Key ChildComposite -> Builder #

toHeader :: Key ChildComposite -> ByteString #

toQueryParam :: Key ChildComposite -> Text #

toEncodedQueryParam :: Key ChildComposite -> Builder #

PathPiece (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ChildComposite) #

toPathPiece :: Key ChildComposite -> Text #

PersistField (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key ChildComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key ChildComposite) #

PersistFieldSql (Key ChildComposite) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ChildComposite) -> SqlType #

data EntityField ChildComposite typ Source #

Instance details

Defined in ForeignKey

data EntityField ChildComposite typ

= typ ~ ChildCompositeId => ChildCompositeId
| typ ~ Int => ChildCompositePname
| typ ~ Int => ChildCompositePlastName

newtype Key ChildComposite Source #

Instance details

Defined in ForeignKey

newtype Key ChildComposite = ChildCompositeKey {

unChildCompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend ChildComposite Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend ChildComposite = SqlBackend

data Unique ChildComposite Source #

Instance details

Defined in ForeignKey

data Unique ChildComposite

type ParentCompositeId = Key ParentComposite Source #

data ParentComposite Source #

Constructors

ParentComposite
Fields parentCompositeName :: !Int parentCompositeLastName :: !Int

Instances

Instances details

PersistEntity ParentComposite Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend ParentComposite
Instance details Defined in ForeignKey type PersistEntityBackend ParentComposite = SqlBackend
data Key ParentComposite
Instance details Defined in ForeignKey data Key ParentComposite = ParentCompositeKey { parentCompositeKeyname :: Int parentCompositeKeylastName :: Int }
data EntityField ParentComposite typ
Instance details Defined in ForeignKey data EntityField ParentComposite typ = typ ~ ParentCompositeId => ParentCompositeId \| typ ~ Int => ParentCompositeName \| typ ~ Int => ParentCompositeLastName
data Unique ParentComposite
Instance details Defined in ForeignKey data Unique ParentComposite = ParentCompositePrimaryKey Int Int

Methods

keyToValues :: Key ParentComposite -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key ParentComposite) #

persistIdField :: EntityField ParentComposite (Key ParentComposite) #

entityDef :: proxy ParentComposite -> EntityDef #

persistFieldDef :: EntityField ParentComposite typ -> FieldDef #

toPersistFields :: ParentComposite -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text ParentComposite #

tabulateEntityA :: Applicative f => (forall a. EntityField ParentComposite a -> f a) -> f (Entity ParentComposite) #

persistUniqueKeys :: ParentComposite -> [Unique ParentComposite] #

persistUniqueToFieldNames :: Unique ParentComposite -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique ParentComposite -> [PersistValue] #

fieldLens :: EntityField ParentComposite field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity ParentComposite -> f (Entity ParentComposite) #

keyFromRecordM :: Maybe (ParentComposite -> Key ParentComposite) #

SafeToInsert ParentComposite Source #

Instance details

Defined in ForeignKey

PersistField ParentComposite Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: ParentComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text ParentComposite #

AtLeastOneUniqueKey ParentComposite Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: ParentComposite -> NonEmpty (Unique ParentComposite) #

OnlyOneUniqueKey ParentComposite Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: ParentComposite -> Unique ParentComposite #

PersistFieldSql ParentComposite Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy ParentComposite -> SqlType #

SymbolToField "lastName" ParentComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentComposite Int #

SymbolToField "name" ParentComposite Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentComposite Int #

SymbolToField "id" ParentComposite (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentComposite (Key ParentComposite) #

FromJSON (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ParentComposite) #

parseJSONList :: Value -> Parser [Key ParentComposite] #

omittedField :: Maybe (Key ParentComposite) #

ToJSON (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key ParentComposite -> Value #

toEncoding :: Key ParentComposite -> Encoding #

toJSONList :: [Key ParentComposite] -> Value #

toEncodingList :: [Key ParentComposite] -> Encoding #

omitField :: Key ParentComposite -> Bool #

Generic (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Associated Types

type Rep (Key ParentComposite)

Instance details

Defined in ForeignKey

type Rep (Key ParentComposite) = D1 ('MetaData "Key" "ForeignKey" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "ParentCompositeKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "parentCompositeKeyname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "parentCompositeKeylastName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Key ParentComposite -> Rep (Key ParentComposite) x #

to :: Rep (Key ParentComposite) x -> Key ParentComposite #

Read (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ParentComposite) #

readList :: ReadS [Key ParentComposite] #

readPrec :: ReadPrec (Key ParentComposite) #

readListPrec :: ReadPrec [Key ParentComposite] #

Show (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ParentComposite -> ShowS #

show :: Key ParentComposite -> String #

showList :: [Key ParentComposite] -> ShowS #

Eq (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key ParentComposite -> Key ParentComposite -> Bool #

(/=) :: Key ParentComposite -> Key ParentComposite -> Bool #

Ord (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key ParentComposite -> Key ParentComposite -> Ordering #

(<) :: Key ParentComposite -> Key ParentComposite -> Bool #

(<=) :: Key ParentComposite -> Key ParentComposite -> Bool #

(>) :: Key ParentComposite -> Key ParentComposite -> Bool #

(>=) :: Key ParentComposite -> Key ParentComposite -> Bool #

max :: Key ParentComposite -> Key ParentComposite -> Key ParentComposite #

min :: Key ParentComposite -> Key ParentComposite -> Key ParentComposite #

PersistField (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key ParentComposite -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key ParentComposite) #

PersistFieldSql (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ParentComposite) -> SqlType #

data EntityField ParentComposite typ Source #

Instance details

Defined in ForeignKey

data EntityField ParentComposite typ

= typ ~ ParentCompositeId => ParentCompositeId
| typ ~ Int => ParentCompositeName
| typ ~ Int => ParentCompositeLastName

data Key ParentComposite Source #

Instance details

Defined in ForeignKey

data Key ParentComposite = ParentCompositeKey {

parentCompositeKeyname :: Int
parentCompositeKeylastName :: Int

}

type PersistEntityBackend ParentComposite Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend ParentComposite = SqlBackend

data Unique ParentComposite Source #

Instance details

Defined in ForeignKey

data Unique ParentComposite = ParentCompositePrimaryKey Int Int

type Rep (Key ParentComposite) Source #

Instance details

Defined in ForeignKey

type Rep (Key ParentComposite) = D1 ('MetaData "Key" "ForeignKey" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "ParentCompositeKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "parentCompositeKeyname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "parentCompositeKeylastName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type ChildImplicitId = Key ChildImplicit Source #

data ChildImplicit Source #

Constructors

ChildImplicit
Fields childImplicitPname :: !Int childImplicitParentId :: !ParentImplicitId

Instances

Instances details

Show ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> ChildImplicit -> ShowS #

show :: ChildImplicit -> String #

showList :: [ChildImplicit] -> ShowS #

Eq ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

(==) :: ChildImplicit -> ChildImplicit -> Bool #

(/=) :: ChildImplicit -> ChildImplicit -> Bool #

PersistEntity ChildImplicit Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend ChildImplicit
Instance details Defined in ForeignKey type PersistEntityBackend ChildImplicit = SqlBackend
newtype Key ChildImplicit
Instance details Defined in ForeignKey newtype Key ChildImplicit = ChildImplicitKey { unChildImplicitKey :: BackendKey SqlBackend }
data EntityField ChildImplicit typ
Instance details Defined in ForeignKey data EntityField ChildImplicit typ = typ ~ ChildImplicitId => ChildImplicitId \| typ ~ Int => ChildImplicitPname \| typ ~ ParentImplicitId => ChildImplicitParentId
data Unique ChildImplicit
Instance details Defined in ForeignKey data Unique ChildImplicit

Methods

keyToValues :: Key ChildImplicit -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key ChildImplicit) #

persistIdField :: EntityField ChildImplicit (Key ChildImplicit) #

entityDef :: proxy ChildImplicit -> EntityDef #

persistFieldDef :: EntityField ChildImplicit typ -> FieldDef #

toPersistFields :: ChildImplicit -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text ChildImplicit #

tabulateEntityA :: Applicative f => (forall a. EntityField ChildImplicit a -> f a) -> f (Entity ChildImplicit) #

persistUniqueKeys :: ChildImplicit -> [Unique ChildImplicit] #

persistUniqueToFieldNames :: Unique ChildImplicit -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique ChildImplicit -> [PersistValue] #

fieldLens :: EntityField ChildImplicit field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity ChildImplicit -> f (Entity ChildImplicit) #

keyFromRecordM :: Maybe (ChildImplicit -> Key ChildImplicit) #

SafeToInsert ChildImplicit Source #

Instance details

Defined in ForeignKey

PersistField ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: ChildImplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text ChildImplicit #

(TypeError (NoUniqueKeysError ChildImplicit) :: Constraint) => AtLeastOneUniqueKey ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: ChildImplicit -> NonEmpty (Unique ChildImplicit) #

(TypeError (NoUniqueKeysError ChildImplicit) :: Constraint) => OnlyOneUniqueKey ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: ChildImplicit -> Unique ChildImplicit #

PersistFieldSql ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy ChildImplicit -> SqlType #

ToBackendKey SqlBackend ChildImplicit Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key ChildImplicit -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key ChildImplicit #

SymbolToField "parentId" ChildImplicit ParentImplicitId Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit ParentImplicitId #

SymbolToField "pname" ChildImplicit Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit Int #

SymbolToField "id" ChildImplicit (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit (Key ChildImplicit) #

FromJSON (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ChildImplicit) #

parseJSONList :: Value -> Parser [Key ChildImplicit] #

omittedField :: Maybe (Key ChildImplicit) #

ToJSON (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key ChildImplicit -> Value #

toEncoding :: Key ChildImplicit -> Encoding #

toJSONList :: [Key ChildImplicit] -> Value #

toEncodingList :: [Key ChildImplicit] -> Encoding #

omitField :: Key ChildImplicit -> Bool #

Read (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ChildImplicit) #

readList :: ReadS [Key ChildImplicit] #

readPrec :: ReadPrec (Key ChildImplicit) #

readListPrec :: ReadPrec [Key ChildImplicit] #

Show (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ChildImplicit -> ShowS #

show :: Key ChildImplicit -> String #

showList :: [Key ChildImplicit] -> ShowS #

Eq (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

(/=) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

Ord (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key ChildImplicit -> Key ChildImplicit -> Ordering #

(<) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

(<=) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

(>) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

(>=) :: Key ChildImplicit -> Key ChildImplicit -> Bool #

max :: Key ChildImplicit -> Key ChildImplicit -> Key ChildImplicit #

min :: Key ChildImplicit -> Key ChildImplicit -> Key ChildImplicit #

FromHttpApiData (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key ChildImplicit) #

parseHeader :: ByteString -> Either Text (Key ChildImplicit) #

parseQueryParam :: Text -> Either Text (Key ChildImplicit) #

ToHttpApiData (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key ChildImplicit -> Text #

toEncodedUrlPiece :: Key ChildImplicit -> Builder #

toHeader :: Key ChildImplicit -> ByteString #

toQueryParam :: Key ChildImplicit -> Text #

toEncodedQueryParam :: Key ChildImplicit -> Builder #

PathPiece (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ChildImplicit) #

toPathPiece :: Key ChildImplicit -> Text #

PersistField (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key ChildImplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key ChildImplicit) #

PersistFieldSql (Key ChildImplicit) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ChildImplicit) -> SqlType #

data EntityField ChildImplicit typ Source #

Instance details

Defined in ForeignKey

data EntityField ChildImplicit typ

= typ ~ ChildImplicitId => ChildImplicitId
| typ ~ Int => ChildImplicitPname
| typ ~ ParentImplicitId => ChildImplicitParentId

newtype Key ChildImplicit Source #

Instance details

Defined in ForeignKey

newtype Key ChildImplicit = ChildImplicitKey {

unChildImplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend ChildImplicit Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend ChildImplicit = SqlBackend

data Unique ChildImplicit Source #

Instance details

Defined in ForeignKey

data Unique ChildImplicit

type ParentImplicitId = Key ParentImplicit Source #

data ParentImplicit Source #

Constructors

ParentImplicit
Fields parentImplicitName :: !Int

Instances

Instances details

PersistEntity ParentImplicit Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend ParentImplicit
Instance details Defined in ForeignKey type PersistEntityBackend ParentImplicit = SqlBackend
newtype Key ParentImplicit
Instance details Defined in ForeignKey newtype Key ParentImplicit = ParentImplicitKey { unParentImplicitKey :: BackendKey SqlBackend }
data EntityField ParentImplicit typ
Instance details Defined in ForeignKey data EntityField ParentImplicit typ = typ ~ ParentImplicitId => ParentImplicitId \| typ ~ Int => ParentImplicitName
data Unique ParentImplicit
Instance details Defined in ForeignKey data Unique ParentImplicit

Methods

keyToValues :: Key ParentImplicit -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key ParentImplicit) #

persistIdField :: EntityField ParentImplicit (Key ParentImplicit) #

entityDef :: proxy ParentImplicit -> EntityDef #

persistFieldDef :: EntityField ParentImplicit typ -> FieldDef #

toPersistFields :: ParentImplicit -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text ParentImplicit #

tabulateEntityA :: Applicative f => (forall a. EntityField ParentImplicit a -> f a) -> f (Entity ParentImplicit) #

persistUniqueKeys :: ParentImplicit -> [Unique ParentImplicit] #

persistUniqueToFieldNames :: Unique ParentImplicit -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique ParentImplicit -> [PersistValue] #

fieldLens :: EntityField ParentImplicit field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity ParentImplicit -> f (Entity ParentImplicit) #

keyFromRecordM :: Maybe (ParentImplicit -> Key ParentImplicit) #

SafeToInsert ParentImplicit Source #

Instance details

Defined in ForeignKey

PersistField ParentImplicit Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: ParentImplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text ParentImplicit #

(TypeError (NoUniqueKeysError ParentImplicit) :: Constraint) => AtLeastOneUniqueKey ParentImplicit Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: ParentImplicit -> NonEmpty (Unique ParentImplicit) #

(TypeError (NoUniqueKeysError ParentImplicit) :: Constraint) => OnlyOneUniqueKey ParentImplicit Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: ParentImplicit -> Unique ParentImplicit #

PersistFieldSql ParentImplicit Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy ParentImplicit -> SqlType #

ToBackendKey SqlBackend ParentImplicit Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key ParentImplicit -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key ParentImplicit #

SymbolToField "name" ParentImplicit Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentImplicit Int #

SymbolToField "parentId" ChildImplicit ParentImplicitId Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit ParentImplicitId #

SymbolToField "id" ParentImplicit (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentImplicit (Key ParentImplicit) #

FromJSON (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ParentImplicit) #

parseJSONList :: Value -> Parser [Key ParentImplicit] #

omittedField :: Maybe (Key ParentImplicit) #

ToJSON (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key ParentImplicit -> Value #

toEncoding :: Key ParentImplicit -> Encoding #

toJSONList :: [Key ParentImplicit] -> Value #

toEncodingList :: [Key ParentImplicit] -> Encoding #

omitField :: Key ParentImplicit -> Bool #

Read (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ParentImplicit) #

readList :: ReadS [Key ParentImplicit] #

readPrec :: ReadPrec (Key ParentImplicit) #

readListPrec :: ReadPrec [Key ParentImplicit] #

Show (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ParentImplicit -> ShowS #

show :: Key ParentImplicit -> String #

showList :: [Key ParentImplicit] -> ShowS #

Eq (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

(/=) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

Ord (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key ParentImplicit -> Key ParentImplicit -> Ordering #

(<) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

(<=) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

(>) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

(>=) :: Key ParentImplicit -> Key ParentImplicit -> Bool #

max :: Key ParentImplicit -> Key ParentImplicit -> Key ParentImplicit #

min :: Key ParentImplicit -> Key ParentImplicit -> Key ParentImplicit #

FromHttpApiData (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key ParentImplicit) #

parseHeader :: ByteString -> Either Text (Key ParentImplicit) #

parseQueryParam :: Text -> Either Text (Key ParentImplicit) #

ToHttpApiData (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key ParentImplicit -> Text #

toEncodedUrlPiece :: Key ParentImplicit -> Builder #

toHeader :: Key ParentImplicit -> ByteString #

toQueryParam :: Key ParentImplicit -> Text #

toEncodedQueryParam :: Key ParentImplicit -> Builder #

PathPiece (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ParentImplicit) #

toPathPiece :: Key ParentImplicit -> Text #

PersistField (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key ParentImplicit -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key ParentImplicit) #

PersistFieldSql (Key ParentImplicit) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ParentImplicit) -> SqlType #

data EntityField ParentImplicit typ Source #

Instance details

Defined in ForeignKey

data EntityField ParentImplicit typ

= typ ~ ParentImplicitId => ParentImplicitId
| typ ~ Int => ParentImplicitName

newtype Key ParentImplicit Source #

Instance details

Defined in ForeignKey

newtype Key ParentImplicit = ParentImplicitKey {

unParentImplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend ParentImplicit Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend ParentImplicit = SqlBackend

data Unique ParentImplicit Source #

Instance details

Defined in ForeignKey

data Unique ParentImplicit

type ChildId = Key Child Source #

data Child Source #

Constructors

Child
Fields childPname :: !Int

Instances

Instances details

Show Child Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Child -> ShowS #

show :: Child -> String #

showList :: [Child] -> ShowS #

Eq Child Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Child -> Child -> Bool #

(/=) :: Child -> Child -> Bool #

PersistEntity Child Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend Child
Instance details Defined in ForeignKey type PersistEntityBackend Child = SqlBackend
newtype Key Child
Instance details Defined in ForeignKey newtype Key Child = ChildKey { unChildKey :: BackendKey SqlBackend }
data EntityField Child typ
Instance details Defined in ForeignKey data EntityField Child typ = typ ~ ChildId => ChildId \| typ ~ Int => ChildPname
data Unique Child
Instance details Defined in ForeignKey data Unique Child

Methods

keyToValues :: Key Child -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Child) #

persistIdField :: EntityField Child (Key Child) #

entityDef :: proxy Child -> EntityDef #

persistFieldDef :: EntityField Child typ -> FieldDef #

toPersistFields :: Child -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Child #

tabulateEntityA :: Applicative f => (forall a. EntityField Child a -> f a) -> f (Entity Child) #

persistUniqueKeys :: Child -> [Unique Child] #

persistUniqueToFieldNames :: Unique Child -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Child -> [PersistValue] #

fieldLens :: EntityField Child field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Child -> f (Entity Child) #

keyFromRecordM :: Maybe (Child -> Key Child) #

SafeToInsert Child Source #

Instance details

Defined in ForeignKey

PersistField Child Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Child -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Child #

(TypeError (NoUniqueKeysError Child) :: Constraint) => AtLeastOneUniqueKey Child Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: Child -> NonEmpty (Unique Child) #

(TypeError (NoUniqueKeysError Child) :: Constraint) => OnlyOneUniqueKey Child Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: Child -> Unique Child #

PersistFieldSql Child Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy Child -> SqlType #

ToBackendKey SqlBackend Child Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key Child -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Child #

SymbolToField "pname" Child Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Child Int #

SymbolToField "id" Child (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Child (Key Child) #

FromJSON (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Child) #

parseJSONList :: Value -> Parser [Key Child] #

omittedField :: Maybe (Key Child) #

ToJSON (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key Child -> Value #

toEncoding :: Key Child -> Encoding #

toJSONList :: [Key Child] -> Value #

toEncodingList :: [Key Child] -> Encoding #

omitField :: Key Child -> Bool #

Read (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Child) #

readList :: ReadS [Key Child] #

readPrec :: ReadPrec (Key Child) #

readListPrec :: ReadPrec [Key Child] #

Show (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Child -> ShowS #

show :: Key Child -> String #

showList :: [Key Child] -> ShowS #

Eq (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key Child -> Key Child -> Bool #

(/=) :: Key Child -> Key Child -> Bool #

Ord (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key Child -> Key Child -> Ordering #

(<) :: Key Child -> Key Child -> Bool #

(<=) :: Key Child -> Key Child -> Bool #

(>) :: Key Child -> Key Child -> Bool #

(>=) :: Key Child -> Key Child -> Bool #

max :: Key Child -> Key Child -> Key Child #

min :: Key Child -> Key Child -> Key Child #

FromHttpApiData (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key Child) #

parseHeader :: ByteString -> Either Text (Key Child) #

parseQueryParam :: Text -> Either Text (Key Child) #

ToHttpApiData (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key Child -> Text #

toEncodedUrlPiece :: Key Child -> Builder #

toHeader :: Key Child -> ByteString #

toQueryParam :: Key Child -> Text #

toEncodedQueryParam :: Key Child -> Builder #

PathPiece (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Child) #

toPathPiece :: Key Child -> Text #

PersistField (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key Child -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Child) #

PersistFieldSql (Key Child) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Child) -> SqlType #

data EntityField Child typ Source #

Instance details

Defined in ForeignKey

data EntityField Child typ

= typ ~ ChildId => ChildId
| typ ~ Int => ChildPname

newtype Key Child Source #

Instance details

Defined in ForeignKey

newtype Key Child = ChildKey {

unChildKey :: BackendKey SqlBackend

}

type PersistEntityBackend Child Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend Child = SqlBackend

data Unique Child Source #

Instance details

Defined in ForeignKey

data Unique Child

type ParentId = Key Parent Source #

data Parent Source #

Constructors

Parent
Fields parentName :: !Int

Instances

Instances details

PersistEntity Parent Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend Parent
Instance details Defined in ForeignKey type PersistEntityBackend Parent = SqlBackend
newtype Key Parent
Instance details Defined in ForeignKey newtype Key Parent = ParentKey { unParentKey :: Int }
data EntityField Parent typ
Instance details Defined in ForeignKey data EntityField Parent typ = typ ~ ParentId => ParentId \| typ ~ Int => ParentName
data Unique Parent
Instance details Defined in ForeignKey data Unique Parent = ParentPrimaryKey Int

Methods

keyToValues :: Key Parent -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key Parent) #

persistIdField :: EntityField Parent (Key Parent) #

entityDef :: proxy Parent -> EntityDef #

persistFieldDef :: EntityField Parent typ -> FieldDef #

toPersistFields :: Parent -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text Parent #

tabulateEntityA :: Applicative f => (forall a. EntityField Parent a -> f a) -> f (Entity Parent) #

persistUniqueKeys :: Parent -> [Unique Parent] #

persistUniqueToFieldNames :: Unique Parent -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique Parent -> [PersistValue] #

fieldLens :: EntityField Parent field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Parent -> f (Entity Parent) #

keyFromRecordM :: Maybe (Parent -> Key Parent) #

SafeToInsert Parent Source #

Instance details

Defined in ForeignKey

PersistField Parent Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Parent -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Parent #

AtLeastOneUniqueKey Parent Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: Parent -> NonEmpty (Unique Parent) #

OnlyOneUniqueKey Parent Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: Parent -> Unique Parent #

PersistFieldSql Parent Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy Parent -> SqlType #

SymbolToField "name" Parent Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Parent Int #

SymbolToField "id" Parent (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField Parent (Key Parent) #

FromJSON (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Parent) #

parseJSONList :: Value -> Parser [Key Parent] #

omittedField :: Maybe (Key Parent) #

ToJSON (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key Parent -> Value #

toEncoding :: Key Parent -> Encoding #

toJSONList :: [Key Parent] -> Value #

toEncodingList :: [Key Parent] -> Encoding #

omitField :: Key Parent -> Bool #

Read (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Parent) #

readList :: ReadS [Key Parent] #

readPrec :: ReadPrec (Key Parent) #

readListPrec :: ReadPrec [Key Parent] #

Show (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Parent -> ShowS #

show :: Key Parent -> String #

showList :: [Key Parent] -> ShowS #

Eq (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key Parent -> Key Parent -> Bool #

(/=) :: Key Parent -> Key Parent -> Bool #

Ord (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key Parent -> Key Parent -> Ordering #

(<) :: Key Parent -> Key Parent -> Bool #

(<=) :: Key Parent -> Key Parent -> Bool #

(>) :: Key Parent -> Key Parent -> Bool #

(>=) :: Key Parent -> Key Parent -> Bool #

max :: Key Parent -> Key Parent -> Key Parent #

min :: Key Parent -> Key Parent -> Key Parent #

FromHttpApiData (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key Parent) #

parseHeader :: ByteString -> Either Text (Key Parent) #

parseQueryParam :: Text -> Either Text (Key Parent) #

ToHttpApiData (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key Parent -> Text #

toEncodedUrlPiece :: Key Parent -> Builder #

toHeader :: Key Parent -> ByteString #

toQueryParam :: Key Parent -> Text #

toEncodedQueryParam :: Key Parent -> Builder #

PathPiece (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Parent) #

toPathPiece :: Key Parent -> Text #

PersistField (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key Parent -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key Parent) #

PersistFieldSql (Key Parent) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Parent) -> SqlType #

data EntityField Parent typ Source #

Instance details

Defined in ForeignKey

data EntityField Parent typ

= typ ~ ParentId => ParentId
| typ ~ Int => ParentName

newtype Key Parent Source #

Instance details

Defined in ForeignKey

newtype Key Parent = ParentKey {

unParentKey :: Int

}

type PersistEntityBackend Parent Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend Parent = SqlBackend

data Unique Parent Source #

Instance details

Defined in ForeignKey

data Unique Parent = ParentPrimaryKey Int

type SimpleCascadeId = Key SimpleCascade Source #

data SimpleCascade Source #

Constructors

SimpleCascade
Fields simpleCascadeName :: !Int

Instances

Instances details

Show SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> SimpleCascade -> ShowS #

show :: SimpleCascade -> String #

showList :: [SimpleCascade] -> ShowS #

Eq SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

(==) :: SimpleCascade -> SimpleCascade -> Bool #

(/=) :: SimpleCascade -> SimpleCascade -> Bool #

PersistEntity SimpleCascade Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend SimpleCascade
Instance details Defined in ForeignKey type PersistEntityBackend SimpleCascade = SqlBackend
newtype Key SimpleCascade
Instance details Defined in ForeignKey newtype Key SimpleCascade = SimpleCascadeKey { unSimpleCascadeKey :: BackendKey SqlBackend }
data EntityField SimpleCascade typ
Instance details Defined in ForeignKey data EntityField SimpleCascade typ = typ ~ SimpleCascadeId => SimpleCascadeId \| typ ~ Int => SimpleCascadeName
data Unique SimpleCascade
Instance details Defined in ForeignKey data Unique SimpleCascade

Methods

keyToValues :: Key SimpleCascade -> [PersistValue] #

keyFromValues :: [PersistValue] -> Either Text (Key SimpleCascade) #

persistIdField :: EntityField SimpleCascade (Key SimpleCascade) #

entityDef :: proxy SimpleCascade -> EntityDef #

persistFieldDef :: EntityField SimpleCascade typ -> FieldDef #

toPersistFields :: SimpleCascade -> [PersistValue] #

fromPersistValues :: [PersistValue] -> Either Text SimpleCascade #

tabulateEntityA :: Applicative f => (forall a. EntityField SimpleCascade a -> f a) -> f (Entity SimpleCascade) #

persistUniqueKeys :: SimpleCascade -> [Unique SimpleCascade] #

persistUniqueToFieldNames :: Unique SimpleCascade -> NonEmpty (FieldNameHS, FieldNameDB) #

persistUniqueToValues :: Unique SimpleCascade -> [PersistValue] #

fieldLens :: EntityField SimpleCascade field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity SimpleCascade -> f (Entity SimpleCascade) #

keyFromRecordM :: Maybe (SimpleCascade -> Key SimpleCascade) #

SafeToInsert SimpleCascade Source #

Instance details

Defined in ForeignKey

PersistField SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: SimpleCascade -> PersistValue #

fromPersistValue :: PersistValue -> Either Text SimpleCascade #

(TypeError (NoUniqueKeysError SimpleCascade) :: Constraint) => AtLeastOneUniqueKey SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

requireUniquesP :: SimpleCascade -> NonEmpty (Unique SimpleCascade) #

(TypeError (NoUniqueKeysError SimpleCascade) :: Constraint) => OnlyOneUniqueKey SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

onlyUniqueP :: SimpleCascade -> Unique SimpleCascade #

PersistFieldSql SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy SimpleCascade -> SqlType #

ToBackendKey SqlBackend SimpleCascade Source #

Instance details

Defined in ForeignKey

Methods

toBackendKey :: Key SimpleCascade -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key SimpleCascade #

SymbolToField "name" SimpleCascade Int Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascade Int #

SymbolToField "ref" SimpleCascadeChild SimpleCascadeId Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascadeChild SimpleCascadeId #

SymbolToField "id" SimpleCascade (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascade (Key SimpleCascade) #

FromJSON (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key SimpleCascade) #

parseJSONList :: Value -> Parser [Key SimpleCascade] #

omittedField :: Maybe (Key SimpleCascade) #

ToJSON (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

toJSON :: Key SimpleCascade -> Value #

toEncoding :: Key SimpleCascade -> Encoding #

toJSONList :: [Key SimpleCascade] -> Value #

toEncodingList :: [Key SimpleCascade] -> Encoding #

omitField :: Key SimpleCascade -> Bool #

Read (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key SimpleCascade) #

readList :: ReadS [Key SimpleCascade] #

readPrec :: ReadPrec (Key SimpleCascade) #

readListPrec :: ReadPrec [Key SimpleCascade] #

Show (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> Key SimpleCascade -> ShowS #

show :: Key SimpleCascade -> String #

showList :: [Key SimpleCascade] -> ShowS #

Eq (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

(==) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

(/=) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

Ord (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

compare :: Key SimpleCascade -> Key SimpleCascade -> Ordering #

(<) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

(<=) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

(>) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

(>=) :: Key SimpleCascade -> Key SimpleCascade -> Bool #

max :: Key SimpleCascade -> Key SimpleCascade -> Key SimpleCascade #

min :: Key SimpleCascade -> Key SimpleCascade -> Key SimpleCascade #

FromHttpApiData (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key SimpleCascade) #

parseHeader :: ByteString -> Either Text (Key SimpleCascade) #

parseQueryParam :: Text -> Either Text (Key SimpleCascade) #

ToHttpApiData (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

toUrlPiece :: Key SimpleCascade -> Text #

toEncodedUrlPiece :: Key SimpleCascade -> Builder #

toHeader :: Key SimpleCascade -> ByteString #

toQueryParam :: Key SimpleCascade -> Text #

toEncodedQueryParam :: Key SimpleCascade -> Builder #

PathPiece (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key SimpleCascade) #

toPathPiece :: Key SimpleCascade -> Text #

PersistField (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

toPersistValue :: Key SimpleCascade -> PersistValue #

fromPersistValue :: PersistValue -> Either Text (Key SimpleCascade) #

PersistFieldSql (Key SimpleCascade) Source #

Instance details

Defined in ForeignKey

Methods

sqlType :: Proxy (Key SimpleCascade) -> SqlType #

data EntityField SimpleCascade typ Source #

Instance details

Defined in ForeignKey

data EntityField SimpleCascade typ

= typ ~ SimpleCascadeId => SimpleCascadeId
| typ ~ Int => SimpleCascadeName

newtype Key SimpleCascade Source #

Instance details

Defined in ForeignKey

newtype Key SimpleCascade = SimpleCascadeKey {

unSimpleCascadeKey :: BackendKey SqlBackend

}

type PersistEntityBackend SimpleCascade Source #

Instance details

Defined in ForeignKey

type PersistEntityBackend SimpleCascade = SqlBackend

data Unique SimpleCascade Source #

Instance details

Defined in ForeignKey

data Unique SimpleCascade

type SimpleCascadeChildId = Key SimpleCascadeChild Source #

data SimpleCascadeChild Source #

Constructors

SimpleCascadeChild
Fields simpleCascadeChildRef :: !SimpleCascadeId

Instances

Instances details

Show SimpleCascadeChild Source #

Instance details

Defined in ForeignKey

Methods

showsPrec :: Int -> SimpleCascadeChild -> ShowS #

show :: SimpleCascadeChild -> String #

showList :: [SimpleCascadeChild] -> ShowS #

Eq SimpleCascadeChild Source #

Instance details

Defined in ForeignKey

Methods

(==) :: SimpleCascadeChild -> SimpleCascadeChild -> Bool #

(/=) :: SimpleCascadeChild -> SimpleCascadeChild -> Bool #

PersistEntity SimpleCascadeChild Source #

Instance details

Defined in ForeignKey

Associated Types

type PersistEntityBackend SimpleCascadeChild
Instance details Defined in ForeignKey type PersistEntityBackend SimpleCascadeChild = SqlBackend
newtype Key SimpleCascadeChild
Instance details Defined in ForeignKey newtype Key SimpleCascadeChild = SimpleCascadeChildKey { unSimpleCascadeChildKey :: BackendKey SqlBackend }
data EntityField SimpleCascadeChild typ
Instance details Defined in ForeignKey data EntityField SimpleCascadeChild typ = typ ~ SimpleCascadeChildId => SimpleCascadeChildId \| typ ~ SimpleCascadeId => SimpleCascadeChildRef
data Unique SimpleCascadeChild
Instance details Defined in ForeignKey data Unique SimpleCascadeChild