MigrationTest

Documentation

data Target

Constructors

Target

Fields

• targetField1 :: !Int
• targetField2 :: !Text

Instances

Eq Target

Defined in MigrationTest

Methods

(==) :: Target -> Target -> Bool

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

Show Target

Defined in MigrationTest

Methods

showsPrec :: Int -> Target -> ShowS

show :: Target -> String

showList :: [Target] -> ShowS

PersistFieldSql Target

Defined in MigrationTest

Methods

sqlType :: Proxy Target -> SqlType

OnlyOneUniqueKey Target

Defined in MigrationTest

Methods

onlyUniqueP :: Target -> Unique Target

AtLeastOneUniqueKey Target

Defined in MigrationTest

Methods

requireUniquesP :: Target -> NonEmpty (Unique Target)

PersistEntity Target

Defined in MigrationTest

Associated Types

type PersistEntityBackend Target :: Type

data Key Target :: Type

data EntityField Target a :: Type

data Unique Target :: Type

Methods

keyToValues :: Key Target -> [PersistValue]

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

persistIdField :: EntityField Target (Key Target)

entityDef :: Monad m => m Target -> EntityDef

persistFieldDef :: EntityField Target typ -> FieldDef

toPersistFields :: Target -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Target

persistUniqueKeys :: Target -> [Unique Target]

persistUniqueToFieldNames :: Unique Target -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Target -> [PersistValue]

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

PersistField Target

Defined in MigrationTest

Methods

toPersistValue :: Target -> PersistValue

fromPersistValue :: PersistValue -> Either Text Target

(PersistQuery backend, PersistEntityBackend Target ~ BaseBackend backend) => DeleteCascade Target backend

Defined in MigrationTest

Methods

deleteCascade :: MonadIO m => Key Target -> ReaderT backend m ()

ToBackendKey SqlBackend Target

Defined in MigrationTest

Methods

toBackendKey :: Key Target -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Target

Eq (Key Target)

Defined in MigrationTest

Methods

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

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

Ord (Key Target)

Defined in MigrationTest

Methods

compare :: Key Target -> Key Target -> Ordering

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

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

(>) :: Key Target -> Key Target -> Bool

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

max :: Key Target -> Key Target -> Key Target

min :: Key Target -> Key Target -> Key Target

Read (Key Target)

Defined in MigrationTest

Methods

readsPrec :: Int -> ReadS (Key Target)

readList :: ReadS [Key Target]

readPrec :: ReadPrec (Key Target)

readListPrec :: ReadPrec [Key Target]

Show (Unique Target)

Defined in MigrationTest

Methods

showsPrec :: Int -> Unique Target -> ShowS

show :: Unique Target -> String

showList :: [Unique Target] -> ShowS

Show (Key Target)

Defined in MigrationTest

Methods

showsPrec :: Int -> Key Target -> ShowS

show :: Key Target -> String

showList :: [Key Target] -> ShowS

ToJSON (Key Target)

Defined in MigrationTest

Methods

toJSON :: Key Target -> Value

toEncoding :: Key Target -> Encoding

toJSONList :: [Key Target] -> Value

toEncodingList :: [Key Target] -> Encoding

FromJSON (Key Target)

Defined in MigrationTest

Methods

parseJSON :: Value -> Parser (Key Target)

parseJSONList :: Value -> Parser [Key Target]

ToHttpApiData (Key Target)

Defined in MigrationTest

Methods

toUrlPiece :: Key Target -> Text

toEncodedUrlPiece :: Key Target -> Builder

toHeader :: Key Target -> ByteString

toQueryParam :: Key Target -> Text

FromHttpApiData (Key Target)

Defined in MigrationTest

Methods

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

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

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

PathPiece (Key Target)

Defined in MigrationTest

Methods

fromPathPiece :: Text -> Maybe (Key Target)

toPathPiece :: Key Target -> Text

PersistFieldSql (Key Target)

Defined in MigrationTest

Methods

sqlType :: Proxy (Key Target) -> SqlType

PersistField (Key Target)

Defined in MigrationTest

Methods

toPersistValue :: Key Target -> PersistValue

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

data Unique Target

Defined in MigrationTest

data Unique Target = UniqueTarget Int Text

data EntityField Target typ

Defined in MigrationTest

data EntityField Target typ where

• TargetId :: forall typ. typ ~ Key Target => EntityField Target typ
• TargetField1 :: forall typ. typ ~ Int => EntityField Target typ
• TargetField2 :: forall typ. typ ~ Text => EntityField Target typ

newtype Key Target

Defined in MigrationTest

newtype Key Target = TargetKey {

• unTargetKey :: BackendKey SqlBackend

}

type PersistEntityBackend Target

Defined in MigrationTest

