persistent-test-2.13.1.3: Tests for Persistent

Safe Haskell	None
Language	Haskell2010

MigrationIdempotencyTest

Documentation

type IdempotencyId = Key Idempotency Source #

data Idempotency Source #

Constructors

Idempotency
Fields idempotencyField1 :: !Int64 idempotencyField2 :: !Text idempotencyField3 :: !Text idempotencyField4 :: !Text idempotencyField5 :: !Text idempotencyField6 :: !Text idempotencyField7 :: !Double idempotencyField8 :: !Int32 idempotencyField9 :: !Bool

Instances

Instances details

PersistEntity Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

Associated Types

type PersistEntityBackend Idempotency
Instance details Defined in MigrationIdempotencyTest type PersistEntityBackend Idempotency = SqlBackend
newtype Key Idempotency
Instance details Defined in MigrationIdempotencyTest newtype Key Idempotency = IdempotencyKey { unIdempotencyKey :: BackendKey SqlBackend }
data EntityField Idempotency typ
Instance details Defined in MigrationIdempotencyTest data EntityField Idempotency typ = typ ~ IdempotencyId => IdempotencyId \| typ ~ Int64 => IdempotencyField1 \| typ ~ Text => IdempotencyField2 \| typ ~ Text => IdempotencyField3 \| typ ~ Text => IdempotencyField4 \| typ ~ Text => IdempotencyField5 \| typ ~ Text => IdempotencyField6 \| typ ~ Double => IdempotencyField7 \| typ ~ Int32 => IdempotencyField8 \| typ ~ Bool => IdempotencyField9
data Unique Idempotency
Instance details Defined in MigrationIdempotencyTest data Unique Idempotency

Methods

keyToValues :: Key Idempotency -> [PersistValue] #

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

persistIdField :: EntityField Idempotency (Key Idempotency) #

entityDef :: proxy Idempotency -> EntityDef #

persistFieldDef :: EntityField Idempotency typ -> FieldDef #

toPersistFields :: Idempotency -> [PersistValue] #

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

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

persistUniqueKeys :: Idempotency -> [Unique Idempotency] #

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

persistUniqueToValues :: Unique Idempotency -> [PersistValue] #

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

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

SafeToInsert Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

PersistField Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

toPersistValue :: Idempotency -> PersistValue #

fromPersistValue :: PersistValue -> Either Text Idempotency #

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

Instance details

Defined in MigrationIdempotencyTest

Methods

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

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

Instance details

Defined in MigrationIdempotencyTest

Methods

onlyUniqueP :: Idempotency -> Unique Idempotency #

PersistFieldSql Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

sqlType :: Proxy Idempotency -> SqlType #

ToBackendKey SqlBackend Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

toBackendKey :: Key Idempotency -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key Idempotency #

SymbolToField "field1" Idempotency Int64 Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Int64 #

SymbolToField "field2" Idempotency Text Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text #

SymbolToField "field3" Idempotency Text Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text #

SymbolToField "field4" Idempotency Text Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text #

SymbolToField "field5" Idempotency Text Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text #

SymbolToField "field6" Idempotency Text Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text #

SymbolToField "field7" Idempotency Double Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Double #

SymbolToField "field8" Idempotency Int32 Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Int32 #

SymbolToField "field9" Idempotency Bool Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Bool #

SymbolToField "id" Idempotency (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency (Key Idempotency) #

FromJSON (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

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

omittedField :: Maybe (Key Idempotency) #

ToJSON (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

toJSON :: Key Idempotency -> Value #

toEncoding :: Key Idempotency -> Encoding #

toJSONList :: [Key Idempotency] -> Value #

toEncodingList :: [Key Idempotency] -> Encoding #

omitField :: Key Idempotency -> Bool #

Read (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

readList :: ReadS [Key Idempotency] #

readPrec :: ReadPrec (Key Idempotency) #

readListPrec :: ReadPrec [Key Idempotency] #

Show (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

show :: Key Idempotency -> String #

showList :: [Key Idempotency] -> ShowS #

Eq (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

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

Ord (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

compare :: Key Idempotency -> Key Idempotency -> Ordering #

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

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

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

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

max :: Key Idempotency -> Key Idempotency -> Key Idempotency #

min :: Key Idempotency -> Key Idempotency -> Key Idempotency #

FromHttpApiData (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

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

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

ToHttpApiData (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

toUrlPiece :: Key Idempotency -> Text #

toEncodedUrlPiece :: Key Idempotency -> Builder #

toHeader :: Key Idempotency -> ByteString #

toQueryParam :: Key Idempotency -> Text #

toEncodedQueryParam :: Key Idempotency -> Builder #

PathPiece (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

toPathPiece :: Key Idempotency -> Text #

PersistField (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

toPersistValue :: Key Idempotency -> PersistValue #

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

PersistFieldSql (Key Idempotency) Source #

Instance details

Defined in MigrationIdempotencyTest

Methods

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

data EntityField Idempotency typ Source #

Instance details

Defined in MigrationIdempotencyTest

data EntityField Idempotency typ

= typ ~ IdempotencyId => IdempotencyId
| typ ~ Int64 => IdempotencyField1
| typ ~ Text => IdempotencyField2
| typ ~ Text => IdempotencyField3
| typ ~ Text => IdempotencyField4
| typ ~ Text => IdempotencyField5
| typ ~ Text => IdempotencyField6
| typ ~ Double => IdempotencyField7
| typ ~ Int32 => IdempotencyField8
| typ ~ Bool => IdempotencyField9

newtype Key Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

newtype Key Idempotency = IdempotencyKey {

unIdempotencyKey :: BackendKey SqlBackend

}

type PersistEntityBackend Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

type PersistEntityBackend Idempotency = SqlBackend

data Unique Idempotency Source #

Instance details

Defined in MigrationIdempotencyTest

data Unique Idempotency

entityDefListFormigration :: [EntityDef] Source #

migration :: Migration Source #

specsWith :: forall (m :: Type -> Type). MonadIO m => RunDb SqlBackend m -> Spec Source #