persistent-test-2.13.1.3: Tests for Persistent
Safe HaskellNone
LanguageHaskell2010

UniqueTest

Documentation

type TestCheckmarkId = Key TestCheckmark Source #

data TestCheckmark Source #

Constructors

TestCheckmark 

Fields

Instances

Instances details
Show TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

showsPrec :: Int -> TestCheckmark -> ShowS #

show :: TestCheckmark -> String #

showList :: [TestCheckmark] -> ShowS #

Eq TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

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

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

PersistEntity TestCheckmark Source # 
Instance details

Defined in UniqueTest

Associated Types

type PersistEntityBackend TestCheckmark 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestCheckmark = SqlBackend
newtype Key TestCheckmark 
Instance details

Defined in UniqueTest

newtype Key TestCheckmark = TestCheckmarkKey {}
data EntityField TestCheckmark typ 
Instance details

Defined in UniqueTest

data EntityField TestCheckmark typ
data Unique TestCheckmark 
Instance details

Defined in UniqueTest

data Unique TestCheckmark = UniqueTestCheckmark Text Checkmark

Methods

keyToValues :: Key TestCheckmark -> [PersistValue] #

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

persistIdField :: EntityField TestCheckmark (Key TestCheckmark) #

entityDef :: proxy TestCheckmark -> EntityDef #

persistFieldDef :: EntityField TestCheckmark typ -> FieldDef #

toPersistFields :: TestCheckmark -> [PersistValue] #

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

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

persistUniqueKeys :: TestCheckmark -> [Unique TestCheckmark] #

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

persistUniqueToValues :: Unique TestCheckmark -> [PersistValue] #

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

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

SafeToInsert TestCheckmark Source # 
Instance details

Defined in UniqueTest

PersistField TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: TestCheckmark -> PersistValue #

fromPersistValue :: PersistValue -> Either Text TestCheckmark #

AtLeastOneUniqueKey TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

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

OnlyOneUniqueKey TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

onlyUniqueP :: TestCheckmark -> Unique TestCheckmark #

PersistFieldSql TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

sqlType :: Proxy TestCheckmark -> SqlType #

ToBackendKey SqlBackend TestCheckmark Source # 
Instance details

Defined in UniqueTest

Methods

toBackendKey :: Key TestCheckmark -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key TestCheckmark #

SymbolToField "active" TestCheckmark Checkmark Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Checkmark #

SymbolToField "name" TestCheckmark Text Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Text #

SymbolToField "value" TestCheckmark Text Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Text #

