ForeignKey

Documentation

data SimpleCascade

Constructors

SimpleCascade

Fields

• simpleCascadeName :: !Int

Instances

Eq SimpleCascade

Defined in ForeignKey

Methods

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

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

Show SimpleCascade

Defined in ForeignKey

Methods

showsPrec :: Int -> SimpleCascade -> ShowS

show :: SimpleCascade -> String

showList :: [SimpleCascade] -> ShowS

PersistFieldSql SimpleCascade

Defined in ForeignKey

Methods

sqlType :: Proxy SimpleCascade -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: SimpleCascade -> Unique SimpleCascade

(TypeError (MultipleUniqueKeysError SimpleCascade) :: Constraint) => AtLeastOneUniqueKey SimpleCascade

Defined in ForeignKey

Methods

requireUniquesP :: SimpleCascade -> NonEmpty (Unique SimpleCascade)

PersistEntity SimpleCascade

Defined in ForeignKey

Associated Types

type PersistEntityBackend SimpleCascade

data Key SimpleCascade

data EntityField SimpleCascade :: Type -> Type

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

Defined in ForeignKey

PersistField SimpleCascade

Defined in ForeignKey

Methods

toPersistValue :: SimpleCascade -> PersistValue

fromPersistValue :: PersistValue -> Either Text SimpleCascade

ToBackendKey SqlBackend SimpleCascade

Defined in ForeignKey

Methods

toBackendKey :: Key SimpleCascade -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key SimpleCascade

SymbolToField "name" SimpleCascade Int

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascade Int

SymbolToField "ref" SimpleCascadeChild SimpleCascadeId

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascadeChild SimpleCascadeId

SymbolToField "id" SimpleCascade (Key SimpleCascade)

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascade (Key SimpleCascade)

Eq (Key SimpleCascade)

Defined in ForeignKey

Methods

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

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

Ord (Key SimpleCascade)

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

Read (Key SimpleCascade)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key SimpleCascade)

readList :: ReadS [Key SimpleCascade]

readPrec :: ReadPrec (Key SimpleCascade)

readListPrec :: ReadPrec [Key SimpleCascade]

Show (Key SimpleCascade)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key SimpleCascade -> ShowS

show :: Key SimpleCascade -> String

showList :: [Key SimpleCascade] -> ShowS

ToJSON (Key SimpleCascade)

Defined in ForeignKey

Methods

toJSON :: Key SimpleCascade -> Value

toEncoding :: Key SimpleCascade -> Encoding

toJSONList :: [Key SimpleCascade] -> Value

toEncodingList :: [Key SimpleCascade] -> Encoding

FromJSON (Key SimpleCascade)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key SimpleCascade)

parseJSONList :: Value -> Parser [Key SimpleCascade]

ToHttpApiData (Key SimpleCascade)

Defined in ForeignKey

Methods

toUrlPiece :: Key SimpleCascade -> Text

toEncodedUrlPiece :: Key SimpleCascade -> Builder

toHeader :: Key SimpleCascade -> ByteString

toQueryParam :: Key SimpleCascade -> Text

FromHttpApiData (Key SimpleCascade)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key SimpleCascade)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key SimpleCascade)

toPathPiece :: Key SimpleCascade -> Text

PersistFieldSql (Key SimpleCascade)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key SimpleCascade) -> SqlType

PersistField (Key SimpleCascade)

Defined in ForeignKey

Methods

toPersistValue :: Key SimpleCascade -> PersistValue

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

data Unique SimpleCascade

Defined in ForeignKey

data Unique SimpleCascade

data EntityField SimpleCascade typ

Defined in ForeignKey

data EntityField SimpleCascade typ

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

newtype Key SimpleCascade

Defined in ForeignKey

newtype Key SimpleCascade = SimpleCascadeKey {

• unSimpleCascadeKey :: BackendKey SqlBackend

}

type PersistEntityBackend SimpleCascade

Defined in ForeignKey

type PersistEntityBackend SimpleCascade = SqlBackend

type SimpleCascadeId = Key SimpleCascade

data SimpleCascadeChild

Constructors

SimpleCascadeChild

Fields

• simpleCascadeChildRef :: !SimpleCascadeId

Instances

Eq SimpleCascadeChild

Defined in ForeignKey

Methods

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

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

Show SimpleCascadeChild

Defined in ForeignKey

Methods

showsPrec :: Int -> SimpleCascadeChild -> ShowS

show :: SimpleCascadeChild -> String

showList :: [SimpleCascadeChild] -> ShowS

PersistFieldSql SimpleCascadeChild

Defined in ForeignKey

Methods

sqlType :: Proxy SimpleCascadeChild -> SqlType

(TypeError (NoUniqueKeysError SimpleCascadeChild) :: Constraint) => OnlyOneUniqueKey SimpleCascadeChild

Defined in ForeignKey

Methods

onlyUniqueP :: SimpleCascadeChild -> Unique SimpleCascadeChild

(TypeError (MultipleUniqueKeysError SimpleCascadeChild) :: Constraint) => AtLeastOneUniqueKey SimpleCascadeChild

Defined in ForeignKey

Methods

requireUniquesP :: SimpleCascadeChild -> NonEmpty (Unique SimpleCascadeChild)

PersistEntity SimpleCascadeChild

Defined in ForeignKey

Associated Types

type PersistEntityBackend SimpleCascadeChild

data Key SimpleCascadeChild

data EntityField SimpleCascadeChild :: Type -> Type

data Unique SimpleCascadeChild

Methods

keyToValues :: Key SimpleCascadeChild -> [PersistValue]

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

persistIdField :: EntityField SimpleCascadeChild (Key SimpleCascadeChild)

entityDef :: proxy SimpleCascadeChild -> EntityDef

persistFieldDef :: EntityField SimpleCascadeChild typ -> FieldDef

toPersistFields :: SimpleCascadeChild -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text SimpleCascadeChild

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

persistUniqueKeys :: SimpleCascadeChild -> [Unique SimpleCascadeChild]

persistUniqueToFieldNames :: Unique SimpleCascadeChild -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique SimpleCascadeChild -> [PersistValue]

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

keyFromRecordM :: Maybe (SimpleCascadeChild -> Key SimpleCascadeChild)

SafeToInsert SimpleCascadeChild

Defined in ForeignKey

PersistField SimpleCascadeChild

Defined in ForeignKey

Methods

toPersistValue :: SimpleCascadeChild -> PersistValue

fromPersistValue :: PersistValue -> Either Text SimpleCascadeChild

ToBackendKey SqlBackend SimpleCascadeChild

Defined in ForeignKey

Methods

toBackendKey :: Key SimpleCascadeChild -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key SimpleCascadeChild

SymbolToField "ref" SimpleCascadeChild SimpleCascadeId

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascadeChild SimpleCascadeId

