UniqueTest

Documentation

data TestNonNull

Constructors

TestNonNull

Fields

• testNonNullFieldA :: !Int

Instances

Eq TestNonNull

Defined in UniqueTest

Methods

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

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

Show TestNonNull

Defined in UniqueTest

Methods

showsPrec :: Int -> TestNonNull -> ShowS

show :: TestNonNull -> String

showList :: [TestNonNull] -> ShowS

PersistFieldSql TestNonNull

Defined in UniqueTest

Methods

sqlType :: Proxy TestNonNull -> SqlType

OnlyOneUniqueKey TestNonNull

Defined in UniqueTest

Methods

onlyUniqueP :: TestNonNull -> Unique TestNonNull

AtLeastOneUniqueKey TestNonNull

Defined in UniqueTest

Methods

requireUniquesP :: TestNonNull -> NonEmpty (Unique TestNonNull)

PersistEntity TestNonNull

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

Defined in UniqueTest

PersistField TestNonNull

Defined in UniqueTest

Methods

toPersistValue :: TestNonNull -> PersistValue

fromPersistValue :: PersistValue -> Either Text TestNonNull

ToBackendKey SqlBackend TestNonNull

Defined in UniqueTest

Methods

toBackendKey :: Key TestNonNull -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key TestNonNull

SymbolToField "fieldA" TestNonNull Int

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNonNull Int

SymbolToField "id" TestNonNull (Key TestNonNull)

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNonNull (Key TestNonNull)

Eq (Key TestNonNull)

Defined in UniqueTest

Methods

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

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

Ord (Key TestNonNull)

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)

Defined in UniqueTest

Methods

readsPrec :: Int -> ReadS (Key TestNonNull)

readList :: ReadS [Key TestNonNull]

readPrec :: ReadPrec (Key TestNonNull)

readListPrec :: ReadPrec [Key TestNonNull]

Show (Key TestNonNull)

Defined in UniqueTest

Methods

showsPrec :: Int -> Key TestNonNull -> ShowS

show :: Key TestNonNull -> String

showList :: [Key TestNonNull] -> ShowS

ToJSON (Key TestNonNull)

Defined in UniqueTest

Methods

toJSON :: Key TestNonNull -> Value

toEncoding :: Key TestNonNull -> Encoding

toJSONList :: [Key TestNonNull] -> Value

toEncodingList :: [Key TestNonNull] -> Encoding

FromJSON (Key TestNonNull)

Defined in UniqueTest

Methods

parseJSON :: Value -> Parser (Key TestNonNull)

parseJSONList :: Value -> Parser [Key TestNonNull]

ToHttpApiData (Key TestNonNull)

Defined in UniqueTest

Methods

toUrlPiece :: Key TestNonNull -> Text

toEncodedUrlPiece :: Key TestNonNull -> Builder

toHeader :: Key TestNonNull -> ByteString

toQueryParam :: Key TestNonNull -> Text

FromHttpApiData (Key TestNonNull)

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)

Defined in UniqueTest

Methods

fromPathPiece :: Text -> Maybe (Key TestNonNull)

toPathPiece :: Key TestNonNull -> Text

PersistFieldSql (Key TestNonNull)

Defined in UniqueTest

Methods

sqlType :: Proxy (Key TestNonNull) -> SqlType

PersistField (Key TestNonNull)

Defined in UniqueTest

Methods

toPersistValue :: Key TestNonNull -> PersistValue

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

data Unique TestNonNull

Defined in UniqueTest

data Unique TestNonNull = UniqueTestNonNull Int

data EntityField TestNonNull typ

Defined in UniqueTest

data EntityField TestNonNull typ

• = typ ~ TestNonNullId => TestNonNullId
• | typ ~ Int => TestNonNullFieldA

newtype Key TestNonNull

Defined in UniqueTest

newtype Key TestNonNull = TestNonNullKey {

• unTestNonNullKey :: BackendKey SqlBackend

}

type PersistEntityBackend TestNonNull

Defined in UniqueTest

type PersistEntityBackend TestNonNull = SqlBackend

type TestNonNullId = Key TestNonNull

data TestNull

Constructors

TestNull

Fields

• testNullFieldA :: !Int
• testNullFieldB :: !(Maybe Int)

Instances

Eq TestNull

Defined in UniqueTest