SymbolToField "id" TestCheckmark (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark (Key TestCheckmark) #

FromJSON (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

omittedField :: Maybe (Key TestCheckmark) #

ToJSON (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

toJSON :: Key TestCheckmark -> Value #

toEncoding :: Key TestCheckmark -> Encoding #

toJSONList :: [Key TestCheckmark] -> Value #

toEncodingList :: [Key TestCheckmark] -> Encoding #

omitField :: Key TestCheckmark -> Bool #

Read (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

readList :: ReadS [Key TestCheckmark] #

readPrec :: ReadPrec (Key TestCheckmark) #

readListPrec :: ReadPrec [Key TestCheckmark] #

Show (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

show :: Key TestCheckmark -> String #

showList :: [Key TestCheckmark] -> ShowS #

Eq (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

Ord (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

compare :: Key TestCheckmark -> Key TestCheckmark -> Ordering #

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

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

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

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

max :: Key TestCheckmark -> Key TestCheckmark -> Key TestCheckmark #

min :: Key TestCheckmark -> Key TestCheckmark -> Key TestCheckmark #

FromHttpApiData (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

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

ToHttpApiData (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

toUrlPiece :: Key TestCheckmark -> Text #

toEncodedUrlPiece :: Key TestCheckmark -> Builder #

toHeader :: Key TestCheckmark -> ByteString #

toQueryParam :: Key TestCheckmark -> Text #

toEncodedQueryParam :: Key TestCheckmark -> Builder #

PathPiece (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

toPathPiece :: Key TestCheckmark -> Text #

PersistField (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: Key TestCheckmark -> PersistValue #

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

PersistFieldSql (Key TestCheckmark) Source # 
Instance details

Defined in UniqueTest

Methods

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

data EntityField TestCheckmark typ Source # 
Instance details

Defined in UniqueTest

data EntityField TestCheckmark typ
newtype Key TestCheckmark Source # 
Instance details

Defined in UniqueTest

newtype Key TestCheckmark = TestCheckmarkKey {}
type PersistEntityBackend TestCheckmark Source # 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestCheckmark = SqlBackend
data Unique TestCheckmark Source # 
Instance details

Defined in UniqueTest

data Unique TestCheckmark = UniqueTestCheckmark Text Checkmark

type TestNullId = Key TestNull Source #

data TestNull Source #

Constructors

TestNull 

Fields

Instances

Instances details
Show TestNull Source # 
Instance details

Defined in UniqueTest

Methods

showsPrec :: Int -> TestNull -> ShowS #

show :: TestNull -> String #

showList :: [TestNull] -> ShowS #

Eq TestNull Source # 
Instance details

Defined in UniqueTest

Methods

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

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

PersistEntity TestNull Source # 
Instance details

Defined in UniqueTest

Associated Types

type PersistEntityBackend TestNull 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestNull = SqlBackend
newtype Key TestNull 
Instance details

Defined in UniqueTest

newtype Key TestNull = TestNullKey {}
data EntityField TestNull typ 
Instance details

Defined in UniqueTest

data EntityField TestNull typ
data Unique TestNull 
Instance details

Defined in UniqueTest

data Unique TestNull = UniqueTestNull Int (Maybe Int)

Methods

keyToValues :: Key TestNull -> [PersistValue] #

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

persistIdField :: EntityField TestNull (Key TestNull) #

entityDef :: proxy TestNull -> EntityDef #

persistFieldDef :: EntityField TestNull typ -> FieldDef #

toPersistFields :: TestNull -> [PersistValue] #

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

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

persistUniqueKeys :: TestNull -> [Unique TestNull] #

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

persistUniqueToValues :: Unique TestNull -> [PersistValue] #

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

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

SafeToInsert TestNull Source # 
Instance details

Defined in UniqueTest

PersistField TestNull Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: TestNull -> PersistValue #

fromPersistValue :: PersistValue -> Either Text TestNull #

AtLeastOneUniqueKey TestNull Source # 
Instance details

Defined in UniqueTest

Methods

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

OnlyOneUniqueKey TestNull Source # 
Instance details

Defined in UniqueTest

Methods

onlyUniqueP :: TestNull -> Unique TestNull #

PersistFieldSql TestNull Source # 
Instance details

Defined in UniqueTest

Methods

sqlType :: Proxy TestNull -> SqlType #

ToBackendKey SqlBackend TestNull Source # 
Instance details

Defined in UniqueTest

Methods

toBackendKey :: Key TestNull -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key TestNull #

SymbolToField "fieldA" TestNull Int Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull Int #

SymbolToField "fieldB" TestNull (Maybe Int) Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull (Maybe Int) #

SymbolToField "id" TestNull (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull (Key TestNull) #

FromJSON (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

omittedField :: Maybe (Key TestNull) #

ToJSON (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

toJSON :: Key TestNull -> Value #

toEncoding :: Key TestNull -> Encoding #

toJSONList :: [Key TestNull] -> Value #

toEncodingList :: [Key TestNull] -> Encoding #

omitField :: Key TestNull -> Bool #

Read (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

readList :: ReadS [Key TestNull] #

readPrec :: ReadPrec (Key TestNull) #

readListPrec :: ReadPrec [Key TestNull] #

Show (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

show :: Key TestNull -> String #

showList :: [Key TestNull] -> ShowS #

Eq (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

Ord (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

compare :: Key TestNull -> Key TestNull -> Ordering #

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

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

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

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

max :: Key TestNull -> Key TestNull -> Key TestNull #

min :: Key TestNull -> Key TestNull -> Key TestNull #

FromHttpApiData (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

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

ToHttpApiData (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

toUrlPiece :: Key TestNull -> Text #

toEncodedUrlPiece :: Key TestNull -> Builder #

toHeader :: Key TestNull -> ByteString #

toQueryParam :: Key TestNull -> Text #

toEncodedQueryParam :: Key TestNull -> Builder #

PathPiece (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

toPathPiece :: Key TestNull -> Text #

PersistField (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: Key TestNull -> PersistValue #

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

PersistFieldSql (Key TestNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

data EntityField TestNull typ Source # 
Instance details

Defined in UniqueTest

data EntityField TestNull typ
newtype Key TestNull Source # 
Instance details

Defined in UniqueTest

newtype Key TestNull = TestNullKey {}
type PersistEntityBackend TestNull Source # 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestNull = SqlBackend
data Unique TestNull Source # 
Instance details

Defined in UniqueTest

data Unique TestNull = UniqueTestNull Int (Maybe Int)

type TestNonNullId = Key TestNonNull Source #

data TestNonNull Source #

Constructors

TestNonNull 

Fields

Instances

Instances details
Show TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

showsPrec :: Int -> TestNonNull -> ShowS #

show :: TestNonNull -> String #

showList :: [TestNonNull] -> ShowS #

Eq TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

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

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

PersistEntity TestNonNull Source # 
Instance details

Defined in UniqueTest

Associated Types

type PersistEntityBackend TestNonNull 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestNonNull = SqlBackend
newtype Key TestNonNull 
Instance details

Defined in UniqueTest

newtype Key TestNonNull = TestNonNullKey {}
data EntityField TestNonNull typ 
Instance details

Defined in UniqueTest

data EntityField TestNonNull typ
data Unique TestNonNull 
Instance details

Defined in UniqueTest

data Unique TestNonNull = UniqueTestNonNull Int

Methods

keyToValues :: Key TestNonNull -> [PersistValue] #

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

persistIdField :: EntityField TestNonNull (Key TestNonNull) #

entityDef :: proxy TestNonNull -> EntityDef #

persistFieldDef :: EntityField TestNonNull typ -> FieldDef #

toPersistFields :: TestNonNull -> [PersistValue] #

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

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

persistUniqueKeys :: TestNonNull -> [Unique TestNonNull] #

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

persistUniqueToValues :: Unique TestNonNull -> [PersistValue] #

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

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

SafeToInsert TestNonNull Source # 
Instance details

Defined in UniqueTest

PersistField TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: TestNonNull -> PersistValue #

fromPersistValue :: PersistValue -> Either Text TestNonNull #

AtLeastOneUniqueKey TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

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

OnlyOneUniqueKey TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

onlyUniqueP :: TestNonNull -> Unique TestNonNull #

PersistFieldSql TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

sqlType :: Proxy TestNonNull -> SqlType #

ToBackendKey SqlBackend TestNonNull Source # 
Instance details

Defined in UniqueTest

Methods

toBackendKey :: Key TestNonNull -> BackendKey SqlBackend #

fromBackendKey :: BackendKey SqlBackend -> Key TestNonNull #

SymbolToField "fieldA" TestNonNull Int Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNonNull Int #

SymbolToField "id" TestNonNull (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNonNull (Key TestNonNull) #

FromJSON (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

omittedField :: Maybe (Key TestNonNull) #

ToJSON (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

toJSON :: Key TestNonNull -> Value #

toEncoding :: Key TestNonNull -> Encoding #

toJSONList :: [Key TestNonNull] -> Value #

toEncodingList :: [Key TestNonNull] -> Encoding #

omitField :: Key TestNonNull -> Bool #

Read (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

readList :: ReadS [Key TestNonNull] #

readPrec :: ReadPrec (Key TestNonNull) #

readListPrec :: ReadPrec [Key TestNonNull] #

Show (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

show :: Key TestNonNull -> String #

showList :: [Key TestNonNull] -> ShowS #

Eq (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

Ord (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

compare :: Key TestNonNull -> Key TestNonNull -> Ordering #

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

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

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

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

max :: Key TestNonNull -> Key TestNonNull -> Key TestNonNull #

min :: Key TestNonNull -> Key TestNonNull -> Key TestNonNull #

FromHttpApiData (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

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

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

ToHttpApiData (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

toUrlPiece :: Key TestNonNull -> Text #

toEncodedUrlPiece :: Key TestNonNull -> Builder #

toHeader :: Key TestNonNull -> ByteString #

toQueryParam :: Key TestNonNull -> Text #

toEncodedQueryParam :: Key TestNonNull -> Builder #

PathPiece (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

toPathPiece :: Key TestNonNull -> Text #

PersistField (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

toPersistValue :: Key TestNonNull -> PersistValue #

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

PersistFieldSql (Key TestNonNull) Source # 
Instance details

Defined in UniqueTest

Methods

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

data EntityField TestNonNull typ Source # 
Instance details

Defined in UniqueTest

data EntityField TestNonNull typ
newtype Key TestNonNull Source # 
Instance details

Defined in UniqueTest

newtype Key TestNonNull = TestNonNullKey {}
type PersistEntityBackend TestNonNull Source # 
Instance details

Defined in UniqueTest

type PersistEntityBackend TestNonNull = SqlBackend
data Unique TestNonNull Source # 
Instance details

Defined in UniqueTest

data Unique TestNonNull = UniqueTestNonNull Int

entityDefListForuniqueMigrate :: [EntityDef] Source #

uniqueMigrate :: Migration Source #

cleanDB :: forall (m :: Type -> Type) backend. (MonadIO m, PersistQuery backend, PersistEntityBackend TestNonNull ~ backend) => ReaderT backend m () Source #

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