SymbolToField "id" SimpleCascadeChild (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

symbolToField :: EntityField SimpleCascadeChild (Key SimpleCascadeChild)

Eq (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

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

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

Ord (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

compare :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Ordering

(<) :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Bool

(<=) :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Bool

(>) :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Bool

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

max :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Key SimpleCascadeChild

min :: Key SimpleCascadeChild -> Key SimpleCascadeChild -> Key SimpleCascadeChild

Read (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key SimpleCascadeChild)

readList :: ReadS [Key SimpleCascadeChild]

readPrec :: ReadPrec (Key SimpleCascadeChild)

readListPrec :: ReadPrec [Key SimpleCascadeChild]

Show (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key SimpleCascadeChild -> ShowS

show :: Key SimpleCascadeChild -> String

showList :: [Key SimpleCascadeChild] -> ShowS

ToJSON (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

toJSON :: Key SimpleCascadeChild -> Value

toEncoding :: Key SimpleCascadeChild -> Encoding

toJSONList :: [Key SimpleCascadeChild] -> Value

toEncodingList :: [Key SimpleCascadeChild] -> Encoding

FromJSON (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key SimpleCascadeChild)

parseJSONList :: Value -> Parser [Key SimpleCascadeChild]

ToHttpApiData (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

toUrlPiece :: Key SimpleCascadeChild -> Text

toEncodedUrlPiece :: Key SimpleCascadeChild -> Builder

toHeader :: Key SimpleCascadeChild -> ByteString

toQueryParam :: Key SimpleCascadeChild -> Text

FromHttpApiData (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

parseUrlPiece :: Text -> Either Text (Key SimpleCascadeChild)

parseHeader :: ByteString -> Either Text (Key SimpleCascadeChild)

parseQueryParam :: Text -> Either Text (Key SimpleCascadeChild)

PathPiece (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key SimpleCascadeChild)

toPathPiece :: Key SimpleCascadeChild -> Text

PersistFieldSql (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key SimpleCascadeChild) -> SqlType

PersistField (Key SimpleCascadeChild)

Defined in ForeignKey

Methods

toPersistValue :: Key SimpleCascadeChild -> PersistValue

fromPersistValue :: PersistValue -> Either Text (Key SimpleCascadeChild)

data Unique SimpleCascadeChild

Defined in ForeignKey

data Unique SimpleCascadeChild

data EntityField SimpleCascadeChild typ

Defined in ForeignKey

data EntityField SimpleCascadeChild typ

• = typ ~ SimpleCascadeChildId => SimpleCascadeChildId
• | typ ~ SimpleCascadeId => SimpleCascadeChildRef

newtype Key SimpleCascadeChild

Defined in ForeignKey

newtype Key SimpleCascadeChild = SimpleCascadeChildKey {

• unSimpleCascadeChildKey :: BackendKey SqlBackend

}

type PersistEntityBackend SimpleCascadeChild

Defined in ForeignKey

type PersistEntityBackend SimpleCascadeChild = SqlBackend

type SimpleCascadeChildId = Key SimpleCascadeChild

data Parent

Constructors

Parent

Fields

• parentName :: !Int

Instances

PersistFieldSql Parent

Defined in ForeignKey

Methods

sqlType :: Proxy Parent -> SqlType

OnlyOneUniqueKey Parent

Defined in ForeignKey

Methods

onlyUniqueP :: Parent -> Unique Parent

AtLeastOneUniqueKey Parent

Defined in ForeignKey

Methods

requireUniquesP :: Parent -> NonEmpty (Unique Parent)

PersistEntity Parent

Defined in ForeignKey

Associated Types

type PersistEntityBackend Parent

data Key Parent

data EntityField Parent :: Type -> Type

data Unique Parent

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

Defined in ForeignKey

PersistField Parent

Defined in ForeignKey

Methods

toPersistValue :: Parent -> PersistValue

fromPersistValue :: PersistValue -> Either Text Parent

SymbolToField "name" Parent Int

Defined in ForeignKey

Methods

symbolToField :: EntityField Parent Int

Eq (Key Parent)

Defined in ForeignKey

Methods

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

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

Ord (Key Parent)

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

Read (Key Parent)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Parent)

readList :: ReadS [Key Parent]

readPrec :: ReadPrec (Key Parent)

readListPrec :: ReadPrec [Key Parent]

Show (Key Parent)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Parent -> ShowS

show :: Key Parent -> String

showList :: [Key Parent] -> ShowS

ToJSON (Key Parent)

Defined in ForeignKey

Methods

toJSON :: Key Parent -> Value

toEncoding :: Key Parent -> Encoding

toJSONList :: [Key Parent] -> Value

toEncodingList :: [Key Parent] -> Encoding

FromJSON (Key Parent)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Parent)

parseJSONList :: Value -> Parser [Key Parent]

ToHttpApiData (Key Parent)

Defined in ForeignKey

Methods

toUrlPiece :: Key Parent -> Text

toEncodedUrlPiece :: Key Parent -> Builder

toHeader :: Key Parent -> ByteString

toQueryParam :: Key Parent -> Text

FromHttpApiData (Key Parent)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key Parent)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Parent)

toPathPiece :: Key Parent -> Text

PersistFieldSql (Key Parent)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Parent) -> SqlType

PersistField (Key Parent)

Defined in ForeignKey

Methods

toPersistValue :: Key Parent -> PersistValue

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

data Unique Parent

Defined in ForeignKey

data Unique Parent = ParentPrimaryKey Int

data EntityField Parent typ

Defined in ForeignKey

data EntityField Parent typ

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

newtype Key Parent

Defined in ForeignKey

newtype Key Parent = ParentKey {

• unParentKey :: Int

}

type PersistEntityBackend Parent

Defined in ForeignKey

type PersistEntityBackend Parent = SqlBackend

type ParentId = Key Parent

data Child

Constructors

Child

Fields

• childPname :: !Int

Instances

Eq Child

Defined in ForeignKey

Methods

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

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

Show Child

Defined in ForeignKey

Methods

showsPrec :: Int -> Child -> ShowS

show :: Child -> String

showList :: [Child] -> ShowS

PersistFieldSql Child

Defined in ForeignKey

Methods

sqlType :: Proxy Child -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: Child -> Unique Child

(TypeError (MultipleUniqueKeysError Child) :: Constraint) => AtLeastOneUniqueKey Child

Defined in ForeignKey

Methods

requireUniquesP :: Child -> NonEmpty (Unique Child)

PersistEntity Child

Defined in ForeignKey

Associated Types

type PersistEntityBackend Child

data Key Child

data EntityField Child :: Type -> Type

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

Defined in ForeignKey

PersistField Child

Defined in ForeignKey

Methods

toPersistValue :: Child -> PersistValue

fromPersistValue :: PersistValue -> Either Text Child

ToBackendKey SqlBackend Child

Defined in ForeignKey

Methods

toBackendKey :: Key Child -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Child

SymbolToField "pname" Child Int

Defined in ForeignKey

Methods

symbolToField :: EntityField Child Int

SymbolToField "id" Child (Key Child)

Defined in ForeignKey

Methods

symbolToField :: EntityField Child (Key Child)

Eq (Key Child)

Defined in ForeignKey

Methods

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

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

Ord (Key Child)

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

Read (Key Child)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Child)

readList :: ReadS [Key Child]

readPrec :: ReadPrec (Key Child)

readListPrec :: ReadPrec [Key Child]

Show (Key Child)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Child -> ShowS

show :: Key Child -> String

showList :: [Key Child] -> ShowS

ToJSON (Key Child)

Defined in ForeignKey

Methods

toJSON :: Key Child -> Value

toEncoding :: Key Child -> Encoding

toJSONList :: [Key Child] -> Value

toEncodingList :: [Key Child] -> Encoding

FromJSON (Key Child)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Child)

parseJSONList :: Value -> Parser [Key Child]

ToHttpApiData (Key Child)

Defined in ForeignKey

Methods

toUrlPiece :: Key Child -> Text

toEncodedUrlPiece :: Key Child -> Builder

toHeader :: Key Child -> ByteString

toQueryParam :: Key Child -> Text

FromHttpApiData (Key Child)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key Child)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Child)

toPathPiece :: Key Child -> Text

PersistFieldSql (Key Child)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Child) -> SqlType

PersistField (Key Child)

Defined in ForeignKey

Methods

toPersistValue :: Key Child -> PersistValue

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

data Unique Child

Defined in ForeignKey

data Unique Child

data EntityField Child typ

Defined in ForeignKey

data EntityField Child typ

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

newtype Key Child

