Safe Haskell	None
Language	Haskell2010

UniqueTest

Documentation

data TestNonNull Source #

Constructors

TestNonNull
Fields testNonNullFieldA :: !Int

Instances

Instances details

Eq TestNonNull Source #
Instance details Defined in UniqueTest Methods (==) :: TestNonNull -> TestNonNull -> Bool # (/=) :: TestNonNull -> TestNonNull -> Bool #
Show TestNonNull Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> TestNonNull -> ShowS # show :: TestNonNull -> String # showList :: [TestNonNull] -> ShowS #
PersistFieldSql TestNonNull Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy TestNonNull -> SqlType #
OnlyOneUniqueKey TestNonNull Source #
Instance details Defined in UniqueTest Methods onlyUniqueP :: TestNonNull -> Unique TestNonNull #
AtLeastOneUniqueKey TestNonNull Source #
Instance details Defined in UniqueTest Methods requireUniquesP :: TestNonNull -> NonEmpty (Unique TestNonNull) #
PersistEntity TestNonNull Source #
Instance details Defined in UniqueTest Associated Types type PersistEntityBackend TestNonNull # data Key TestNonNull # data EntityField TestNonNull :: Type -> Type # data Unique TestNonNull # 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 #
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) #
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 #
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 #
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 #
FromJSON (Key TestNonNull) Source #
Instance details Defined in UniqueTest Methods parseJSON :: Value -> Parser (Key TestNonNull) # parseJSONList :: Value -> Parser [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 #
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) #
PathPiece (Key TestNonNull) Source #
Instance details Defined in UniqueTest Methods fromPathPiece :: Text -> Maybe (Key TestNonNull) # toPathPiece :: Key TestNonNull -> Text #
PersistFieldSql (Key TestNonNull) Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy (Key TestNonNull) -> SqlType #
PersistField (Key TestNonNull) Source #
Instance details Defined in UniqueTest Methods toPersistValue :: Key TestNonNull -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key TestNonNull) #
data Unique TestNonNull Source #
Instance details Defined in UniqueTest data Unique TestNonNull = UniqueTestNonNull Int
data EntityField TestNonNull typ Source #
Instance details Defined in UniqueTest data EntityField TestNonNull typ = typ ~ TestNonNullId => TestNonNullId \| typ ~ Int => TestNonNullFieldA
newtype Key TestNonNull Source #
Instance details Defined in UniqueTest newtype Key TestNonNull = TestNonNullKey { unTestNonNullKey :: BackendKey SqlBackend }
type PersistEntityBackend TestNonNull Source #
Instance details Defined in UniqueTest type PersistEntityBackend TestNonNull = SqlBackend

type TestNonNullId = Key TestNonNull Source #

data TestNull Source #

Constructors

TestNull
Fields testNullFieldA :: !Int testNullFieldB :: !(Maybe Int)

Instances

Instances details

Eq TestNull Source #
Instance details Defined in UniqueTest Methods (==) :: TestNull -> TestNull -> Bool # (/=) :: TestNull -> TestNull -> Bool #
Show TestNull Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> TestNull -> ShowS # show :: TestNull -> String # showList :: [TestNull] -> ShowS #
PersistFieldSql TestNull Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy TestNull -> SqlType #
OnlyOneUniqueKey TestNull Source #
Instance details Defined in UniqueTest Methods onlyUniqueP :: TestNull -> Unique TestNull #
AtLeastOneUniqueKey TestNull Source #
Instance details Defined in UniqueTest Methods requireUniquesP :: TestNull -> NonEmpty (Unique TestNull) #
PersistEntity TestNull Source #
Instance details Defined in UniqueTest Associated Types type PersistEntityBackend TestNull # data Key TestNull # data EntityField TestNull :: Type -> Type # data Unique TestNull # 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 #
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) #
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 #
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 #
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 #
FromJSON (Key TestNull) Source #
Instance details Defined in UniqueTest Methods parseJSON :: Value -> Parser (Key TestNull) # parseJSONList :: Value -> Parser [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 #
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) #
PathPiece (Key TestNull) Source #
Instance details Defined in UniqueTest Methods fromPathPiece :: Text -> Maybe (Key TestNull) # toPathPiece :: Key TestNull -> Text #
PersistFieldSql (Key TestNull) Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy (Key TestNull) -> SqlType #
PersistField (Key TestNull) Source #
Instance details Defined in UniqueTest Methods toPersistValue :: Key TestNull -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key TestNull) #
data Unique TestNull Source #
Instance details Defined in UniqueTest data Unique TestNull = UniqueTestNull Int (Maybe Int)
data EntityField TestNull typ Source #
Instance details Defined in UniqueTest data EntityField TestNull typ = typ ~ TestNullId => TestNullId \| typ ~ Int => TestNullFieldA \| typ ~ Maybe Int => TestNullFieldB
newtype Key TestNull Source #
Instance details Defined in UniqueTest newtype Key TestNull = TestNullKey { unTestNullKey :: BackendKey SqlBackend }
type PersistEntityBackend TestNull Source #
Instance details Defined in UniqueTest type PersistEntityBackend TestNull = SqlBackend

