Safe Haskell	None
Language	Haskell2010

UniqueTest

Documentation

data TestNonNull Source #

Constructors

TestNonNull
Fields testNonNullFieldA :: !Int

Instances

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 :: Type # data Key TestNonNull :: Type # data EntityField TestNonNull a :: Type # data Unique TestNonNull :: Type # Methods keyToValues :: Key TestNonNull -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key TestNonNull) # persistIdField :: EntityField TestNonNull (Key TestNonNull) # entityDef :: Monad m => m TestNonNull -> EntityDef # persistFieldDef :: EntityField TestNonNull typ -> FieldDef # toPersistFields :: TestNonNull -> [SomePersistField] # fromPersistValues :: [PersistValue] -> Either Text TestNonNull # persistUniqueKeys :: TestNonNull -> [Unique TestNonNull] # persistUniqueToFieldNames :: Unique TestNonNull -> [(HaskellName, DBName)] # persistUniqueToValues :: Unique TestNonNull -> [PersistValue] # fieldLens :: EntityField TestNonNull field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity TestNonNull -> f (Entity TestNonNull) #
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 #
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 (Unique TestNonNull) Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> Unique TestNonNull -> ShowS # show :: Unique TestNonNull -> String # showList :: [Unique TestNonNull] -> ShowS #
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 where TestNonNullId :: forall typ. typ ~ Key TestNonNull => EntityField TestNonNull typ TestNonNullFieldA :: forall typ. typ ~ Int => EntityField TestNonNull typ
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

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 :: Type # data Key TestNull :: Type # data EntityField TestNull a :: Type # data Unique TestNull :: Type # Methods keyToValues :: Key TestNull -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key TestNull) # persistIdField :: EntityField TestNull (Key TestNull) # entityDef :: Monad m => m TestNull -> EntityDef # persistFieldDef :: EntityField TestNull typ -> FieldDef # toPersistFields :: TestNull -> [SomePersistField] # fromPersistValues :: [PersistValue] -> Either Text TestNull # persistUniqueKeys :: TestNull -> [Unique TestNull] # persistUniqueToFieldNames :: Unique TestNull -> [(HaskellName, DBName)] # persistUniqueToValues :: Unique TestNull -> [PersistValue] # fieldLens :: EntityField TestNull field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity TestNull -> f (Entity TestNull) #
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 #
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 (Unique TestNull) Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> Unique TestNull -> ShowS # show :: Unique TestNull -> String # showList :: [Unique TestNull] -> ShowS #
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 where TestNullId :: forall typ. typ ~ Key TestNull => EntityField TestNull typ TestNullFieldA :: forall typ. typ ~ Int => EntityField TestNull typ TestNullFieldB :: forall typ. typ ~ Maybe Int => EntityField TestNull typ
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

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 :: Type # data Key TestCheckmark :: Type # data EntityField TestCheckmark a :: Type # data Unique TestCheckmark :: Type # Methods keyToValues :: Key TestCheckmark -> [PersistValue] # keyFromValues :: [PersistValue] -> Either Text (Key TestCheckmark) # persistIdField :: EntityField TestCheckmark (Key TestCheckmark) # entityDef :: Monad m => m TestCheckmark -> EntityDef # persistFieldDef :: EntityField TestCheckmark typ -> FieldDef # toPersistFields :: TestCheckmark -> [SomePersistField] # fromPersistValues :: [PersistValue] -> Either Text TestCheckmark # persistUniqueKeys :: TestCheckmark -> [Unique TestCheckmark] # persistUniqueToFieldNames :: Unique TestCheckmark -> [(HaskellName, DBName)] # persistUniqueToValues :: Unique TestCheckmark -> [PersistValue] # fieldLens :: EntityField TestCheckmark field -> forall (f :: Type -> Type). Functor f => (field -> f field) -> Entity TestCheckmark -> f (Entity TestCheckmark) #
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 #
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 (Unique TestCheckmark) Source #
Instance details Defined in UniqueTest Methods showsPrec :: Int -> Unique TestCheckmark -> ShowS # show :: Unique TestCheckmark -> String # showList :: [Unique TestCheckmark] -> ShowS #
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 where TestCheckmarkId :: forall typ. typ ~ Key TestCheckmark => EntityField TestCheckmark typ TestCheckmarkName :: forall typ. typ ~ Text => EntityField TestCheckmark typ TestCheckmarkValue :: forall typ. typ ~ Text => EntityField TestCheckmark typ TestCheckmarkActive :: forall typ. typ ~ Checkmark => EntityField TestCheckmark typ
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 #

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

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