Defined in ForeignKey

newtype Key Child = ChildKey {

• unChildKey :: BackendKey SqlBackend

}

type PersistEntityBackend Child

Defined in ForeignKey

type PersistEntityBackend Child = SqlBackend

type ChildId = Key Child

data ParentImplicit

Constructors

ParentImplicit

Fields

• parentImplicitName :: !Int

Instances

PersistFieldSql ParentImplicit

Defined in ForeignKey

Methods

sqlType :: Proxy ParentImplicit -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: ParentImplicit -> Unique ParentImplicit

(TypeError (MultipleUniqueKeysError ParentImplicit) :: Constraint) => AtLeastOneUniqueKey ParentImplicit

Defined in ForeignKey

Methods

requireUniquesP :: ParentImplicit -> NonEmpty (Unique ParentImplicit)

PersistEntity ParentImplicit

Defined in ForeignKey

Associated Types

type PersistEntityBackend ParentImplicit

data Key ParentImplicit

data EntityField ParentImplicit :: Type -> Type

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

Defined in ForeignKey

PersistField ParentImplicit

Defined in ForeignKey

Methods

toPersistValue :: ParentImplicit -> PersistValue

fromPersistValue :: PersistValue -> Either Text ParentImplicit

ToBackendKey SqlBackend ParentImplicit

Defined in ForeignKey

Methods

toBackendKey :: Key ParentImplicit -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key ParentImplicit

SymbolToField "name" ParentImplicit Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentImplicit Int

SymbolToField "parentId" ChildImplicit ParentImplicitId

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit ParentImplicitId

SymbolToField "id" ParentImplicit (Key ParentImplicit)

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentImplicit (Key ParentImplicit)

Eq (Key ParentImplicit)

Defined in ForeignKey

Methods

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

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

Ord (Key ParentImplicit)

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

Read (Key ParentImplicit)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ParentImplicit)

readList :: ReadS [Key ParentImplicit]

readPrec :: ReadPrec (Key ParentImplicit)

readListPrec :: ReadPrec [Key ParentImplicit]

Show (Key ParentImplicit)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ParentImplicit -> ShowS

show :: Key ParentImplicit -> String

showList :: [Key ParentImplicit] -> ShowS

ToJSON (Key ParentImplicit)

Defined in ForeignKey

Methods

toJSON :: Key ParentImplicit -> Value

toEncoding :: Key ParentImplicit -> Encoding

toJSONList :: [Key ParentImplicit] -> Value

toEncodingList :: [Key ParentImplicit] -> Encoding

FromJSON (Key ParentImplicit)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ParentImplicit)

parseJSONList :: Value -> Parser [Key ParentImplicit]

ToHttpApiData (Key ParentImplicit)

Defined in ForeignKey

Methods

toUrlPiece :: Key ParentImplicit -> Text

toEncodedUrlPiece :: Key ParentImplicit -> Builder

toHeader :: Key ParentImplicit -> ByteString

toQueryParam :: Key ParentImplicit -> Text

FromHttpApiData (Key ParentImplicit)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key ParentImplicit)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ParentImplicit)

toPathPiece :: Key ParentImplicit -> Text

PersistFieldSql (Key ParentImplicit)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ParentImplicit) -> SqlType

PersistField (Key ParentImplicit)

Defined in ForeignKey

Methods

toPersistValue :: Key ParentImplicit -> PersistValue

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

data Unique ParentImplicit

Defined in ForeignKey

data Unique ParentImplicit

data EntityField ParentImplicit typ

Defined in ForeignKey

data EntityField ParentImplicit typ

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

newtype Key ParentImplicit

Defined in ForeignKey

newtype Key ParentImplicit = ParentImplicitKey {

• unParentImplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend ParentImplicit

Defined in ForeignKey

type PersistEntityBackend ParentImplicit = SqlBackend

type ParentImplicitId = Key ParentImplicit

data ChildImplicit

Constructors

ChildImplicit

Fields

• childImplicitPname :: !Int
• childImplicitParentId :: !ParentImplicitId

Instances

Eq ChildImplicit

Defined in ForeignKey

Methods

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

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

Show ChildImplicit

Defined in ForeignKey

Methods

showsPrec :: Int -> ChildImplicit -> ShowS

show :: ChildImplicit -> String

showList :: [ChildImplicit] -> ShowS

PersistFieldSql ChildImplicit

Defined in ForeignKey

Methods

sqlType :: Proxy ChildImplicit -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: ChildImplicit -> Unique ChildImplicit

(TypeError (MultipleUniqueKeysError ChildImplicit) :: Constraint) => AtLeastOneUniqueKey ChildImplicit

Defined in ForeignKey

Methods

requireUniquesP :: ChildImplicit -> NonEmpty (Unique ChildImplicit)

PersistEntity ChildImplicit

Defined in ForeignKey

Associated Types

type PersistEntityBackend ChildImplicit

data Key ChildImplicit

data EntityField ChildImplicit :: Type -> Type

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

Defined in ForeignKey

PersistField ChildImplicit

Defined in ForeignKey

Methods

toPersistValue :: ChildImplicit -> PersistValue

fromPersistValue :: PersistValue -> Either Text ChildImplicit

ToBackendKey SqlBackend ChildImplicit

Defined in ForeignKey

Methods

toBackendKey :: Key ChildImplicit -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key ChildImplicit

SymbolToField "parentId" ChildImplicit ParentImplicitId

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit ParentImplicitId

SymbolToField "pname" ChildImplicit Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit Int

SymbolToField "id" ChildImplicit (Key ChildImplicit)

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildImplicit (Key ChildImplicit)

Eq (Key ChildImplicit)

Defined in ForeignKey

Methods

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

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

Ord (Key ChildImplicit)

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

Read (Key ChildImplicit)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ChildImplicit)

readList :: ReadS [Key ChildImplicit]

readPrec :: ReadPrec (Key ChildImplicit)

readListPrec :: ReadPrec [Key ChildImplicit]

Show (Key ChildImplicit)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ChildImplicit -> ShowS

show :: Key ChildImplicit -> String

showList :: [Key ChildImplicit] -> ShowS

ToJSON (Key ChildImplicit)

Defined in ForeignKey

Methods

toJSON :: Key ChildImplicit -> Value

toEncoding :: Key ChildImplicit -> Encoding

toJSONList :: [Key ChildImplicit] -> Value

toEncodingList :: [Key ChildImplicit] -> Encoding

FromJSON (Key ChildImplicit)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ChildImplicit)

parseJSONList :: Value -> Parser [Key ChildImplicit]

ToHttpApiData (Key ChildImplicit)

Defined in ForeignKey

Methods

toUrlPiece :: Key ChildImplicit -> Text

toEncodedUrlPiece :: Key ChildImplicit -> Builder

toHeader :: Key ChildImplicit -> ByteString

toQueryParam :: Key ChildImplicit -> Text

FromHttpApiData (Key ChildImplicit)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key ChildImplicit)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ChildImplicit)

toPathPiece :: Key ChildImplicit -> Text

PersistFieldSql (Key ChildImplicit)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ChildImplicit) -> SqlType

PersistField (Key ChildImplicit)

Defined in ForeignKey

Methods

toPersistValue :: Key ChildImplicit -> PersistValue

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

data Unique ChildImplicit

Defined in ForeignKey

data Unique ChildImplicit

data EntityField ChildImplicit typ

Defined in ForeignKey

data EntityField ChildImplicit typ

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

newtype Key ChildImplicit

Defined in ForeignKey

