Safe Haskell	None
Language	Haskell2010

CompositeTest

Documentation

type PrimaryCompositeWithOtherNullableFieldsId = Key PrimaryCompositeWithOtherNullableFields Source #

data PrimaryCompositeWithOtherNullableFields Source #

Constructors

PrimaryCompositeWithOtherNullableFields
Fields primaryCompositeWithOtherNullableFieldsFoo :: !String primaryCompositeWithOtherNullableFieldsBar :: !String primaryCompositeWithOtherNullableFieldsBaz :: !(Maybe String)

Instances

Instances details

Show PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> PrimaryCompositeWithOtherNullableFields -> ShowS #

show :: PrimaryCompositeWithOtherNullableFields -> String #

showList :: [PrimaryCompositeWithOtherNullableFields] -> ShowS #

Eq PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend PrimaryCompositeWithOtherNullableFields
Instance details Defined in CompositeTest type PersistEntityBackend PrimaryCompositeWithOtherNullableFields = SqlBackend
data Key PrimaryCompositeWithOtherNullableFields
Instance details Defined in CompositeTest data Key PrimaryCompositeWithOtherNullableFields = PrimaryCompositeWithOtherNullableFieldsKey { primaryCompositeWithOtherNullableFieldsKeyfoo :: String primaryCompositeWithOtherNullableFieldsKeybar :: String }
data EntityField PrimaryCompositeWithOtherNullableFields typ
Instance details Defined in CompositeTest data EntityField PrimaryCompositeWithOtherNullableFields typ = typ ~ PrimaryCompositeWithOtherNullableFieldsId => PrimaryCompositeWithOtherNullableFieldsId \| typ ~ String => PrimaryCompositeWithOtherNullableFieldsFoo \| typ ~ String => PrimaryCompositeWithOtherNullableFieldsBar \| typ ~ Maybe String => PrimaryCompositeWithOtherNullableFieldsBaz
data Unique PrimaryCompositeWithOtherNullableFields
Instance details Defined in CompositeTest data Unique PrimaryCompositeWithOtherNullableFields = PrimaryCompositeWithOtherNullableFieldsPrimaryKey String String

Methods

keyToValues :: Key PrimaryCompositeWithOtherNullableFields -> [PersistValue] #

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

persistIdField :: EntityField PrimaryCompositeWithOtherNullableFields (Key PrimaryCompositeWithOtherNullableFields) #

entityDef :: proxy PrimaryCompositeWithOtherNullableFields -> EntityDef #

persistFieldDef :: EntityField PrimaryCompositeWithOtherNullableFields typ -> FieldDef #

toPersistFields :: PrimaryCompositeWithOtherNullableFields -> [PersistValue] #

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

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

persistUniqueKeys :: PrimaryCompositeWithOtherNullableFields -> [Unique PrimaryCompositeWithOtherNullableFields] #

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

persistUniqueToValues :: Unique PrimaryCompositeWithOtherNullableFields -> [PersistValue] #

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

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

SafeToInsert PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

PersistField PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: PrimaryCompositeWithOtherNullableFields -> PersistValue #

fromPersistValue :: PersistValue -> Either Text PrimaryCompositeWithOtherNullableFields #

AtLeastOneUniqueKey PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

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

OnlyOneUniqueKey PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

onlyUniqueP :: PrimaryCompositeWithOtherNullableFields -> Unique PrimaryCompositeWithOtherNullableFields #

PersistFieldSql PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

Methods

sqlType :: Proxy PrimaryCompositeWithOtherNullableFields -> SqlType #

SymbolToField "bar" PrimaryCompositeWithOtherNullableFields String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField PrimaryCompositeWithOtherNullableFields String #

SymbolToField "foo" PrimaryCompositeWithOtherNullableFields String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField PrimaryCompositeWithOtherNullableFields String #