type PersistEntityBackend Target = SqlBackend

type TargetId = Key Target

data Source

Constructors

Source

Fields

• sourceField3 :: !Int
• sourceField4 :: !(Key Target)

Instances

PersistFieldSql Source

Defined in MigrationTest

Methods

sqlType :: Proxy Source -> SqlType

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

Defined in MigrationTest

Methods

onlyUniqueP :: Source -> Unique Source

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

Defined in MigrationTest

Methods

requireUniquesP :: Source -> NonEmpty (Unique Source)

PersistEntity Source

Defined in MigrationTest

Associated Types

type PersistEntityBackend Source :: Type

data Key Source :: Type

data EntityField Source a :: Type

data Unique Source :: Type

Methods

keyToValues :: Key Source -> [PersistValue]

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

persistIdField :: EntityField Source (Key Source)

entityDef :: Monad m => m Source -> EntityDef

persistFieldDef :: EntityField Source typ -> FieldDef

toPersistFields :: Source -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Source

persistUniqueKeys :: Source -> [Unique Source]

persistUniqueToFieldNames :: Unique Source -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Source -> [PersistValue]

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

PersistField Source

Defined in MigrationTest

Methods

toPersistValue :: Source -> PersistValue

fromPersistValue :: PersistValue -> Either Text Source

(PersistQuery backend, PersistEntityBackend Source ~ BaseBackend backend) => DeleteCascade Source backend

Defined in MigrationTest

Methods

deleteCascade :: MonadIO m => Key Source -> ReaderT backend m ()

ToBackendKey SqlBackend Source

Defined in MigrationTest

Methods

toBackendKey :: Key Source -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Source

Eq (Key Source)

Defined in MigrationTest

Methods

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

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

Ord (Key Source)

Defined in MigrationTest

Methods

compare :: Key Source -> Key Source -> Ordering

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

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

(>) :: Key Source -> Key Source -> Bool

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

max :: Key Source -> Key Source -> Key Source

min :: Key Source -> Key Source -> Key Source

Read (Key Source)

Defined in MigrationTest

Methods

readsPrec :: Int -> ReadS (Key Source)

readList :: ReadS [Key Source]

readPrec :: ReadPrec (Key Source)

readListPrec :: ReadPrec [Key Source]

Show (Key Source)

Defined in MigrationTest

Methods

showsPrec :: Int -> Key Source -> ShowS

show :: Key Source -> String

showList :: [Key Source] -> ShowS

ToJSON (Key Source)

Defined in MigrationTest

Methods

toJSON :: Key Source -> Value

toEncoding :: Key Source -> Encoding

toJSONList :: [Key Source] -> Value

toEncodingList :: [Key Source] -> Encoding

FromJSON (Key Source)

Defined in MigrationTest

Methods

parseJSON :: Value -> Parser (Key Source)

parseJSONList :: Value -> Parser [Key Source]

ToHttpApiData (Key Source)

Defined in MigrationTest

Methods

toUrlPiece :: Key Source -> Text

toEncodedUrlPiece :: Key Source -> Builder

toHeader :: Key Source -> ByteString

toQueryParam :: Key Source -> Text

FromHttpApiData (Key Source)

Defined in MigrationTest

Methods

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

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

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

PathPiece (Key Source)

Defined in MigrationTest

Methods

fromPathPiece :: Text -> Maybe (Key Source)

toPathPiece :: Key Source -> Text

PersistFieldSql (Key Source)

Defined in MigrationTest

Methods

sqlType :: Proxy (Key Source) -> SqlType

PersistField (Key Source)

Defined in MigrationTest

Methods

toPersistValue :: Key Source -> PersistValue

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

data Unique Source

Defined in MigrationTest

data Unique Source

data EntityField Source typ

Defined in MigrationTest

data EntityField Source typ where

• SourceId :: forall typ. typ ~ Key Source => EntityField Source typ
• SourceField3 :: forall typ. typ ~ Int => EntityField Source typ
• SourceField4 :: forall typ. typ ~ Key Target => EntityField Source typ

newtype Key Source

Defined in MigrationTest

newtype Key Source = SourceKey {

• unSourceKey :: BackendKey SqlBackend

}

type PersistEntityBackend Source

Defined in MigrationTest

type PersistEntityBackend Source = SqlBackend

type SourceId = Key Source

migrationMigrate :: Migration

data Target1

Constructors

Target1

Fields

• target1Field1 :: !Int
• target1Field2 :: !Text

Instances

Eq Target1

Defined in MigrationTest

Methods

(==) :: Target1 -> Target1 -> Bool

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

Show Target1

Defined in MigrationTest

Methods

showsPrec :: Int -> Target1 -> ShowS

show :: Target1 -> String

showList :: [Target1] -> ShowS