newtype Key ChildImplicit = ChildImplicitKey {

• unChildImplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend ChildImplicit

Defined in ForeignKey

type PersistEntityBackend ChildImplicit = SqlBackend

type ChildImplicitId = Key ChildImplicit

data ParentComposite

Constructors

ParentComposite

Fields

• parentCompositeName :: !Int
• parentCompositeLastName :: !Int

Instances

PersistFieldSql ParentComposite

Defined in ForeignKey

Methods

sqlType :: Proxy ParentComposite -> SqlType

OnlyOneUniqueKey ParentComposite

Defined in ForeignKey

Methods

onlyUniqueP :: ParentComposite -> Unique ParentComposite

AtLeastOneUniqueKey ParentComposite

Defined in ForeignKey

Methods

requireUniquesP :: ParentComposite -> NonEmpty (Unique ParentComposite)

PersistEntity ParentComposite

Defined in ForeignKey

Associated Types

type PersistEntityBackend ParentComposite

data Key ParentComposite

data EntityField ParentComposite :: Type -> Type

data Unique ParentComposite

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

Defined in ForeignKey

PersistField ParentComposite

Defined in ForeignKey

Methods

toPersistValue :: ParentComposite -> PersistValue

fromPersistValue :: PersistValue -> Either Text ParentComposite

SymbolToField "lastName" ParentComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentComposite Int

SymbolToField "name" ParentComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ParentComposite Int

Eq (Key ParentComposite)

Defined in ForeignKey

Methods

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

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

Ord (Key ParentComposite)

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

Read (Key ParentComposite)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ParentComposite)

readList :: ReadS [Key ParentComposite]

readPrec :: ReadPrec (Key ParentComposite)

readListPrec :: ReadPrec [Key ParentComposite]

Show (Key ParentComposite)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ParentComposite -> ShowS

show :: Key ParentComposite -> String

showList :: [Key ParentComposite] -> ShowS

Generic (Key ParentComposite)

Defined in ForeignKey

Associated Types

type Rep (Key ParentComposite) :: Type -> Type

Methods

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

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

ToJSON (Key ParentComposite)

Defined in ForeignKey

Methods

toJSON :: Key ParentComposite -> Value

toEncoding :: Key ParentComposite -> Encoding

toJSONList :: [Key ParentComposite] -> Value

toEncodingList :: [Key ParentComposite] -> Encoding

FromJSON (Key ParentComposite)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ParentComposite)

parseJSONList :: Value -> Parser [Key ParentComposite]

PersistFieldSql (Key ParentComposite)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ParentComposite) -> SqlType

PersistField (Key ParentComposite)

Defined in ForeignKey

Methods

toPersistValue :: Key ParentComposite -> PersistValue

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

data Unique ParentComposite

Defined in ForeignKey

data Unique ParentComposite = ParentCompositePrimaryKey Int Int

data EntityField ParentComposite typ

Defined in ForeignKey

data EntityField ParentComposite typ

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

data Key ParentComposite

Defined in ForeignKey

data Key ParentComposite = ParentCompositeKey {

• parentCompositeKeyname :: Int
• parentCompositeKeylastName :: Int

}

type PersistEntityBackend ParentComposite

Defined in ForeignKey

type PersistEntityBackend ParentComposite = SqlBackend

type Rep (Key ParentComposite)

Defined in ForeignKey

type Rep (Key ParentComposite) = D1 ('MetaData "Key" "ForeignKey" "persistent-test-2.13.1.3-G3ofJ8U4hkw1gBJ8OWaIvE" '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 ParentCompositeId = Key ParentComposite

data ChildComposite

Constructors

ChildComposite

Fields

• childCompositePname :: !Int
• childCompositePlastName :: !Int

Instances

Eq ChildComposite

Defined in ForeignKey

Methods

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

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

Show ChildComposite

Defined in ForeignKey

Methods

showsPrec :: Int -> ChildComposite -> ShowS

show :: ChildComposite -> String

showList :: [ChildComposite] -> ShowS

PersistFieldSql ChildComposite

Defined in ForeignKey

Methods

sqlType :: Proxy ChildComposite -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: ChildComposite -> Unique ChildComposite

(TypeError (MultipleUniqueKeysError ChildComposite) :: Constraint) => AtLeastOneUniqueKey ChildComposite

Defined in ForeignKey

Methods

requireUniquesP :: ChildComposite -> NonEmpty (Unique ChildComposite)

PersistEntity ChildComposite

Defined in ForeignKey

Associated Types

type PersistEntityBackend ChildComposite

data Key ChildComposite

data EntityField ChildComposite :: Type -> Type

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

Defined in ForeignKey

PersistField ChildComposite

Defined in ForeignKey

Methods

toPersistValue :: ChildComposite -> PersistValue

fromPersistValue :: PersistValue -> Either Text ChildComposite

ToBackendKey SqlBackend ChildComposite

Defined in ForeignKey

Methods

toBackendKey :: Key ChildComposite -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key ChildComposite

SymbolToField "plastName" ChildComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite Int

SymbolToField "pname" ChildComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite Int

SymbolToField "id" ChildComposite (Key ChildComposite)

Defined in ForeignKey

Methods

symbolToField :: EntityField ChildComposite (Key ChildComposite)

Eq (Key ChildComposite)

Defined in ForeignKey

Methods

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

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

Ord (Key ChildComposite)

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

Read (Key ChildComposite)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key ChildComposite)

readList :: ReadS [Key ChildComposite]

readPrec :: ReadPrec (Key ChildComposite)

readListPrec :: ReadPrec [Key ChildComposite]

Show (Key ChildComposite)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key ChildComposite -> ShowS

show :: Key ChildComposite -> String

showList :: [Key ChildComposite] -> ShowS

ToJSON (Key ChildComposite)

Defined in ForeignKey

Methods

toJSON :: Key ChildComposite -> Value

toEncoding :: Key ChildComposite -> Encoding

toJSONList :: [Key ChildComposite] -> Value

toEncodingList :: [Key ChildComposite] -> Encoding

FromJSON (Key ChildComposite)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key ChildComposite)

parseJSONList :: Value -> Parser [Key ChildComposite]

ToHttpApiData (Key ChildComposite)

Defined in ForeignKey

Methods

toUrlPiece :: Key ChildComposite -> Text

toEncodedUrlPiece :: Key ChildComposite -> Builder

toHeader :: Key ChildComposite -> ByteString

toQueryParam :: Key ChildComposite -> Text

FromHttpApiData (Key ChildComposite)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key ChildComposite)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key ChildComposite)

toPathPiece :: Key ChildComposite -> Text

PersistFieldSql (Key ChildComposite)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key ChildComposite) -> SqlType

PersistField (Key ChildComposite)

Defined in ForeignKey

Methods

toPersistValue :: Key ChildComposite -> PersistValue

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

data Unique ChildComposite

Defined in ForeignKey

data Unique ChildComposite

data EntityField ChildComposite typ

Defined in ForeignKey

data EntityField ChildComposite typ

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

newtype Key ChildComposite

Defined in ForeignKey