Methods

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

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

Show TestNull

Defined in UniqueTest

Methods

showsPrec :: Int -> TestNull -> ShowS

show :: TestNull -> String

showList :: [TestNull] -> ShowS

PersistFieldSql TestNull

Defined in UniqueTest

Methods

sqlType :: Proxy TestNull -> SqlType

OnlyOneUniqueKey TestNull

Defined in UniqueTest

Methods

onlyUniqueP :: TestNull -> Unique TestNull

AtLeastOneUniqueKey TestNull

Defined in UniqueTest

Methods

requireUniquesP :: TestNull -> NonEmpty (Unique TestNull)

PersistEntity TestNull

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

Defined in UniqueTest

PersistField TestNull

Defined in UniqueTest

Methods

toPersistValue :: TestNull -> PersistValue

fromPersistValue :: PersistValue -> Either Text TestNull

ToBackendKey SqlBackend TestNull

Defined in UniqueTest

Methods

toBackendKey :: Key TestNull -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key TestNull

SymbolToField "fieldA" TestNull Int

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull Int

SymbolToField "fieldB" TestNull (Maybe Int)

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull (Maybe Int)

SymbolToField "id" TestNull (Key TestNull)

Defined in UniqueTest

Methods

symbolToField :: EntityField TestNull (Key TestNull)

Eq (Key TestNull)

Defined in UniqueTest

Methods

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

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

Ord (Key TestNull)

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)

Defined in UniqueTest

Methods

readsPrec :: Int -> ReadS (Key TestNull)

readList :: ReadS [Key TestNull]

readPrec :: ReadPrec (Key TestNull)

readListPrec :: ReadPrec [Key TestNull]

Show (Key TestNull)

Defined in UniqueTest

Methods

showsPrec :: Int -> Key TestNull -> ShowS

show :: Key TestNull -> String

showList :: [Key TestNull] -> ShowS

ToJSON (Key TestNull)

Defined in UniqueTest

Methods

toJSON :: Key TestNull -> Value

toEncoding :: Key TestNull -> Encoding

toJSONList :: [Key TestNull] -> Value

toEncodingList :: [Key TestNull] -> Encoding

FromJSON (Key TestNull)

Defined in UniqueTest

Methods

parseJSON :: Value -> Parser (Key TestNull)

parseJSONList :: Value -> Parser [Key TestNull]

ToHttpApiData (Key TestNull)

Defined in UniqueTest

Methods

toUrlPiece :: Key TestNull -> Text

toEncodedUrlPiece :: Key TestNull -> Builder

toHeader :: Key TestNull -> ByteString

toQueryParam :: Key TestNull -> Text

FromHttpApiData (Key TestNull)

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)

Defined in UniqueTest

Methods

fromPathPiece :: Text -> Maybe (Key TestNull)

toPathPiece :: Key TestNull -> Text

PersistFieldSql (Key TestNull)

Defined in UniqueTest

Methods

sqlType :: Proxy (Key TestNull) -> SqlType

PersistField (Key TestNull)

Defined in UniqueTest

Methods

toPersistValue :: Key TestNull -> PersistValue

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

data Unique TestNull

Defined in UniqueTest

data Unique TestNull = UniqueTestNull Int (Maybe Int)

data EntityField TestNull typ

Defined in UniqueTest

data EntityField TestNull typ

• = typ ~ TestNullId => TestNullId
• | typ ~ Int => TestNullFieldA
• | typ ~ Maybe Int => TestNullFieldB

newtype Key TestNull

Defined in UniqueTest

newtype Key TestNull = TestNullKey {

• unTestNullKey :: BackendKey SqlBackend

}

type PersistEntityBackend TestNull

Defined in UniqueTest

type PersistEntityBackend TestNull = SqlBackend

type TestNullId = Key TestNull

data TestCheckmark

Constructors

TestCheckmark

Fields

• testCheckmarkName :: !Text
• testCheckmarkValue :: !Text
• testCheckmarkActive :: !Checkmark

Instances

Eq TestCheckmark

Defined in UniqueTest

Methods

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

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

Show TestCheckmark

Defined in UniqueTest

Methods

showsPrec :: Int -> TestCheckmark -> ShowS

show :: TestCheckmark -> String

showList :: [TestCheckmark] -> ShowS

