MigrationIdempotencyTest

Documentation

data Idempotency

Constructors

Idempotency

Fields

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

Instances

PersistFieldSql Idempotency

Defined in MigrationIdempotencyTest

Methods

sqlType :: Proxy Idempotency -> SqlType

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

Defined in MigrationIdempotencyTest

Methods

onlyUniqueP :: Idempotency -> Unique Idempotency

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

Defined in MigrationIdempotencyTest

Methods

requireUniquesP :: Idempotency -> NonEmpty (Unique Idempotency)

PersistEntity Idempotency

Defined in MigrationIdempotencyTest

Associated Types

type PersistEntityBackend Idempotency

data Key Idempotency

data EntityField Idempotency :: Type -> Type

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

Defined in MigrationIdempotencyTest

PersistField Idempotency

Defined in MigrationIdempotencyTest

Methods

toPersistValue :: Idempotency -> PersistValue

fromPersistValue :: PersistValue -> Either Text Idempotency

ToBackendKey SqlBackend Idempotency

Defined in MigrationIdempotencyTest

Methods

toBackendKey :: Key Idempotency -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Idempotency

SymbolToField "field1" Idempotency Int64

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Int64

SymbolToField "field2" Idempotency Text

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text

SymbolToField "field3" Idempotency Text

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text

SymbolToField "field4" Idempotency Text

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text

SymbolToField "field5" Idempotency Text

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text

SymbolToField "field6" Idempotency Text

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Text

SymbolToField "field7" Idempotency Double

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Double

SymbolToField "field8" Idempotency Int32

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Int32

SymbolToField "field9" Idempotency Bool

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency Bool

SymbolToField "id" Idempotency (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

symbolToField :: EntityField Idempotency (Key Idempotency)

Eq (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

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

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

Ord (Key Idempotency)

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

Read (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

readsPrec :: Int -> ReadS (Key Idempotency)

readList :: ReadS [Key Idempotency]

readPrec :: ReadPrec (Key Idempotency)

readListPrec :: ReadPrec [Key Idempotency]

Show (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

showsPrec :: Int -> Key Idempotency -> ShowS

show :: Key Idempotency -> String

showList :: [Key Idempotency] -> ShowS

ToJSON (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

toJSON :: Key Idempotency -> Value

toEncoding :: Key Idempotency -> Encoding

toJSONList :: [Key Idempotency] -> Value

toEncodingList :: [Key Idempotency] -> Encoding

FromJSON (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

parseJSON :: Value -> Parser (Key Idempotency)

parseJSONList :: Value -> Parser [Key Idempotency]

ToHttpApiData (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

toUrlPiece :: Key Idempotency -> Text

toEncodedUrlPiece :: Key Idempotency -> Builder

toHeader :: Key Idempotency -> ByteString

toQueryParam :: Key Idempotency -> Text

FromHttpApiData (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

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

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

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

PathPiece (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

fromPathPiece :: Text -> Maybe (Key Idempotency)

toPathPiece :: Key Idempotency -> Text

PersistFieldSql (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

sqlType :: Proxy (Key Idempotency) -> SqlType

PersistField (Key Idempotency)

Defined in MigrationIdempotencyTest

Methods

toPersistValue :: Key Idempotency -> PersistValue

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

data Unique Idempotency

Defined in MigrationIdempotencyTest

data Unique Idempotency

data EntityField Idempotency typ

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

Defined in MigrationIdempotencyTest

newtype Key Idempotency = IdempotencyKey {

• unIdempotencyKey :: BackendKey SqlBackend

}

type PersistEntityBackend Idempotency

Defined in MigrationIdempotencyTest

type PersistEntityBackend Idempotency = SqlBackend

type IdempotencyId = Key Idempotency

migration :: Migration

entityDefListFormigration :: [EntityDef]

specsWith :: MonadIO m => RunDb SqlBackend m -> Spec