newtype Key ChildComposite = ChildCompositeKey {

• unChildCompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend ChildComposite

Defined in ForeignKey

type PersistEntityBackend ChildComposite = SqlBackend

type ChildCompositeId = Key ChildComposite

data SelfReferenced

Constructors

SelfReferenced

Fields

• selfReferencedName :: !Int
• selfReferencedPname :: !Int

Instances

Eq SelfReferenced

Defined in ForeignKey

Methods

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

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

Show SelfReferenced

Defined in ForeignKey

Methods

showsPrec :: Int -> SelfReferenced -> ShowS

show :: SelfReferenced -> String

showList :: [SelfReferenced] -> ShowS

PersistFieldSql SelfReferenced

Defined in ForeignKey

Methods

sqlType :: Proxy SelfReferenced -> SqlType

OnlyOneUniqueKey SelfReferenced

Defined in ForeignKey

Methods

onlyUniqueP :: SelfReferenced -> Unique SelfReferenced

AtLeastOneUniqueKey SelfReferenced

Defined in ForeignKey

Methods

requireUniquesP :: SelfReferenced -> NonEmpty (Unique SelfReferenced)

PersistEntity SelfReferenced

Defined in ForeignKey

Associated Types

type PersistEntityBackend SelfReferenced

data Key SelfReferenced

data EntityField SelfReferenced :: Type -> Type

data Unique SelfReferenced

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

Defined in ForeignKey

PersistField SelfReferenced

Defined in ForeignKey

Methods

toPersistValue :: SelfReferenced -> PersistValue

fromPersistValue :: PersistValue -> Either Text SelfReferenced

SymbolToField "name" SelfReferenced Int

Defined in ForeignKey

Methods

symbolToField :: EntityField SelfReferenced Int

SymbolToField "pname" SelfReferenced Int

Defined in ForeignKey

Methods

symbolToField :: EntityField SelfReferenced Int

Eq (Key SelfReferenced)

Defined in ForeignKey

Methods

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

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

Ord (Key SelfReferenced)

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

Read (Key SelfReferenced)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key SelfReferenced)

readList :: ReadS [Key SelfReferenced]

readPrec :: ReadPrec (Key SelfReferenced)

readListPrec :: ReadPrec [Key SelfReferenced]

Show (Key SelfReferenced)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key SelfReferenced -> ShowS

show :: Key SelfReferenced -> String

showList :: [Key SelfReferenced] -> ShowS

ToJSON (Key SelfReferenced)

Defined in ForeignKey

Methods

toJSON :: Key SelfReferenced -> Value

toEncoding :: Key SelfReferenced -> Encoding

toJSONList :: [Key SelfReferenced] -> Value

toEncodingList :: [Key SelfReferenced] -> Encoding

FromJSON (Key SelfReferenced)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key SelfReferenced)

parseJSONList :: Value -> Parser [Key SelfReferenced]

ToHttpApiData (Key SelfReferenced)

Defined in ForeignKey

Methods

toUrlPiece :: Key SelfReferenced -> Text

toEncodedUrlPiece :: Key SelfReferenced -> Builder

toHeader :: Key SelfReferenced -> ByteString

toQueryParam :: Key SelfReferenced -> Text

FromHttpApiData (Key SelfReferenced)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key SelfReferenced)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key SelfReferenced)

toPathPiece :: Key SelfReferenced -> Text

PersistFieldSql (Key SelfReferenced)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key SelfReferenced) -> SqlType

PersistField (Key SelfReferenced)

Defined in ForeignKey

Methods

toPersistValue :: Key SelfReferenced -> PersistValue

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

data Unique SelfReferenced

Defined in ForeignKey

data Unique SelfReferenced = SelfReferencedPrimaryKey Int

data EntityField SelfReferenced typ

Defined in ForeignKey

data EntityField SelfReferenced typ

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

newtype Key SelfReferenced

Defined in ForeignKey

newtype Key SelfReferenced = SelfReferencedKey {

• unSelfReferencedKey :: Int

}

type PersistEntityBackend SelfReferenced

Defined in ForeignKey

type PersistEntityBackend SelfReferenced = SqlBackend

type SelfReferencedId = Key SelfReferenced

data A

Constructors

A

Fields

• aAa :: !Int
• aAb :: !Int

Instances

PersistFieldSql A

Defined in ForeignKey

Methods

sqlType :: Proxy A -> SqlType

OnlyOneUniqueKey A

Defined in ForeignKey

Methods

onlyUniqueP :: A -> Unique A

AtLeastOneUniqueKey A

Defined in ForeignKey

Methods

requireUniquesP :: A -> NonEmpty (Unique A)

PersistEntity A

Defined in ForeignKey

Associated Types

type PersistEntityBackend A

data Key A

data EntityField A :: Type -> Type

data Unique A

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

Defined in ForeignKey

PersistField A

Defined in ForeignKey

Methods

toPersistValue :: A -> PersistValue

fromPersistValue :: PersistValue -> Either Text A

ToBackendKey SqlBackend A

Defined in ForeignKey

Methods

toBackendKey :: Key A -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key A

SymbolToField "aa" A Int

Defined in ForeignKey

Methods

symbolToField :: EntityField A Int

SymbolToField "ab" A Int

Defined in ForeignKey

Methods

symbolToField :: EntityField A Int

SymbolToField "ba" BExplicit AId

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit AId

SymbolToField "id" A (Key A)

Defined in ForeignKey

Methods

symbolToField :: EntityField A (Key A)

Eq (Key A)

Defined in ForeignKey

Methods

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

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

Ord (Key A)

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

Read (Key A)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key A)

readList :: ReadS [Key A]

readPrec :: ReadPrec (Key A)

readListPrec :: ReadPrec [Key A]

Show (Key A)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key A -> ShowS

show :: Key A -> String

showList :: [Key A] -> ShowS

ToJSON (Key A)

Defined in ForeignKey

Methods

toJSON :: Key A -> Value

toEncoding :: Key A -> Encoding

toJSONList :: [Key A] -> Value

toEncodingList :: [Key A] -> Encoding

FromJSON (Key A)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key A)

parseJSONList :: Value -> Parser [Key A]

ToHttpApiData (Key A)

Defined in ForeignKey

Methods

toUrlPiece :: Key A -> Text

toEncodedUrlPiece :: Key A -> Builder

toHeader :: Key A -> ByteString

toQueryParam :: Key A -> Text

FromHttpApiData (Key A)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key A)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key A)

toPathPiece :: Key A -> Text

PersistFieldSql (Key A)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key A) -> SqlType

PersistField (Key A)

Defined in ForeignKey

Methods

toPersistValue :: Key A -> PersistValue

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

data Unique A

Defined in ForeignKey

data Unique A = U1 Int

data EntityField A typ

Defined in ForeignKey

data EntityField A typ

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

newtype Key A

Defined in ForeignKey

newtype Key A = AKey {

• unAKey :: BackendKey SqlBackend

}

type PersistEntityBackend A

Defined in ForeignKey

type PersistEntityBackend A = SqlBackend

type AId = Key A

data B

Constructors

B

Fields

• bBa :: !Int
• bBb :: !Int

Instances

Eq B

Defined in ForeignKey

Methods

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

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

Show B

Defined in ForeignKey

Methods

showsPrec :: Int -> B -> ShowS

show :: B -> String

showList :: [B] -> ShowS

PersistFieldSql B

Defined in ForeignKey

Methods

sqlType :: Proxy B -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: B -> Unique B

(TypeError (MultipleUniqueKeysError B) :: Constraint) => AtLeastOneUniqueKey B

Defined in ForeignKey

Methods

requireUniquesP :: B -> NonEmpty (Unique B)

PersistEntity B

Defined in ForeignKey

Associated Types

type PersistEntityBackend B

data Key B

data EntityField B :: Type -> Type

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

Defined in ForeignKey

PersistField B

Defined in ForeignKey

Methods

toPersistValue :: B -> PersistValue

fromPersistValue :: PersistValue -> Either Text B

ToBackendKey SqlBackend B

Defined in ForeignKey

Methods

toBackendKey :: Key B -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key B

SymbolToField "ba" B Int

Defined in ForeignKey

Methods

symbolToField :: EntityField B Int

SymbolToField "bb" B Int

Defined in ForeignKey

Methods

symbolToField :: EntityField B Int

SymbolToField "id" B (Key B)

Defined in ForeignKey

Methods

symbolToField :: EntityField B (Key B)

Eq (Key B)

Defined in ForeignKey

