Safe Haskell	None
Language	Haskell2010

PersistUniqueTest

Documentation

data Fo Source #

Constructors

Fo
Fields foFoo :: !Int foBar :: !Int

Instances

Instances details

Eq Fo Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Fo -> Fo -> Bool # (/=) :: Fo -> Fo -> Bool #
Show Fo Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Fo -> ShowS # show :: Fo -> String # showList :: [Fo] -> ShowS #
PersistFieldSql Fo Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy Fo -> SqlType #
(TypeError (MultipleUniqueKeysError Fo) :: Constraint) => OnlyOneUniqueKey Fo Source #
Instance details Defined in PersistUniqueTest Methods onlyUniqueP :: Fo -> Unique Fo #
AtLeastOneUniqueKey Fo Source #
Instance details Defined in PersistUniqueTest Methods requireUniquesP :: Fo -> NonEmpty (Unique Fo) #
PersistEntity Fo Source #
Instance details Defined in PersistUniqueTest Associated Types type PersistEntityBackend Fo # data Key Fo # data EntityField Fo :: Type -> Type # data Unique Fo # Methods keyToValues :: Key Fo -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key Fo) # persistIdField :: EntityField Fo (Key Fo) # entityDef :: proxy Fo -> EntityDef # persistFieldDef :: EntityField Fo typ -> FieldDef # toPersistFields :: Fo -> [PersistValue] # fromPersistValues :: [PersistValue] -> Either Text Fo # tabulateEntityA :: Applicative f => (forall a. EntityField Fo a -> f a) -> f (Entity Fo) # persistUniqueKeys :: Fo -> [Unique Fo] # persistUniqueToFieldNames :: Unique Fo -> NonEmpty (FieldNameHS, FieldNameDB) # persistUniqueToValues :: Unique Fo -> [PersistValue] # fieldLens :: EntityField Fo field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Fo -> f (Entity Fo) # keyFromRecordM :: Maybe (Fo -> Key Fo) #
SafeToInsert Fo Source #
Instance details Defined in PersistUniqueTest
PersistField Fo Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: Fo -> PersistValue # fromPersistValue :: PersistValue -> Either Text Fo #
SymbolToField "bar" Fo Int Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField Fo Int #
SymbolToField "foo" Fo Int Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField Fo Int #
Eq (Unique Fo) Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Unique Fo -> Unique Fo -> Bool # (/=) :: Unique Fo -> Unique Fo -> Bool #
Eq (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Key Fo -> Key Fo -> Bool # (/=) :: Key Fo -> Key Fo -> Bool #
Ord (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods compare :: Key Fo -> Key Fo -> Ordering # (<) :: Key Fo -> Key Fo -> Bool # (<=) :: Key Fo -> Key Fo -> Bool # (>) :: Key Fo -> Key Fo -> Bool # (>=) :: Key Fo -> Key Fo -> Bool # max :: Key Fo -> Key Fo -> Key Fo # min :: Key Fo -> Key Fo -> Key Fo #
Read (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods readsPrec :: Int -> ReadS (Key Fo) # readList :: ReadS [Key Fo] # readPrec :: ReadPrec (Key Fo) # readListPrec :: ReadPrec [Key Fo] #
Show (Unique Fo) Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Unique Fo -> ShowS # show :: Unique Fo -> String # showList :: [Unique Fo] -> ShowS #
Show (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Key Fo -> ShowS # show :: Key Fo -> String # showList :: [Key Fo] -> ShowS #
ToJSON (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods toJSON :: Key Fo -> Value # toEncoding :: Key Fo -> Encoding # toJSONList :: [Key Fo] -> Value # toEncodingList :: [Key Fo] -> Encoding #
FromJSON (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods parseJSON :: Value -> Parser (Key Fo) # parseJSONList :: Value -> Parser [Key Fo] #
ToHttpApiData (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods toUrlPiece :: Key Fo -> Text # toEncodedUrlPiece :: Key Fo -> Builder # toHeader :: Key Fo -> ByteString # toQueryParam :: Key Fo -> Text #
FromHttpApiData (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods parseUrlPiece :: Text -> Either Text (Key Fo) # parseHeader :: ByteString -> Either Text (Key Fo) # parseQueryParam :: Text -> Either Text (Key Fo) #
PathPiece (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods fromPathPiece :: Text -> Maybe (Key Fo) # toPathPiece :: Key Fo -> Text #
PersistFieldSql (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy (Key Fo) -> SqlType #
PersistField (Key Fo) Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: Key Fo -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Fo) #
data Unique Fo Source #
Instance details Defined in PersistUniqueTest data Unique Fo = FoPrimaryKey Int \| UniqueBar Int
data EntityField Fo typ Source #
Instance details Defined in PersistUniqueTest data EntityField Fo typ = typ ~ FoId => FoId \| typ ~ Int => FoFoo \| typ ~ Int => FoBar
newtype Key Fo Source #
Instance details Defined in PersistUniqueTest newtype Key Fo = FoKey { unFoKey :: Int }
type PersistEntityBackend Fo Source #
Instance details Defined in PersistUniqueTest type PersistEntityBackend Fo = SqlBackend

type FoId = Key Fo Source #

data Ba Source #

Constructors

Ba
Fields baFoo :: !Int baBaz :: !Int

Instances

Instances details

Eq Ba Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Ba -> Ba -> Bool # (/=) :: Ba -> Ba -> Bool #
Show Ba Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Ba -> ShowS # show :: Ba -> String # showList :: [Ba] -> ShowS #
PersistFieldSql Ba Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy Ba -> SqlType #
OnlyOneUniqueKey Ba Source #
Instance details Defined in PersistUniqueTest Methods onlyUniqueP :: Ba -> Unique Ba #
AtLeastOneUniqueKey Ba Source #
Instance details Defined in PersistUniqueTest Methods requireUniquesP :: Ba -> NonEmpty (Unique Ba) #
PersistEntity Ba Source #
Instance details Defined in PersistUniqueTest Associated Types type PersistEntityBackend Ba # data Key Ba # data EntityField Ba :: Type -> Type # data Unique Ba # Methods keyToValues :: Key Ba -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key Ba) # persistIdField :: EntityField Ba (Key Ba) # entityDef :: proxy Ba -> EntityDef # persistFieldDef :: EntityField Ba typ -> FieldDef # toPersistFields :: Ba -> [PersistValue] # fromPersistValues :: [PersistValue] -> Either Text Ba # tabulateEntityA :: Applicative f => (forall a. EntityField Ba a -> f a) -> f (Entity Ba) # persistUniqueKeys :: Ba -> [Unique Ba] # persistUniqueToFieldNames :: Unique Ba -> NonEmpty (FieldNameHS, FieldNameDB) # persistUniqueToValues :: Unique Ba -> [PersistValue] # fieldLens :: EntityField Ba field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity Ba -> f (Entity Ba) # keyFromRecordM :: Maybe (Ba -> Key Ba) #
SafeToInsert Ba Source #
Instance details Defined in PersistUniqueTest
PersistField Ba Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: Ba -> PersistValue # fromPersistValue :: PersistValue -> Either Text Ba #
ToBackendKey SqlBackend Ba Source #
Instance details Defined in PersistUniqueTest Methods toBackendKey :: Key Ba -> BackendKey SqlBackend # fromBackendKey :: BackendKey SqlBackend -> Key Ba #
SymbolToField "baz" Ba Int Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField Ba Int #
SymbolToField "foo" Ba Int Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField Ba Int #
SymbolToField "id" Ba (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField Ba (Key Ba) #
Eq (Unique Ba) Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Unique Ba -> Unique Ba -> Bool # (/=) :: Unique Ba -> Unique Ba -> Bool #
Eq (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Key Ba -> Key Ba -> Bool # (/=) :: Key Ba -> Key Ba -> Bool #
Ord (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods compare :: Key Ba -> Key Ba -> Ordering # (<) :: Key Ba -> Key Ba -> Bool # (<=) :: Key Ba -> Key Ba -> Bool # (>) :: Key Ba -> Key Ba -> Bool # (>=) :: Key Ba -> Key Ba -> Bool # max :: Key Ba -> Key Ba -> Key Ba # min :: Key Ba -> Key Ba -> Key Ba #
Read (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods readsPrec :: Int -> ReadS (Key Ba) # readList :: ReadS [Key Ba] # readPrec :: ReadPrec (Key Ba) # readListPrec :: ReadPrec [Key Ba] #
Show (Unique Ba) Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Unique Ba -> ShowS # show :: Unique Ba -> String # showList :: [Unique Ba] -> ShowS #
Show (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Key Ba -> ShowS # show :: Key Ba -> String # showList :: [Key Ba] -> ShowS #
ToJSON (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods toJSON :: Key Ba -> Value # toEncoding :: Key Ba -> Encoding # toJSONList :: [Key Ba] -> Value # toEncodingList :: [Key Ba] -> Encoding #
FromJSON (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods parseJSON :: Value -> Parser (Key Ba) # parseJSONList :: Value -> Parser [Key Ba] #
ToHttpApiData (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods toUrlPiece :: Key Ba -> Text # toEncodedUrlPiece :: Key Ba -> Builder # toHeader :: Key Ba -> ByteString # toQueryParam :: Key Ba -> Text #
FromHttpApiData (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods parseUrlPiece :: Text -> Either Text (Key Ba) # parseHeader :: ByteString -> Either Text (Key Ba) # parseQueryParam :: Text -> Either Text (Key Ba) #
PathPiece (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods fromPathPiece :: Text -> Maybe (Key Ba) # toPathPiece :: Key Ba -> Text #
PersistFieldSql (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy (Key Ba) -> SqlType #
PersistField (Key Ba) Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: Key Ba -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key Ba) #
data Unique Ba Source #
Instance details Defined in PersistUniqueTest data Unique Ba = UniqueBaz Int
data EntityField Ba typ Source #
Instance details Defined in PersistUniqueTest data EntityField Ba typ = typ ~ BaId => BaId \| typ ~ Int => BaFoo \| typ ~ Int => BaBaz
newtype Key Ba Source #
Instance details Defined in PersistUniqueTest newtype Key Ba = BaKey { unBaKey :: BackendKey SqlBackend }
type PersistEntityBackend Ba Source #
Instance details Defined in PersistUniqueTest type PersistEntityBackend Ba = SqlBackend

type BaId = Key Ba Source #

data OnlyPrimaryKey Source #

Constructors

OnlyPrimaryKey
Fields onlyPrimaryKeyFoo :: !Int onlyPrimaryKeyName :: !String

Instances

Instances details

Eq OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods (==) :: OnlyPrimaryKey -> OnlyPrimaryKey -> Bool # (/=) :: OnlyPrimaryKey -> OnlyPrimaryKey -> Bool #
Show OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> OnlyPrimaryKey -> ShowS # show :: OnlyPrimaryKey -> String # showList :: [OnlyPrimaryKey] -> ShowS #
PersistFieldSql OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy OnlyPrimaryKey -> SqlType #
OnlyOneUniqueKey OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods onlyUniqueP :: OnlyPrimaryKey -> Unique OnlyPrimaryKey #
AtLeastOneUniqueKey OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods requireUniquesP :: OnlyPrimaryKey -> NonEmpty (Unique OnlyPrimaryKey) #
PersistEntity OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Associated Types type PersistEntityBackend OnlyPrimaryKey # data Key OnlyPrimaryKey # data EntityField OnlyPrimaryKey :: Type -> Type # data Unique OnlyPrimaryKey # Methods keyToValues :: Key OnlyPrimaryKey -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key OnlyPrimaryKey) # persistIdField :: EntityField OnlyPrimaryKey (Key OnlyPrimaryKey) # entityDef :: proxy OnlyPrimaryKey -> EntityDef # persistFieldDef :: EntityField OnlyPrimaryKey typ -> FieldDef # toPersistFields :: OnlyPrimaryKey -> [PersistValue] # fromPersistValues :: [PersistValue] -> Either Text OnlyPrimaryKey # tabulateEntityA :: Applicative f => (forall a. EntityField OnlyPrimaryKey a -> f a) -> f (Entity OnlyPrimaryKey) # persistUniqueKeys :: OnlyPrimaryKey -> [Unique OnlyPrimaryKey] # persistUniqueToFieldNames :: Unique OnlyPrimaryKey -> NonEmpty (FieldNameHS, FieldNameDB) # persistUniqueToValues :: Unique OnlyPrimaryKey -> [PersistValue] # fieldLens :: EntityField OnlyPrimaryKey field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity OnlyPrimaryKey -> f (Entity OnlyPrimaryKey) # keyFromRecordM :: Maybe (OnlyPrimaryKey -> Key OnlyPrimaryKey) #
SafeToInsert OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest
PersistField OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: OnlyPrimaryKey -> PersistValue # fromPersistValue :: PersistValue -> Either Text OnlyPrimaryKey #
SymbolToField "foo" OnlyPrimaryKey Int Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField OnlyPrimaryKey Int #
SymbolToField "name" OnlyPrimaryKey String Source #
Instance details Defined in PersistUniqueTest Methods symbolToField :: EntityField OnlyPrimaryKey String #
Eq (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods (==) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool # (/=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool #
Ord (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods compare :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Ordering # (<) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool # (<=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool # (>) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool # (>=) :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Bool # max :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Key OnlyPrimaryKey # min :: Key OnlyPrimaryKey -> Key OnlyPrimaryKey -> Key OnlyPrimaryKey #
Read (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods readsPrec :: Int -> ReadS (Key OnlyPrimaryKey) # readList :: ReadS [Key OnlyPrimaryKey] # readPrec :: ReadPrec (Key OnlyPrimaryKey) # readListPrec :: ReadPrec [Key OnlyPrimaryKey] #
Show (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods showsPrec :: Int -> Key OnlyPrimaryKey -> ShowS # show :: Key OnlyPrimaryKey -> String # showList :: [Key OnlyPrimaryKey] -> ShowS #
ToJSON (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods toJSON :: Key OnlyPrimaryKey -> Value # toEncoding :: Key OnlyPrimaryKey -> Encoding # toJSONList :: [Key OnlyPrimaryKey] -> Value # toEncodingList :: [Key OnlyPrimaryKey] -> Encoding #
FromJSON (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods parseJSON :: Value -> Parser (Key OnlyPrimaryKey) # parseJSONList :: Value -> Parser [Key OnlyPrimaryKey] #
ToHttpApiData (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods toUrlPiece :: Key OnlyPrimaryKey -> Text # toEncodedUrlPiece :: Key OnlyPrimaryKey -> Builder # toHeader :: Key OnlyPrimaryKey -> ByteString # toQueryParam :: Key OnlyPrimaryKey -> Text #
FromHttpApiData (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods parseUrlPiece :: Text -> Either Text (Key OnlyPrimaryKey) # parseHeader :: ByteString -> Either Text (Key OnlyPrimaryKey) # parseQueryParam :: Text -> Either Text (Key OnlyPrimaryKey) #
PathPiece (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods fromPathPiece :: Text -> Maybe (Key OnlyPrimaryKey) # toPathPiece :: Key OnlyPrimaryKey -> Text #
PersistFieldSql (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods sqlType :: Proxy (Key OnlyPrimaryKey) -> SqlType #
PersistField (Key OnlyPrimaryKey) Source #
Instance details Defined in PersistUniqueTest Methods toPersistValue :: Key OnlyPrimaryKey -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key OnlyPrimaryKey) #
data Unique OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest data Unique OnlyPrimaryKey = OnlyPrimaryKeyPrimaryKey Int
data EntityField OnlyPrimaryKey typ Source #
Instance details Defined in PersistUniqueTest data EntityField OnlyPrimaryKey typ = typ ~ OnlyPrimaryKeyId => OnlyPrimaryKeyId \| typ ~ Int => OnlyPrimaryKeyFoo \| typ ~ String => OnlyPrimaryKeyName
newtype Key OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest newtype Key OnlyPrimaryKey = OnlyPrimaryKeyKey { unOnlyPrimaryKeyKey :: Int }
type PersistEntityBackend OnlyPrimaryKey Source #
Instance details Defined in PersistUniqueTest type PersistEntityBackend OnlyPrimaryKey = SqlBackend

type OnlyPrimaryKeyId = Key OnlyPrimaryKey Source #

migration :: Migration Source #

entityDefListFormigration :: [EntityDef] Source #

shouldCompile :: (OnlyOneUniqueKey OnlyPrimaryKey, AtLeastOneUniqueKey OnlyPrimaryKey) => IO () Source #

cleanDB :: (MonadIO m, PersistQuery backend, PersistEntityBackend Fo ~ backend) => ReaderT backend m () Source #

specsWith :: Runner SqlBackend m => RunDb SqlBackend m -> Spec Source #