PersistFieldSql TestCheckmark

Defined in UniqueTest

Methods

sqlType :: Proxy TestCheckmark -> SqlType

OnlyOneUniqueKey TestCheckmark

Defined in UniqueTest

Methods

onlyUniqueP :: TestCheckmark -> Unique TestCheckmark

AtLeastOneUniqueKey TestCheckmark

Defined in UniqueTest

Methods

requireUniquesP :: TestCheckmark -> NonEmpty (Unique TestCheckmark)

PersistEntity TestCheckmark

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

Defined in UniqueTest

PersistField TestCheckmark

Defined in UniqueTest

Methods

toPersistValue :: TestCheckmark -> PersistValue

fromPersistValue :: PersistValue -> Either Text TestCheckmark

ToBackendKey SqlBackend TestCheckmark

Defined in UniqueTest

Methods

toBackendKey :: Key TestCheckmark -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key TestCheckmark

SymbolToField "active" TestCheckmark Checkmark

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Checkmark

SymbolToField "name" TestCheckmark Text

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Text

SymbolToField "value" TestCheckmark Text

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark Text

SymbolToField "id" TestCheckmark (Key TestCheckmark)

Defined in UniqueTest

Methods

symbolToField :: EntityField TestCheckmark (Key TestCheckmark)

Eq (Key TestCheckmark)

Defined in UniqueTest

Methods

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

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

Ord (Key TestCheckmark)

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)

Defined in UniqueTest

Methods

readsPrec :: Int -> ReadS (Key TestCheckmark)

readList :: ReadS [Key TestCheckmark]

readPrec :: ReadPrec (Key TestCheckmark)

readListPrec :: ReadPrec [Key TestCheckmark]

Show (Key TestCheckmark)

Defined in UniqueTest

Methods

showsPrec :: Int -> Key TestCheckmark -> ShowS

show :: Key TestCheckmark -> String

showList :: [Key TestCheckmark] -> ShowS

ToJSON (Key TestCheckmark)

Defined in UniqueTest

Methods

toJSON :: Key TestCheckmark -> Value

toEncoding :: Key TestCheckmark -> Encoding

toJSONList :: [Key TestCheckmark] -> Value

toEncodingList :: [Key TestCheckmark] -> Encoding

FromJSON (Key TestCheckmark)

Defined in UniqueTest

Methods

parseJSON :: Value -> Parser (Key TestCheckmark)

parseJSONList :: Value -> Parser [Key TestCheckmark]

ToHttpApiData (Key TestCheckmark)

Defined in UniqueTest

Methods

toUrlPiece :: Key TestCheckmark -> Text

toEncodedUrlPiece :: Key TestCheckmark -> Builder

toHeader :: Key TestCheckmark -> ByteString

toQueryParam :: Key TestCheckmark -> Text

FromHttpApiData (Key TestCheckmark)

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)

Defined in UniqueTest

Methods

fromPathPiece :: Text -> Maybe (Key TestCheckmark)

toPathPiece :: Key TestCheckmark -> Text

PersistFieldSql (Key TestCheckmark)

Defined in UniqueTest

Methods

sqlType :: Proxy (Key TestCheckmark) -> SqlType

PersistField (Key TestCheckmark)

Defined in UniqueTest

Methods

toPersistValue :: Key TestCheckmark -> PersistValue

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

data Unique TestCheckmark

Defined in UniqueTest

data Unique TestCheckmark = UniqueTestCheckmark Text Checkmark

data EntityField TestCheckmark typ

Defined in UniqueTest

data EntityField TestCheckmark typ

• = typ ~ TestCheckmarkId => TestCheckmarkId
• | typ ~ Text => TestCheckmarkName
• | typ ~ Text => TestCheckmarkValue
• | typ ~ Checkmark => TestCheckmarkActive

newtype Key TestCheckmark

Defined in UniqueTest

newtype Key TestCheckmark = TestCheckmarkKey {

• unTestCheckmarkKey :: BackendKey SqlBackend

}

type PersistEntityBackend TestCheckmark

Defined in UniqueTest

type PersistEntityBackend TestCheckmark = SqlBackend

type TestCheckmarkId = Key TestCheckmark

uniqueMigrate :: Migration

entityDefListForuniqueMigrate :: [EntityDef]

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

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