type TestNullId = Key TestNull Source #

data TestCheckmark Source #

Constructors

TestCheckmark
Fields testCheckmarkName :: !Text testCheckmarkValue :: !Text testCheckmarkActive :: !Checkmark

Instances

Instances details

Eq TestCheckmark Source #
Instance details Defined in UniqueTest Methods (==) :: TestCheckmark -> TestCheckmark -> Bool # (/=) :: TestCheckmark -> TestCheckmark -> Bool #
Show TestCheckmark Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> TestCheckmark -> ShowS # show :: TestCheckmark -> String # showList :: [TestCheckmark] -> ShowS #
PersistFieldSql TestCheckmark Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy TestCheckmark -> SqlType #
OnlyOneUniqueKey TestCheckmark Source #
Instance details Defined in UniqueTest Methods onlyUniqueP :: TestCheckmark -> Unique TestCheckmark #
AtLeastOneUniqueKey TestCheckmark Source #
Instance details Defined in UniqueTest Methods requireUniquesP :: TestCheckmark -> NonEmpty (Unique TestCheckmark) #
PersistEntity TestCheckmark Source #
Instance details Defined in UniqueTest Associated Types type PersistEntityBackend TestCheckmark # data Key TestCheckmark # data EntityField TestCheckmark :: Type -> Type # data Unique TestCheckmark # 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 #
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) #
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 #
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 #
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 #
FromJSON (Key TestCheckmark) Source #
Instance details Defined in UniqueTest Methods parseJSON :: Value -> Parser (Key TestCheckmark) # parseJSONList :: Value -> Parser [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 #
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) #
PathPiece (Key TestCheckmark) Source #
Instance details Defined in UniqueTest Methods fromPathPiece :: Text -> Maybe (Key TestCheckmark) # toPathPiece :: Key TestCheckmark -> Text #
PersistFieldSql (Key TestCheckmark) Source #
Instance details Defined in UniqueTest Methods sqlType :: Proxy (Key TestCheckmark) -> SqlType #
PersistField (Key TestCheckmark) Source #
Instance details Defined in UniqueTest Methods toPersistValue :: Key TestCheckmark -> PersistValue # fromPersistValue :: PersistValue -> Either Text (Key TestCheckmark) #
data Unique TestCheckmark Source #
Instance details Defined in UniqueTest data Unique TestCheckmark = UniqueTestCheckmark Text Checkmark
data EntityField TestCheckmark typ Source #
Instance details Defined in UniqueTest data EntityField TestCheckmark typ = typ ~ TestCheckmarkId => TestCheckmarkId \| typ ~ Text => TestCheckmarkName \| typ ~ Text => TestCheckmarkValue \| typ ~ Checkmark => TestCheckmarkActive
newtype Key TestCheckmark Source #
Instance details Defined in UniqueTest newtype Key TestCheckmark = TestCheckmarkKey { unTestCheckmarkKey :: BackendKey SqlBackend }
type PersistEntityBackend TestCheckmark Source #
Instance details Defined in UniqueTest type PersistEntityBackend TestCheckmark = SqlBackend

type TestCheckmarkId = Key TestCheckmark Source #

uniqueMigrate :: Migration Source #

entityDefListForuniqueMigrate :: [EntityDef] Source #

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

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