Methods

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

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

Ord (Key B)

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

Read (Key B)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key B)

readList :: ReadS [Key B]

readPrec :: ReadPrec (Key B)

readListPrec :: ReadPrec [Key B]

Show (Key B)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key B -> ShowS

show :: Key B -> String

showList :: [Key B] -> ShowS

ToJSON (Key B)

Defined in ForeignKey

Methods

toJSON :: Key B -> Value

toEncoding :: Key B -> Encoding

toJSONList :: [Key B] -> Value

toEncodingList :: [Key B] -> Encoding

FromJSON (Key B)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key B)

parseJSONList :: Value -> Parser [Key B]

ToHttpApiData (Key B)

Defined in ForeignKey

Methods

toUrlPiece :: Key B -> Text

toEncodedUrlPiece :: Key B -> Builder

toHeader :: Key B -> ByteString

toQueryParam :: Key B -> Text

FromHttpApiData (Key B)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key B)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key B)

toPathPiece :: Key B -> Text

PersistFieldSql (Key B)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key B) -> SqlType

PersistField (Key B)

Defined in ForeignKey

Methods

toPersistValue :: Key B -> PersistValue

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

data Unique B

Defined in ForeignKey

data Unique B

data EntityField B typ

Defined in ForeignKey

data EntityField B typ

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

newtype Key B

Defined in ForeignKey

newtype Key B = BKey {

• unBKey :: BackendKey SqlBackend

}

type PersistEntityBackend B

Defined in ForeignKey

type PersistEntityBackend B = SqlBackend

type BId = Key B

data AComposite

Constructors

AComposite

Fields

• aCompositeAa :: !Int
• aCompositeAb :: !Int

Instances

PersistFieldSql AComposite

Defined in ForeignKey

Methods

sqlType :: Proxy AComposite -> SqlType

OnlyOneUniqueKey AComposite

Defined in ForeignKey

Methods

onlyUniqueP :: AComposite -> Unique AComposite

AtLeastOneUniqueKey AComposite

Defined in ForeignKey

Methods

requireUniquesP :: AComposite -> NonEmpty (Unique AComposite)

PersistEntity AComposite

Defined in ForeignKey

Associated Types

type PersistEntityBackend AComposite

data Key AComposite

data EntityField AComposite :: Type -> Type

data Unique AComposite

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

Defined in ForeignKey

PersistField AComposite

Defined in ForeignKey

Methods

toPersistValue :: AComposite -> PersistValue

fromPersistValue :: PersistValue -> Either Text AComposite

ToBackendKey SqlBackend AComposite

Defined in ForeignKey

Methods

toBackendKey :: Key AComposite -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key AComposite

SymbolToField "aa" AComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite Int

SymbolToField "ab" AComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite Int

SymbolToField "id" AComposite (Key AComposite)

Defined in ForeignKey

Methods

symbolToField :: EntityField AComposite (Key AComposite)

Eq (Key AComposite)

Defined in ForeignKey

Methods

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

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

Ord (Key AComposite)

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

Read (Key AComposite)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key AComposite)

readList :: ReadS [Key AComposite]

readPrec :: ReadPrec (Key AComposite)

readListPrec :: ReadPrec [Key AComposite]

Show (Key AComposite)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key AComposite -> ShowS

show :: Key AComposite -> String

showList :: [Key AComposite] -> ShowS

ToJSON (Key AComposite)

Defined in ForeignKey

Methods

toJSON :: Key AComposite -> Value

toEncoding :: Key AComposite -> Encoding

toJSONList :: [Key AComposite] -> Value

toEncodingList :: [Key AComposite] -> Encoding

FromJSON (Key AComposite)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key AComposite)

parseJSONList :: Value -> Parser [Key AComposite]

ToHttpApiData (Key AComposite)

Defined in ForeignKey

Methods

toUrlPiece :: Key AComposite -> Text

toEncodedUrlPiece :: Key AComposite -> Builder

toHeader :: Key AComposite -> ByteString

toQueryParam :: Key AComposite -> Text

FromHttpApiData (Key AComposite)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key AComposite)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key AComposite)

toPathPiece :: Key AComposite -> Text

PersistFieldSql (Key AComposite)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key AComposite) -> SqlType

PersistField (Key AComposite)

Defined in ForeignKey

Methods

toPersistValue :: Key AComposite -> PersistValue

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

data Unique AComposite

Defined in ForeignKey

data Unique AComposite = U2 Int Int

data EntityField AComposite typ

Defined in ForeignKey

data EntityField AComposite typ

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

newtype Key AComposite

Defined in ForeignKey

newtype Key AComposite = ACompositeKey {

• unACompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend AComposite

Defined in ForeignKey

type PersistEntityBackend AComposite = SqlBackend

type ACompositeId = Key AComposite

data BComposite

Constructors

BComposite

Fields

• bCompositeBa :: !Int
• bCompositeBb :: !Int

Instances

Eq BComposite

Defined in ForeignKey

Methods

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

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

Show BComposite

Defined in ForeignKey

Methods

showsPrec :: Int -> BComposite -> ShowS

show :: BComposite -> String

showList :: [BComposite] -> ShowS

PersistFieldSql BComposite

Defined in ForeignKey

Methods

sqlType :: Proxy BComposite -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: BComposite -> Unique BComposite

(TypeError (MultipleUniqueKeysError BComposite) :: Constraint) => AtLeastOneUniqueKey BComposite

Defined in ForeignKey

Methods

requireUniquesP :: BComposite -> NonEmpty (Unique BComposite)

PersistEntity BComposite

Defined in ForeignKey

Associated Types

type PersistEntityBackend BComposite

data Key BComposite

data EntityField BComposite :: Type -> Type

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

Defined in ForeignKey

PersistField BComposite

Defined in ForeignKey

Methods

toPersistValue :: BComposite -> PersistValue

fromPersistValue :: PersistValue -> Either Text BComposite

ToBackendKey SqlBackend BComposite

Defined in ForeignKey

Methods

toBackendKey :: Key BComposite -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key BComposite

SymbolToField "ba" BComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite Int

SymbolToField "bb" BComposite Int

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite Int

SymbolToField "id" BComposite (Key BComposite)

Defined in ForeignKey

Methods

symbolToField :: EntityField BComposite (Key BComposite)

Eq (Key BComposite)

Defined in ForeignKey

Methods

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

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

Ord (Key BComposite)

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

Read (Key BComposite)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key BComposite)

readList :: ReadS [Key BComposite]

readPrec :: ReadPrec (Key BComposite)

readListPrec :: ReadPrec [Key BComposite]

Show (Key BComposite)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key BComposite -> ShowS

show :: Key BComposite -> String

showList :: [Key BComposite] -> ShowS

ToJSON (Key BComposite)

Defined in ForeignKey

Methods

toJSON :: Key BComposite -> Value

toEncoding :: Key BComposite -> Encoding

toJSONList :: [Key BComposite] -> Value

toEncodingList :: [Key BComposite] -> Encoding

FromJSON (Key BComposite)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key BComposite)

parseJSONList :: Value -> Parser [Key BComposite]

ToHttpApiData (Key BComposite)

Defined in ForeignKey

Methods

toUrlPiece :: Key BComposite -> Text

toEncodedUrlPiece :: Key BComposite -> Builder

toHeader :: Key BComposite -> ByteString

toQueryParam :: Key BComposite -> Text

FromHttpApiData (Key BComposite)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key BComposite)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key BComposite)

toPathPiece :: Key BComposite -> Text

PersistFieldSql (Key BComposite)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key BComposite) -> SqlType

PersistField (Key BComposite)

Defined in ForeignKey

Methods

toPersistValue :: Key BComposite -> PersistValue

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