PersistFieldSql Target1

Defined in MigrationTest

Methods

sqlType :: Proxy Target1 -> SqlType

OnlyOneUniqueKey Target1

Defined in MigrationTest

Methods

onlyUniqueP :: Target1 -> Unique Target1

AtLeastOneUniqueKey Target1

Defined in MigrationTest

Methods

requireUniquesP :: Target1 -> NonEmpty (Unique Target1)

PersistEntity Target1

Defined in MigrationTest

Associated Types

type PersistEntityBackend Target1 :: Type

data Key Target1 :: Type

data EntityField Target1 a :: Type

data Unique Target1 :: Type

Methods

keyToValues :: Key Target1 -> [PersistValue]

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

persistIdField :: EntityField Target1 (Key Target1)

entityDef :: Monad m => m Target1 -> EntityDef

persistFieldDef :: EntityField Target1 typ -> FieldDef

toPersistFields :: Target1 -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Target1

persistUniqueKeys :: Target1 -> [Unique Target1]

persistUniqueToFieldNames :: Unique Target1 -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Target1 -> [PersistValue]

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

PersistField Target1

Defined in MigrationTest

Methods

toPersistValue :: Target1 -> PersistValue

fromPersistValue :: PersistValue -> Either Text Target1

(PersistQuery backend, PersistEntityBackend Target1 ~ BaseBackend backend) => DeleteCascade Target1 backend

Defined in MigrationTest

Methods

deleteCascade :: MonadIO m => Key Target1 -> ReaderT backend m ()

ToBackendKey SqlBackend Target1

Defined in MigrationTest

Methods

toBackendKey :: Key Target1 -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Target1

Eq (Key Target1)

Defined in MigrationTest

Methods

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

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

Ord (Key Target1)

Defined in MigrationTest

Methods

compare :: Key Target1 -> Key Target1 -> Ordering

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

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

(>) :: Key Target1 -> Key Target1 -> Bool

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

max :: Key Target1 -> Key Target1 -> Key Target1

min :: Key Target1 -> Key Target1 -> Key Target1

Read (Key Target1)

Defined in MigrationTest

Methods

readsPrec :: Int -> ReadS (Key Target1)

readList :: ReadS [Key Target1]

readPrec :: ReadPrec (Key Target1)

readListPrec :: ReadPrec [Key Target1]

Show (Unique Target1)

Defined in MigrationTest

Methods

showsPrec :: Int -> Unique Target1 -> ShowS

show :: Unique Target1 -> String

showList :: [Unique Target1] -> ShowS

Show (Key Target1)

Defined in MigrationTest

Methods

showsPrec :: Int -> Key Target1 -> ShowS

show :: Key Target1 -> String

showList :: [Key Target1] -> ShowS

ToJSON (Key Target1)

Defined in MigrationTest

Methods

toJSON :: Key Target1 -> Value

toEncoding :: Key Target1 -> Encoding

toJSONList :: [Key Target1] -> Value

toEncodingList :: [Key Target1] -> Encoding

FromJSON (Key Target1)

Defined in MigrationTest

Methods

parseJSON :: Value -> Parser (Key Target1)

parseJSONList :: Value -> Parser [Key Target1]

ToHttpApiData (Key Target1)

Defined in MigrationTest

Methods

toUrlPiece :: Key Target1 -> Text

toEncodedUrlPiece :: Key Target1 -> Builder

toHeader :: Key Target1 -> ByteString

toQueryParam :: Key Target1 -> Text

FromHttpApiData (Key Target1)

Defined in MigrationTest

Methods

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

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

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

PathPiece (Key Target1)

Defined in MigrationTest

Methods

fromPathPiece :: Text -> Maybe (Key Target1)

toPathPiece :: Key Target1 -> Text

PersistFieldSql (Key Target1)

Defined in MigrationTest

Methods

sqlType :: Proxy (Key Target1) -> SqlType

PersistField (Key Target1)

Defined in MigrationTest

Methods

toPersistValue :: Key Target1 -> PersistValue

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

data Unique Target1

Defined in MigrationTest

data Unique Target1 = UniqueTarget1 Int Text

data EntityField Target1 typ

Defined in MigrationTest

data EntityField Target1 typ where

• Target1Id :: forall typ. typ ~ Key Target1 => EntityField Target1 typ
• Target1Field1 :: forall typ. typ ~ Int => EntityField Target1 typ
• Target1Field2 :: forall typ. typ ~ Text => EntityField Target1 typ

newtype Key Target1

Defined in MigrationTest

newtype Key Target1 = Target1Key {

• unTarget1Key :: BackendKey SqlBackend

}

type PersistEntityBackend Target1

Defined in MigrationTest

type PersistEntityBackend Target1 = SqlBackend

type Target1Id = Key Target1