SymbolToField "baz" PrimaryCompositeWithOtherNullableFields (Maybe String) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField PrimaryCompositeWithOtherNullableFields (Maybe String) #

SymbolToField "id" PrimaryCompositeWithOtherNullableFields (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField PrimaryCompositeWithOtherNullableFields (Key PrimaryCompositeWithOtherNullableFields) #

FromJSON (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

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

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

omittedField :: Maybe (Key PrimaryCompositeWithOtherNullableFields) #

ToJSON (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Generic (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Associated Types

type Rep (Key PrimaryCompositeWithOtherNullableFields)

Instance details

Defined in CompositeTest

type Rep (Key PrimaryCompositeWithOtherNullableFields) = D1 ('MetaData "Key" "CompositeTest" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "PrimaryCompositeWithOtherNullableFieldsKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "primaryCompositeWithOtherNullableFieldsKeyfoo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "primaryCompositeWithOtherNullableFieldsKeybar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

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

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

Read (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Show (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

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

show :: Key PrimaryCompositeWithOtherNullableFields -> String #

showList :: [Key PrimaryCompositeWithOtherNullableFields] -> ShowS #

Eq (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

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

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

Ord (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

compare :: Key PrimaryCompositeWithOtherNullableFields -> Key PrimaryCompositeWithOtherNullableFields -> Ordering #

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

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

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

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

max :: Key PrimaryCompositeWithOtherNullableFields -> Key PrimaryCompositeWithOtherNullableFields -> Key PrimaryCompositeWithOtherNullableFields #

min :: Key PrimaryCompositeWithOtherNullableFields -> Key PrimaryCompositeWithOtherNullableFields -> Key PrimaryCompositeWithOtherNullableFields #

PersistField (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Key PrimaryCompositeWithOtherNullableFields -> PersistValue #

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

PersistFieldSql (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

Methods

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

data EntityField PrimaryCompositeWithOtherNullableFields typ Source #

Instance details

Defined in CompositeTest

data EntityField PrimaryCompositeWithOtherNullableFields typ

= typ ~ PrimaryCompositeWithOtherNullableFieldsId => PrimaryCompositeWithOtherNullableFieldsId
| typ ~ String => PrimaryCompositeWithOtherNullableFieldsFoo
| typ ~ String => PrimaryCompositeWithOtherNullableFieldsBar
| typ ~ Maybe String => PrimaryCompositeWithOtherNullableFieldsBaz

data Key PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

data Key PrimaryCompositeWithOtherNullableFields = PrimaryCompositeWithOtherNullableFieldsKey {

primaryCompositeWithOtherNullableFieldsKeyfoo :: String
primaryCompositeWithOtherNullableFieldsKeybar :: String

}

type PersistEntityBackend PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

type PersistEntityBackend PrimaryCompositeWithOtherNullableFields = SqlBackend

data Unique PrimaryCompositeWithOtherNullableFields Source #

Instance details

Defined in CompositeTest

data Unique PrimaryCompositeWithOtherNullableFields = PrimaryCompositeWithOtherNullableFieldsPrimaryKey String String

type Rep (Key PrimaryCompositeWithOtherNullableFields) Source #

Instance details

Defined in CompositeTest

type Rep (Key PrimaryCompositeWithOtherNullableFields) = D1 ('MetaData "Key" "CompositeTest" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "PrimaryCompositeWithOtherNullableFieldsKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "primaryCompositeWithOtherNullableFieldsKeyfoo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "primaryCompositeWithOtherNullableFieldsKeybar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

type CitizenAddressId = Key CitizenAddress Source #

data CitizenAddress Source #

Constructors

CitizenAddress
Fields citizenAddressCitizen :: !CitizenId citizenAddressAddress :: !AddressId

Instances

Instances details

Show CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> CitizenAddress -> ShowS #

show :: CitizenAddress -> String #

showList :: [CitizenAddress] -> ShowS #

Eq CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity CitizenAddress Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend CitizenAddress
Instance details Defined in CompositeTest type PersistEntityBackend CitizenAddress = SqlBackend
data Key CitizenAddress
Instance details Defined in CompositeTest data Key CitizenAddress = CitizenAddressKey { citizenAddressKeycitizen :: CitizenId citizenAddressKeyaddress :: AddressId }
data EntityField CitizenAddress typ
Instance details Defined in CompositeTest data EntityField CitizenAddress typ = typ ~ CitizenAddressId => CitizenAddressId \| typ ~ CitizenId => CitizenAddressCitizen \| typ ~ AddressId => CitizenAddressAddress
data Unique CitizenAddress
Instance details Defined in CompositeTest data Unique CitizenAddress = CitizenAddressPrimaryKey CitizenId AddressId

Methods

keyToValues :: Key CitizenAddress -> [PersistValue] #

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

persistIdField :: EntityField CitizenAddress (Key CitizenAddress) #

entityDef :: proxy CitizenAddress -> EntityDef #

persistFieldDef :: EntityField CitizenAddress typ -> FieldDef #

toPersistFields :: CitizenAddress -> [PersistValue] #

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

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

persistUniqueKeys :: CitizenAddress -> [Unique CitizenAddress] #

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

persistUniqueToValues :: Unique CitizenAddress -> [PersistValue] #

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

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

SafeToInsert CitizenAddress Source #

Instance details

Defined in CompositeTest

PersistField CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: CitizenAddress -> PersistValue #

fromPersistValue :: PersistValue -> Either Text CitizenAddress #

AtLeastOneUniqueKey CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

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

OnlyOneUniqueKey CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

onlyUniqueP :: CitizenAddress -> Unique CitizenAddress #

PersistFieldSql CitizenAddress Source #

Instance details

Defined in CompositeTest

Methods

sqlType :: Proxy CitizenAddress -> SqlType #

SymbolToField "address" CitizenAddress AddressId Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField CitizenAddress AddressId #

SymbolToField "citizen" CitizenAddress CitizenId Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField CitizenAddress CitizenId #

SymbolToField "id" CitizenAddress (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField CitizenAddress (Key CitizenAddress) #

FromJSON (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

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

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

omittedField :: Maybe (Key CitizenAddress) #

ToJSON (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

toJSON :: Key CitizenAddress -> Value #

toEncoding :: Key CitizenAddress -> Encoding #

toJSONList :: [Key CitizenAddress] -> Value #

toEncodingList :: [Key CitizenAddress] -> Encoding #

omitField :: Key CitizenAddress -> Bool #

Generic (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Associated Types

type Rep (Key CitizenAddress)

Instance details

Defined in CompositeTest

type Rep (Key CitizenAddress) = D1 ('MetaData "Key" "CompositeTest" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "CitizenAddressKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "citizenAddressKeycitizen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CitizenId) :*: S1 ('MetaSel ('Just "citizenAddressKeyaddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddressId)))

Methods

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

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

Read (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

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

readList :: ReadS [Key CitizenAddress] #

readPrec :: ReadPrec (Key CitizenAddress) #

readListPrec :: ReadPrec [Key CitizenAddress] #

Show (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

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

show :: Key CitizenAddress -> String #

showList :: [Key CitizenAddress] -> ShowS #

Eq (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

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

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

Ord (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

compare :: Key CitizenAddress -> Key CitizenAddress -> Ordering #

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

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

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

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

max :: Key CitizenAddress -> Key CitizenAddress -> Key CitizenAddress #

min :: Key CitizenAddress -> Key CitizenAddress -> Key CitizenAddress #

PersistField (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Key CitizenAddress -> PersistValue #

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

PersistFieldSql (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

Methods

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

data EntityField CitizenAddress typ Source #

Instance details

Defined in CompositeTest

data EntityField CitizenAddress typ

= typ ~ CitizenAddressId => CitizenAddressId
| typ ~ CitizenId => CitizenAddressCitizen
| typ ~ AddressId => CitizenAddressAddress

data Key CitizenAddress Source #

Instance details

Defined in CompositeTest

data Key CitizenAddress = CitizenAddressKey {

citizenAddressKeycitizen :: CitizenId
citizenAddressKeyaddress :: AddressId

}

type PersistEntityBackend CitizenAddress Source #

Instance details

Defined in CompositeTest

type PersistEntityBackend CitizenAddress = SqlBackend

data Unique CitizenAddress Source #

Instance details

Defined in CompositeTest

data Unique CitizenAddress = CitizenAddressPrimaryKey CitizenId AddressId

type Rep (Key CitizenAddress) Source #

Instance details

Defined in CompositeTest

type Rep (Key CitizenAddress) = D1 ('MetaData "Key" "CompositeTest" "persistent-test-2.13.1.3-CygQh8RpXM7LHEmWNNgFGC" 'False) (C1 ('MetaCons "CitizenAddressKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "citizenAddressKeycitizen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CitizenId) :*: S1 ('MetaSel ('Just "citizenAddressKeyaddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddressId)))

type AddressId = Key Address Source #

data Address Source #

Constructors

Address
Fields addressAddress :: !String addressCountry :: !String

Instances

Instances details

Show Address Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> Address -> ShowS #

show :: Address -> String #

showList :: [Address] -> ShowS #

Eq Address Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity Address Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend Address
Instance details Defined in CompositeTest type PersistEntityBackend Address = SqlBackend
newtype Key Address
Instance details Defined in CompositeTest newtype Key Address = AddressKey { unAddressKey :: BackendKey SqlBackend }
data EntityField Address typ
Instance details Defined in CompositeTest data EntityField Address typ = typ ~ AddressId => AddressId \| typ ~ String => AddressAddress \| typ ~ String => AddressCountry
data Unique Address
Instance details Defined in CompositeTest data Unique Address

Methods

keyToValues :: Key Address -> [PersistValue] #

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

persistIdField :: EntityField Address (Key Address) #

entityDef :: proxy Address -> EntityDef #

persistFieldDef :: EntityField Address typ -> FieldDef #

toPersistFields :: Address -> [PersistValue] #

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

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

persistUniqueKeys :: Address -> [Unique Address] #

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

persistUniqueToValues :: Unique Address -> [PersistValue] #

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

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

SafeToInsert Address Source #

Instance details

Defined in CompositeTest

PersistField Address Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Address -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Address #

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

Instance details

Defined in CompositeTest

Methods

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

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

Instance details

Defined in CompositeTest

Methods

onlyUniqueP :: Address -> Unique Address #

PersistFieldSql Address Source #

Instance details

Defined in CompositeTest

Methods

sqlType :: Proxy Address -> SqlType #

ToBackendKey SqlBackend Address Source #

Instance details

Defined in CompositeTest

Methods

toBackendKey :: Key Address -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Address #

SymbolToField "address" Address String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Address String #

SymbolToField "address" CitizenAddress AddressId Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField CitizenAddress AddressId #

SymbolToField "country" Address String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Address String #

SymbolToField "id" Address (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Address (Key Address) #

FromJSON (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

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

omittedField :: Maybe (Key Address) #

ToJSON (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

toJSON :: Key Address -> Value #

toEncoding :: Key Address -> Encoding #

toJSONList :: [Key Address] -> Value #

toEncodingList :: [Key Address] -> Encoding #

omitField :: Key Address -> Bool #

Read (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

readList :: ReadS [Key Address] #

readPrec :: ReadPrec (Key Address) #

readListPrec :: ReadPrec [Key Address] #

Show (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

show :: Key Address -> String #

showList :: [Key Address] -> ShowS #

Eq (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

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

Ord (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

compare :: Key Address -> Key Address -> Ordering #

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

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

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

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

max :: Key Address -> Key Address -> Key Address #

min :: Key Address -> Key Address -> Key Address #

FromHttpApiData (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

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

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

ToHttpApiData (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

toUrlPiece :: Key Address -> Text #

toEncodedUrlPiece :: Key Address -> Builder #

toHeader :: Key Address -> ByteString #

toQueryParam :: Key Address -> Text #

toEncodedQueryParam :: Key Address -> Builder #

PathPiece (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

toPathPiece :: Key Address -> Text #

PersistField (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Key Address -> PersistValue #

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

PersistFieldSql (Key Address) Source #

Instance details

Defined in CompositeTest

Methods

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

data EntityField Address typ Source #

Instance details

Defined in CompositeTest

data EntityField Address typ

= typ ~ AddressId => AddressId
| typ ~ String => AddressAddress
| typ ~ String => AddressCountry

newtype Key Address Source #

Instance details

Defined in CompositeTest

newtype Key Address = AddressKey {

unAddressKey :: BackendKey SqlBackend

}

type PersistEntityBackend Address Source #

Instance details

Defined in CompositeTest

type PersistEntityBackend Address = SqlBackend

data Unique Address Source #

Instance details

Defined in CompositeTest

data Unique Address

type CitizenId = Key Citizen Source #

data Citizen Source #

Constructors

Citizen
Fields citizenName :: !String citizenAge :: !(Maybe Int)

Instances

Instances details

Show Citizen Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> Citizen -> ShowS #

show :: Citizen -> String #

showList :: [Citizen] -> ShowS #

Eq Citizen Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity Citizen Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend Citizen
Instance details Defined in CompositeTest type PersistEntityBackend Citizen = SqlBackend
newtype Key Citizen
Instance details Defined in CompositeTest newtype Key Citizen = CitizenKey { unCitizenKey :: BackendKey SqlBackend }
data EntityField Citizen typ
Instance details Defined in CompositeTest data EntityField Citizen typ = typ ~ CitizenId => CitizenId \| typ ~ String => CitizenName \| typ ~ Maybe Int => CitizenAge
data Unique Citizen
Instance details Defined in CompositeTest data Unique Citizen

Methods

keyToValues :: Key Citizen -> [PersistValue] #

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

persistIdField :: EntityField Citizen (Key Citizen) #

entityDef :: proxy Citizen -> EntityDef #

persistFieldDef :: EntityField Citizen typ -> FieldDef #

toPersistFields :: Citizen -> [PersistValue] #

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

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

persistUniqueKeys :: Citizen -> [Unique Citizen] #

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

persistUniqueToValues :: Unique Citizen -> [PersistValue] #

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

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

SafeToInsert Citizen Source #

Instance details

Defined in CompositeTest

PersistField Citizen Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Citizen -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Citizen #

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

Instance details

Defined in CompositeTest

Methods

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

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

Instance details

Defined in CompositeTest

Methods

onlyUniqueP :: Citizen -> Unique Citizen #

PersistFieldSql Citizen Source #

Instance details

Defined in CompositeTest

Methods

sqlType :: Proxy Citizen -> SqlType #

ToBackendKey SqlBackend Citizen Source #

Instance details

Defined in CompositeTest

Methods

toBackendKey :: Key Citizen -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Citizen #

SymbolToField "citizen" CitizenAddress CitizenId Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField CitizenAddress CitizenId #

SymbolToField "name" Citizen String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Citizen String #

SymbolToField "age" Citizen (Maybe Int) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Citizen (Maybe Int) #

SymbolToField "id" Citizen (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField Citizen (Key Citizen) #

FromJSON (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

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

omittedField :: Maybe (Key Citizen) #

ToJSON (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

toJSON :: Key Citizen -> Value #

toEncoding :: Key Citizen -> Encoding #

toJSONList :: [Key Citizen] -> Value #

toEncodingList :: [Key Citizen] -> Encoding #

omitField :: Key Citizen -> Bool #

Read (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

readList :: ReadS [Key Citizen] #

readPrec :: ReadPrec (Key Citizen) #

readListPrec :: ReadPrec [Key Citizen] #

Show (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

show :: Key Citizen -> String #

showList :: [Key Citizen] -> ShowS #

Eq (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

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

Ord (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

compare :: Key Citizen -> Key Citizen -> Ordering #

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

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

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

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

max :: Key Citizen -> Key Citizen -> Key Citizen #

min :: Key Citizen -> Key Citizen -> Key Citizen #

FromHttpApiData (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

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

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

ToHttpApiData (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

toUrlPiece :: Key Citizen -> Text #

toEncodedUrlPiece :: Key Citizen -> Builder #

toHeader :: Key Citizen -> ByteString #

toQueryParam :: Key Citizen -> Text #

toEncodedQueryParam :: Key Citizen -> Builder #

PathPiece (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

toPathPiece :: Key Citizen -> Text #

PersistField (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Key Citizen -> PersistValue #

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

PersistFieldSql (Key Citizen) Source #

Instance details

Defined in CompositeTest

Methods

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

data EntityField Citizen typ Source #

Instance details

Defined in CompositeTest

data EntityField Citizen typ

newtype Key Citizen Source #

Instance details

Defined in CompositeTest

newtype Key Citizen = CitizenKey {

unCitizenKey :: BackendKey SqlBackend

}

type PersistEntityBackend Citizen Source #

Instance details

Defined in CompositeTest

type PersistEntityBackend Citizen = SqlBackend

data Unique Citizen Source #

Instance details

Defined in CompositeTest

data Unique Citizen

type TestChildId = Key TestChild Source #

data TestChild Source #

Constructors

TestChild
Fields testChildName :: !String testChildName2 :: !String testChildAge :: !Int testChildExtra4 :: !String

Instances

Instances details

Show TestChild Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> TestChild -> ShowS #

show :: TestChild -> String #

showList :: [TestChild] -> ShowS #

Eq TestChild Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity TestChild Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend TestChild
Instance details Defined in CompositeTest type PersistEntityBackend TestChild = SqlBackend
newtype Key TestChild
Instance details Defined in CompositeTest newtype Key TestChild = TestChildKey { unTestChildKey :: BackendKey SqlBackend }
data EntityField TestChild typ
Instance details Defined in CompositeTest data EntityField TestChild typ = typ ~ TestChildId => TestChildId \| typ ~ String => TestChildName \| typ ~ String => TestChildName2 \| typ ~ Int => TestChildAge \| typ ~ String => TestChildExtra4
data Unique TestChild
Instance details Defined in CompositeTest data Unique TestChild

Methods

keyToValues :: Key TestChild -> [PersistValue] #

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

persistIdField :: EntityField TestChild (Key TestChild) #

entityDef :: proxy TestChild -> EntityDef #

persistFieldDef :: EntityField TestChild typ -> FieldDef #

toPersistFields :: TestChild -> [PersistValue] #

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

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

persistUniqueKeys :: TestChild -> [Unique TestChild] #

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

persistUniqueToValues :: Unique TestChild -> [PersistValue] #

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

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

SafeToInsert TestChild Source #

Instance details

Defined in CompositeTest

PersistField TestChild Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: TestChild -> PersistValue #

fromPersistValue :: PersistValue -> Either Text TestChild #

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

Instance details

Defined in CompositeTest

Methods

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

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

Instance details

Defined in CompositeTest

Methods

onlyUniqueP :: TestChild -> Unique TestChild #

PersistFieldSql TestChild Source #

Instance details

Defined in CompositeTest

Methods

sqlType :: Proxy TestChild -> SqlType #

ToBackendKey SqlBackend TestChild Source #

Instance details

Defined in CompositeTest

Methods

toBackendKey :: Key TestChild -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key TestChild #

SymbolToField "age" TestChild Int Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField TestChild Int #

SymbolToField "extra4" TestChild String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField TestChild String #

SymbolToField "name" TestChild String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField TestChild String #

SymbolToField "name2" TestChild String Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField TestChild String #

SymbolToField "id" TestChild (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

symbolToField :: EntityField TestChild (Key TestChild) #

FromJSON (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

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

omittedField :: Maybe (Key TestChild) #

ToJSON (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

toJSON :: Key TestChild -> Value #

toEncoding :: Key TestChild -> Encoding #

toJSONList :: [Key TestChild] -> Value #

toEncodingList :: [Key TestChild] -> Encoding #

omitField :: Key TestChild -> Bool #

Read (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

readList :: ReadS [Key TestChild] #

readPrec :: ReadPrec (Key TestChild) #

readListPrec :: ReadPrec [Key TestChild] #

Show (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

show :: Key TestChild -> String #

showList :: [Key TestChild] -> ShowS #

Eq (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

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

Ord (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

compare :: Key TestChild -> Key TestChild -> Ordering #

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

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

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

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

max :: Key TestChild -> Key TestChild -> Key TestChild #

min :: Key TestChild -> Key TestChild -> Key TestChild #

FromHttpApiData (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

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

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

ToHttpApiData (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

toUrlPiece :: Key TestChild -> Text #

toEncodedUrlPiece :: Key TestChild -> Builder #

toHeader :: Key TestChild -> ByteString #

toQueryParam :: Key TestChild -> Text #

toEncodedQueryParam :: Key TestChild -> Builder #

PathPiece (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

toPathPiece :: Key TestChild -> Text #

PersistField (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

toPersistValue :: Key TestChild -> PersistValue #

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

PersistFieldSql (Key TestChild) Source #

Instance details

Defined in CompositeTest

Methods

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

data EntityField TestChild typ Source #

Instance details

Defined in CompositeTest

data EntityField TestChild typ

= typ ~ TestChildId => TestChildId
| typ ~ String => TestChildName
| typ ~ String => TestChildName2
| typ ~ Int => TestChildAge
| typ ~ String => TestChildExtra4

newtype Key TestChild Source #

Instance details

Defined in CompositeTest

newtype Key TestChild = TestChildKey {

unTestChildKey :: BackendKey SqlBackend

}

type PersistEntityBackend TestChild Source #

Instance details

Defined in CompositeTest

type PersistEntityBackend TestChild = SqlBackend

data Unique TestChild Source #

Instance details

Defined in CompositeTest

data Unique TestChild

type TestParentId = Key TestParent Source #

data TestParent Source #

Constructors

TestParent
Fields testParentName :: !String testParentName2 :: !String testParentAge :: !Int testParentExtra44 :: !String

Instances

Instances details

Show TestParent Source #

Instance details

Defined in CompositeTest

Methods

showsPrec :: Int -> TestParent -> ShowS #

show :: TestParent -> String #

showList :: [TestParent] -> ShowS #

Eq TestParent Source #

Instance details

Defined in CompositeTest

Methods

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

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

PersistEntity TestParent Source #

Instance details

Defined in CompositeTest

Associated Types

type PersistEntityBackend TestParent
Instance details Defined in CompositeTest type PersistEntityBackend TestParent = SqlBackend
data Key TestParent
Instance details Defined in CompositeTest data Key TestParent = TestParentKey { testParentKeyname :: String testParentKeyname2 :: String testParentKeyage :: Int }
data EntityField TestParent typ
Instance details Defined in CompositeTest data EntityField TestParent typ = typ ~ TestParentId => TestParentId \| typ ~ String => TestParentName \| typ ~ String => TestParentName2 \| typ ~ Int => TestParentAge \| typ ~ String => TestParentExtra44
data Unique TestParent
Instance details Defined in CompositeTest data Unique TestParent = TestParentPrimaryKey String String Int