data Unique BComposite

Defined in ForeignKey

data Unique BComposite

data EntityField BComposite typ

Defined in ForeignKey

data EntityField BComposite typ

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

newtype Key BComposite

Defined in ForeignKey

newtype Key BComposite = BCompositeKey {

• unBCompositeKey :: BackendKey SqlBackend

}

type PersistEntityBackend BComposite

Defined in ForeignKey

type PersistEntityBackend BComposite = SqlBackend

type BCompositeId = Key BComposite

data BExplicit

Constructors

BExplicit

Fields

• bExplicitBa :: !AId

Instances

Eq BExplicit

Defined in ForeignKey

Methods

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

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

Show BExplicit

Defined in ForeignKey

Methods

showsPrec :: Int -> BExplicit -> ShowS

show :: BExplicit -> String

showList :: [BExplicit] -> ShowS

PersistFieldSql BExplicit

Defined in ForeignKey

Methods

sqlType :: Proxy BExplicit -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: BExplicit -> Unique BExplicit

(TypeError (MultipleUniqueKeysError BExplicit) :: Constraint) => AtLeastOneUniqueKey BExplicit

Defined in ForeignKey

Methods

requireUniquesP :: BExplicit -> NonEmpty (Unique BExplicit)

PersistEntity BExplicit

Defined in ForeignKey

Associated Types

type PersistEntityBackend BExplicit

data Key BExplicit

data EntityField BExplicit :: Type -> Type

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

Defined in ForeignKey

PersistField BExplicit

Defined in ForeignKey

Methods

toPersistValue :: BExplicit -> PersistValue

fromPersistValue :: PersistValue -> Either Text BExplicit

ToBackendKey SqlBackend BExplicit

Defined in ForeignKey

Methods

toBackendKey :: Key BExplicit -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key BExplicit

SymbolToField "ba" BExplicit AId

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit AId

SymbolToField "id" BExplicit (Key BExplicit)

Defined in ForeignKey

Methods

symbolToField :: EntityField BExplicit (Key BExplicit)

Eq (Key BExplicit)

Defined in ForeignKey

Methods

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

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

Ord (Key BExplicit)

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

Read (Key BExplicit)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key BExplicit)

readList :: ReadS [Key BExplicit]

readPrec :: ReadPrec (Key BExplicit)

readListPrec :: ReadPrec [Key BExplicit]

Show (Key BExplicit)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key BExplicit -> ShowS

show :: Key BExplicit -> String

showList :: [Key BExplicit] -> ShowS

ToJSON (Key BExplicit)

Defined in ForeignKey

Methods

toJSON :: Key BExplicit -> Value

toEncoding :: Key BExplicit -> Encoding

toJSONList :: [Key BExplicit] -> Value

toEncodingList :: [Key BExplicit] -> Encoding

FromJSON (Key BExplicit)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key BExplicit)

parseJSONList :: Value -> Parser [Key BExplicit]

ToHttpApiData (Key BExplicit)

Defined in ForeignKey

Methods

toUrlPiece :: Key BExplicit -> Text

toEncodedUrlPiece :: Key BExplicit -> Builder

toHeader :: Key BExplicit -> ByteString

toQueryParam :: Key BExplicit -> Text

FromHttpApiData (Key BExplicit)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key BExplicit)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key BExplicit)

toPathPiece :: Key BExplicit -> Text

PersistFieldSql (Key BExplicit)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key BExplicit) -> SqlType

PersistField (Key BExplicit)

Defined in ForeignKey

Methods

toPersistValue :: Key BExplicit -> PersistValue

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

data Unique BExplicit

Defined in ForeignKey

data Unique BExplicit

data EntityField BExplicit typ

Defined in ForeignKey

data EntityField BExplicit typ

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

newtype Key BExplicit

Defined in ForeignKey

newtype Key BExplicit = BExplicitKey {

• unBExplicitKey :: BackendKey SqlBackend

}

type PersistEntityBackend BExplicit

Defined in ForeignKey

type PersistEntityBackend BExplicit = SqlBackend

type BExplicitId = Key BExplicit

type ChainId = Key Chain

data Chain

Constructors

Chain

Fields

• chainName :: !Int
• chainPrevious :: !(Maybe ChainId)

Instances

Eq Chain

Defined in ForeignKey

Methods

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

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

Ord Chain

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

Show Chain

Defined in ForeignKey

Methods

showsPrec :: Int -> Chain -> ShowS

show :: Chain -> String

showList :: [Chain] -> ShowS

PersistFieldSql Chain

Defined in ForeignKey

Methods

sqlType :: Proxy Chain -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: Chain -> Unique Chain

(TypeError (MultipleUniqueKeysError Chain) :: Constraint) => AtLeastOneUniqueKey Chain

Defined in ForeignKey

Methods

requireUniquesP :: Chain -> NonEmpty (Unique Chain)

PersistEntity Chain

Defined in ForeignKey

Associated Types

type PersistEntityBackend Chain

data Key Chain

data EntityField Chain :: Type -> Type

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

Defined in ForeignKey

PersistField Chain

Defined in ForeignKey

Methods

toPersistValue :: Chain -> PersistValue

fromPersistValue :: PersistValue -> Either Text Chain

ToBackendKey SqlBackend Chain

Defined in ForeignKey

Methods

toBackendKey :: Key Chain -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Chain

SymbolToField "name" Chain Int

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain Int

SymbolToField "id" Chain (Key Chain)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain (Key Chain)

SymbolToField "previous" Chain (Maybe ChainId)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain (Maybe ChainId)

Eq (Key Chain)

Defined in ForeignKey

Methods

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

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

Ord (Key Chain)

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

Read (Key Chain)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain)

readList :: ReadS [Key Chain]

readPrec :: ReadPrec (Key Chain)

readListPrec :: ReadPrec [Key Chain]

Show (Key Chain)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain -> ShowS

show :: Key Chain -> String

showList :: [Key Chain] -> ShowS

ToJSON (Key Chain)

Defined in ForeignKey

Methods

toJSON :: Key Chain -> Value

toEncoding :: Key Chain -> Encoding

toJSONList :: [Key Chain] -> Value

toEncodingList :: [Key Chain] -> Encoding

FromJSON (Key Chain)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain)

parseJSONList :: Value -> Parser [Key Chain]

ToHttpApiData (Key Chain)

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain -> Text

toEncodedUrlPiece :: Key Chain -> Builder

toHeader :: Key Chain -> ByteString

toQueryParam :: Key Chain -> Text

FromHttpApiData (Key Chain)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key Chain)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain)

toPathPiece :: Key Chain -> Text

PersistFieldSql (Key Chain)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain) -> SqlType

PersistField (Key Chain)

Defined in ForeignKey

Methods

toPersistValue :: Key Chain -> PersistValue

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

data Unique Chain

Defined in ForeignKey

data Unique Chain

data EntityField Chain typ

Defined in ForeignKey

data EntityField Chain typ

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

newtype Key Chain

Defined in ForeignKey

newtype Key Chain = ChainKey {

• unChainKey :: BackendKey SqlBackend

}

type PersistEntityBackend Chain

Defined in ForeignKey

type PersistEntityBackend Chain = SqlBackend

type Chain2Id = Key Chain2

data Chain2

Constructors

Chain2

Fields

• chain2Name :: !Int
• chain2Previous :: !(Maybe Chain2Id)

Instances

Eq Chain2

Defined in ForeignKey

Methods

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

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

Show Chain2

Defined in ForeignKey

Methods

showsPrec :: Int -> Chain2 -> ShowS

show :: Chain2 -> String

showList :: [Chain2] -> ShowS

PersistFieldSql Chain2