data Source1

Constructors

Source1

Fields

• source1Field3 :: !Int
• source1Extra :: !Int
• source1Field4 :: !(Key Target1)

Instances

PersistFieldSql Source1

Defined in MigrationTest

Methods

sqlType :: Proxy Source1 -> SqlType

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

Defined in MigrationTest

Methods

onlyUniqueP :: Source1 -> Unique Source1

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

Defined in MigrationTest

Methods

requireUniquesP :: Source1 -> NonEmpty (Unique Source1)

PersistEntity Source1

Defined in MigrationTest

Associated Types

type PersistEntityBackend Source1 :: Type

data Key Source1 :: Type

data EntityField Source1 a :: Type

data Unique Source1 :: Type

Methods

keyToValues :: Key Source1 -> [PersistValue]

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

persistIdField :: EntityField Source1 (Key Source1)

entityDef :: Monad m => m Source1 -> EntityDef

persistFieldDef :: EntityField Source1 typ -> FieldDef

toPersistFields :: Source1 -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Source1

persistUniqueKeys :: Source1 -> [Unique Source1]

persistUniqueToFieldNames :: Unique Source1 -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Source1 -> [PersistValue]

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

PersistField Source1

Defined in MigrationTest

Methods

toPersistValue :: Source1 -> PersistValue

fromPersistValue :: PersistValue -> Either Text Source1

(PersistQuery backend, PersistEntityBackend Source1 ~ BaseBackend backend) => DeleteCascade Source1 backend

Defined in MigrationTest

Methods

deleteCascade :: MonadIO m => Key Source1 -> ReaderT backend m ()

ToBackendKey SqlBackend Source1

Defined in MigrationTest

Methods

toBackendKey :: Key Source1 -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Source1

Eq (Key Source1)

Defined in MigrationTest

Methods

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

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

Ord (Key Source1)

Defined in MigrationTest

Methods

compare :: Key Source1 -> Key Source1 -> Ordering

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

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

(>) :: Key Source1 -> Key Source1 -> Bool

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

max :: Key Source1 -> Key Source1 -> Key Source1

min :: Key Source1 -> Key Source1 -> Key Source1

Read (Key Source1)

Defined in MigrationTest

Methods

readsPrec :: Int -> ReadS (Key Source1)

readList :: ReadS [Key Source1]

readPrec :: ReadPrec (Key Source1)

readListPrec :: ReadPrec [Key Source1]

Show (Key Source1)

Defined in MigrationTest

Methods

showsPrec :: Int -> Key Source1 -> ShowS

show :: Key Source1 -> String

showList :: [Key Source1] -> ShowS

ToJSON (Key Source1)

Defined in MigrationTest

Methods

toJSON :: Key Source1 -> Value

toEncoding :: Key Source1 -> Encoding

toJSONList :: [Key Source1] -> Value

toEncodingList :: [Key Source1] -> Encoding

FromJSON (Key Source1)

Defined in MigrationTest

Methods

parseJSON :: Value -> Parser (Key Source1)

parseJSONList :: Value -> Parser [Key Source1]

ToHttpApiData (Key Source1)

Defined in MigrationTest

Methods

toUrlPiece :: Key Source1 -> Text

toEncodedUrlPiece :: Key Source1 -> Builder

toHeader :: Key Source1 -> ByteString

toQueryParam :: Key Source1 -> Text

FromHttpApiData (Key Source1)

Defined in MigrationTest

Methods

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

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

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

PathPiece (Key Source1)

Defined in MigrationTest

Methods

fromPathPiece :: Text -> Maybe (Key Source1)

toPathPiece :: Key Source1 -> Text

PersistFieldSql (Key Source1)

Defined in MigrationTest

Methods

sqlType :: Proxy (Key Source1) -> SqlType

PersistField (Key Source1)

Defined in MigrationTest

Methods

toPersistValue :: Key Source1 -> PersistValue

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

data Unique Source1

Defined in MigrationTest

data Unique Source1

data EntityField Source1 typ

Defined in MigrationTest

data EntityField Source1 typ where

• Source1Id :: forall typ. typ ~ Key Source1 => EntityField Source1 typ
• Source1Field3 :: forall typ. typ ~ Int => EntityField Source1 typ
• Source1Extra :: forall typ. typ ~ Int => EntityField Source1 typ
• Source1Field4 :: forall typ. typ ~ Key Target1 => EntityField Source1 typ

newtype Key Source1

Defined in MigrationTest

newtype Key Source1 = Source1Key {

• unSource1Key :: BackendKey SqlBackend

}

type PersistEntityBackend Source1

Defined in MigrationTest

type PersistEntityBackend Source1 = SqlBackend

type Source1Id = Key Source1

migrationAddCol :: Migration

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