Defined in ForeignKey

Methods

sqlType :: Proxy Chain2 -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: Chain2 -> Unique Chain2

(TypeError (MultipleUniqueKeysError Chain2) :: Constraint) => AtLeastOneUniqueKey Chain2

Defined in ForeignKey

Methods

requireUniquesP :: Chain2 -> NonEmpty (Unique Chain2)

PersistEntity Chain2

Defined in ForeignKey

Associated Types

type PersistEntityBackend Chain2

data Key Chain2

data EntityField Chain2 :: Type -> Type

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

Defined in ForeignKey

PersistField Chain2

Defined in ForeignKey

Methods

toPersistValue :: Chain2 -> PersistValue

fromPersistValue :: PersistValue -> Either Text Chain2

ToBackendKey SqlBackend Chain2

Defined in ForeignKey

Methods

toBackendKey :: Key Chain2 -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Chain2

SymbolToField "name" Chain2 Int

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 Int

SymbolToField "id" Chain2 (Key Chain2)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 (Key Chain2)

SymbolToField "previous" Chain2 (Maybe Chain2Id)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain2 (Maybe Chain2Id)

Eq (Key Chain2)

Defined in ForeignKey

Methods

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

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

Ord (Key Chain2)

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

Read (Key Chain2)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain2)

readList :: ReadS [Key Chain2]

readPrec :: ReadPrec (Key Chain2)

readListPrec :: ReadPrec [Key Chain2]

Show (Key Chain2)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain2 -> ShowS

show :: Key Chain2 -> String

showList :: [Key Chain2] -> ShowS

ToJSON (Key Chain2)

Defined in ForeignKey

Methods

toJSON :: Key Chain2 -> Value

toEncoding :: Key Chain2 -> Encoding

toJSONList :: [Key Chain2] -> Value

toEncodingList :: [Key Chain2] -> Encoding

FromJSON (Key Chain2)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain2)

parseJSONList :: Value -> Parser [Key Chain2]

ToHttpApiData (Key Chain2)

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain2 -> Text

toEncodedUrlPiece :: Key Chain2 -> Builder

toHeader :: Key Chain2 -> ByteString

toQueryParam :: Key Chain2 -> Text

FromHttpApiData (Key Chain2)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key Chain2)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain2)

toPathPiece :: Key Chain2 -> Text

PersistFieldSql (Key Chain2)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain2) -> SqlType

PersistField (Key Chain2)

Defined in ForeignKey

Methods

toPersistValue :: Key Chain2 -> PersistValue

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

data Unique Chain2

Defined in ForeignKey

data Unique Chain2

data EntityField Chain2 typ

Defined in ForeignKey

data EntityField Chain2 typ

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

newtype Key Chain2

Defined in ForeignKey

newtype Key Chain2 = Chain2Key {

• unChain2Key :: BackendKey SqlBackend

}

type PersistEntityBackend Chain2

Defined in ForeignKey

type PersistEntityBackend Chain2 = SqlBackend

type Chain3Id = Key Chain3

data Chain3

Constructors

Chain3

Fields

• chain3Name :: !Int
• chain3Previous :: !(Maybe Chain3Id)

Instances

Eq Chain3

Defined in ForeignKey

Methods

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

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

Show Chain3

Defined in ForeignKey

Methods

showsPrec :: Int -> Chain3 -> ShowS

show :: Chain3 -> String

showList :: [Chain3] -> ShowS

PersistFieldSql Chain3

Defined in ForeignKey

Methods

sqlType :: Proxy Chain3 -> SqlType

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

Defined in ForeignKey

Methods

onlyUniqueP :: Chain3 -> Unique Chain3

(TypeError (MultipleUniqueKeysError Chain3) :: Constraint) => AtLeastOneUniqueKey Chain3

Defined in ForeignKey

Methods

requireUniquesP :: Chain3 -> NonEmpty (Unique Chain3)

PersistEntity Chain3

Defined in ForeignKey

Associated Types

type PersistEntityBackend Chain3

data Key Chain3

data EntityField Chain3 :: Type -> Type

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

Defined in ForeignKey

PersistField Chain3

Defined in ForeignKey

Methods

toPersistValue :: Chain3 -> PersistValue

fromPersistValue :: PersistValue -> Either Text Chain3

ToBackendKey SqlBackend Chain3

Defined in ForeignKey

Methods

toBackendKey :: Key Chain3 -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Chain3

SymbolToField "name" Chain3 Int

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 Int

SymbolToField "id" Chain3 (Key Chain3)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 (Key Chain3)

SymbolToField "previous" Chain3 (Maybe Chain3Id)

Defined in ForeignKey

Methods

symbolToField :: EntityField Chain3 (Maybe Chain3Id)

Eq (Key Chain3)

Defined in ForeignKey

Methods

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

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

Ord (Key Chain3)

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

Read (Key Chain3)

Defined in ForeignKey

Methods

readsPrec :: Int -> ReadS (Key Chain3)

readList :: ReadS [Key Chain3]

readPrec :: ReadPrec (Key Chain3)

readListPrec :: ReadPrec [Key Chain3]

Show (Key Chain3)

Defined in ForeignKey

Methods

showsPrec :: Int -> Key Chain3 -> ShowS

show :: Key Chain3 -> String

showList :: [Key Chain3] -> ShowS

ToJSON (Key Chain3)

Defined in ForeignKey

Methods

toJSON :: Key Chain3 -> Value

toEncoding :: Key Chain3 -> Encoding

toJSONList :: [Key Chain3] -> Value

toEncodingList :: [Key Chain3] -> Encoding

FromJSON (Key Chain3)

Defined in ForeignKey

Methods

parseJSON :: Value -> Parser (Key Chain3)

parseJSONList :: Value -> Parser [Key Chain3]

ToHttpApiData (Key Chain3)

Defined in ForeignKey

Methods

toUrlPiece :: Key Chain3 -> Text

toEncodedUrlPiece :: Key Chain3 -> Builder

toHeader :: Key Chain3 -> ByteString

toQueryParam :: Key Chain3 -> Text

FromHttpApiData (Key Chain3)

Defined in ForeignKey

Methods

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

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

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

PathPiece (Key Chain3)

Defined in ForeignKey

Methods

fromPathPiece :: Text -> Maybe (Key Chain3)

toPathPiece :: Key Chain3 -> Text

PersistFieldSql (Key Chain3)

Defined in ForeignKey

Methods

sqlType :: Proxy (Key Chain3) -> SqlType

PersistField (Key Chain3)

Defined in ForeignKey

Methods

toPersistValue :: Key Chain3 -> PersistValue

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

data Unique Chain3

Defined in ForeignKey

data Unique Chain3

data EntityField Chain3 typ

Defined in ForeignKey

data EntityField Chain3 typ

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

newtype Key Chain3

Defined in ForeignKey

newtype Key Chain3 = Chain3Key {

• unChain3Key :: BackendKey SqlBackend

}

type PersistEntityBackend Chain3

Defined in ForeignKey

type PersistEntityBackend Chain3 = SqlBackend

compositeMigrate :: Migration

entityDefListForcompositeMigrate :: [EntityDef]

selfReferencedFkparent :: SelfReferenced -> Key SelfReferenced

childCompositeFkparent :: ChildComposite -> Key ParentComposite

childImplicitFkparent :: ChildImplicit -> Key ParentImplicit

childFkparent :: Child -> Key Parent

specsWith :: (MonadIO m, MonadFail m) => RunDb SqlBackend m -> Spec

cleanDB :: MonadIO m => SqlPersistT m ()

del :: forall a m. (PersistEntity a, PersistEntityBackend a ~ SqlBackend, MonadIO m) => SqlPersistT m ()