PrimaryTest

Documentation

data Foo

Constructors

Foo

Fields

• fooName :: !String

Instances

PersistFieldSql Foo

Defined in PrimaryTest

Methods

sqlType :: Proxy Foo -> SqlType

OnlyOneUniqueKey Foo

Defined in PrimaryTest

Methods

onlyUniqueP :: Foo -> Unique Foo

AtLeastOneUniqueKey Foo

Defined in PrimaryTest

Methods

requireUniquesP :: Foo -> NonEmpty (Unique Foo)

PersistEntity Foo

Defined in PrimaryTest

Associated Types

type PersistEntityBackend Foo

data Key Foo

data EntityField Foo :: Type -> Type

data Unique Foo

Methods

keyToValues :: Key Foo -> [PersistValue]

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

persistIdField :: EntityField Foo (Key Foo)

entityDef :: proxy Foo -> EntityDef

persistFieldDef :: EntityField Foo typ -> FieldDef

toPersistFields :: Foo -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text Foo

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

persistUniqueKeys :: Foo -> [Unique Foo]

persistUniqueToFieldNames :: Unique Foo -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique Foo -> [PersistValue]

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

keyFromRecordM :: Maybe (Foo -> Key Foo)

SafeToInsert Foo

Defined in PrimaryTest

PersistField Foo

Defined in PrimaryTest

Methods

toPersistValue :: Foo -> PersistValue

fromPersistValue :: PersistValue -> Either Text Foo

SymbolToField "name" Foo String

Defined in PrimaryTest

Methods

symbolToField :: EntityField Foo String

SymbolToField "quux" Bar FooId

Defined in PrimaryTest

Methods

symbolToField :: EntityField Bar FooId

Eq (Key Foo)

Defined in PrimaryTest

Methods

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

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

Ord (Key Foo)

Defined in PrimaryTest

Methods

compare :: Key Foo -> Key Foo -> Ordering

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

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

(>) :: Key Foo -> Key Foo -> Bool

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

max :: Key Foo -> Key Foo -> Key Foo

min :: Key Foo -> Key Foo -> Key Foo

Read (Key Foo)

Defined in PrimaryTest

Methods

readsPrec :: Int -> ReadS (Key Foo)

readList :: ReadS [Key Foo]

readPrec :: ReadPrec (Key Foo)

readListPrec :: ReadPrec [Key Foo]

Show (Key Foo)

Defined in PrimaryTest

Methods

showsPrec :: Int -> Key Foo -> ShowS

show :: Key Foo -> String

showList :: [Key Foo] -> ShowS

ToJSON (Key Foo)

Defined in PrimaryTest

Methods

toJSON :: Key Foo -> Value

toEncoding :: Key Foo -> Encoding

toJSONList :: [Key Foo] -> Value

toEncodingList :: [Key Foo] -> Encoding

FromJSON (Key Foo)

Defined in PrimaryTest

Methods

parseJSON :: Value -> Parser (Key Foo)

parseJSONList :: Value -> Parser [Key Foo]

ToHttpApiData (Key Foo)

Defined in PrimaryTest

Methods

toUrlPiece :: Key Foo -> Text

toEncodedUrlPiece :: Key Foo -> Builder

toHeader :: Key Foo -> ByteString

toQueryParam :: Key Foo -> Text

FromHttpApiData (Key Foo)

Defined in PrimaryTest

Methods

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

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

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

PathPiece (Key Foo)

Defined in PrimaryTest

Methods

fromPathPiece :: Text -> Maybe (Key Foo)

toPathPiece :: Key Foo -> Text

PersistFieldSql (Key Foo)

Defined in PrimaryTest

Methods

sqlType :: Proxy (Key Foo) -> SqlType

PersistField (Key Foo)

Defined in PrimaryTest

Methods

toPersistValue :: Key Foo -> PersistValue

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

data Unique Foo

Defined in PrimaryTest

data Unique Foo = FooPrimaryKey String

data EntityField Foo typ

Defined in PrimaryTest

data EntityField Foo typ

• = typ ~ FooId => FooId
• | typ ~ String => FooName

newtype Key Foo

Defined in PrimaryTest

newtype Key Foo = FooKey {

• unFooKey :: String

}

type PersistEntityBackend Foo

Defined in PrimaryTest

type PersistEntityBackend Foo = SqlBackend

type FooId = Key Foo

data Bar

Constructors

Bar

Fields

• barQuux :: !FooId

Instances

PersistFieldSql Bar

Defined in PrimaryTest

Methods

sqlType :: Proxy Bar -> SqlType

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

Defined in PrimaryTest

Methods

onlyUniqueP :: Bar -> Unique Bar

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

Defined in PrimaryTest

Methods

requireUniquesP :: Bar -> NonEmpty (Unique Bar)

PersistEntity Bar

Defined in PrimaryTest

Associated Types

type PersistEntityBackend Bar

data Key Bar

data EntityField Bar :: Type -> Type

data Unique Bar

Methods

keyToValues :: Key Bar -> [PersistValue]

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

persistIdField :: EntityField Bar (Key Bar)

entityDef :: proxy Bar -> EntityDef

persistFieldDef :: EntityField Bar typ -> FieldDef

toPersistFields :: Bar -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text Bar

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

persistUniqueKeys :: Bar -> [Unique Bar]

persistUniqueToFieldNames :: Unique Bar -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique Bar -> [PersistValue]

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

keyFromRecordM :: Maybe (Bar -> Key Bar)

SafeToInsert Bar

Defined in PrimaryTest

PersistField Bar

Defined in PrimaryTest

Methods

toPersistValue :: Bar -> PersistValue

fromPersistValue :: PersistValue -> Either Text Bar

ToBackendKey SqlBackend Bar

Defined in PrimaryTest

Methods

toBackendKey :: Key Bar -> BackendKey SqlBackend

fromBackendKey :: BackendKey SqlBackend -> Key Bar

SymbolToField "quux" Bar FooId

Defined in PrimaryTest

Methods

symbolToField :: EntityField Bar FooId

SymbolToField "id" Bar (Key Bar)

Defined in PrimaryTest

Methods

symbolToField :: EntityField Bar (Key Bar)

Eq (Key Bar)

Defined in PrimaryTest

Methods

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

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

Ord (Key Bar)

Defined in PrimaryTest

Methods

compare :: Key Bar -> Key Bar -> Ordering

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

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

(>) :: Key Bar -> Key Bar -> Bool

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

max :: Key Bar -> Key Bar -> Key Bar

min :: Key Bar -> Key Bar -> Key Bar

Read (Key Bar)

Defined in PrimaryTest

Methods

readsPrec :: Int -> ReadS (Key Bar)

readList :: ReadS [Key Bar]

readPrec :: ReadPrec (Key Bar)

readListPrec :: ReadPrec [Key Bar]

Show (Key Bar)

Defined in PrimaryTest

Methods

showsPrec :: Int -> Key Bar -> ShowS

show :: Key Bar -> String

showList :: [Key Bar] -> ShowS

ToJSON (Key Bar)

Defined in PrimaryTest

Methods

toJSON :: Key Bar -> Value

toEncoding :: Key Bar -> Encoding

toJSONList :: [Key Bar] -> Value

toEncodingList :: [Key Bar] -> Encoding

FromJSON (Key Bar)

Defined in PrimaryTest

Methods

parseJSON :: Value -> Parser (Key Bar)

parseJSONList :: Value -> Parser [Key Bar]

ToHttpApiData (Key Bar)

Defined in PrimaryTest

Methods

toUrlPiece :: Key Bar -> Text

toEncodedUrlPiece :: Key Bar -> Builder

toHeader :: Key Bar -> ByteString

toQueryParam :: Key Bar -> Text

FromHttpApiData (Key Bar)

Defined in PrimaryTest

Methods

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

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

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

PathPiece (Key Bar)

Defined in PrimaryTest

Methods

fromPathPiece :: Text -> Maybe (Key Bar)

toPathPiece :: Key Bar -> Text

PersistFieldSql (Key Bar)

Defined in PrimaryTest

Methods

sqlType :: Proxy (Key Bar) -> SqlType

PersistField (Key Bar)

Defined in PrimaryTest

Methods

toPersistValue :: Key Bar -> PersistValue

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

data Unique Bar

Defined in PrimaryTest

data Unique Bar

data EntityField Bar typ

Defined in PrimaryTest

data EntityField Bar typ

• = typ ~ BarId => BarId
• | typ ~ FooId => BarQuux

newtype Key Bar

Defined in PrimaryTest

newtype Key Bar = BarKey {

• unBarKey :: BackendKey SqlBackend

}

type PersistEntityBackend Bar

Defined in PrimaryTest

type PersistEntityBackend Bar = SqlBackend

type BarId = Key Bar

data Trees

Constructors

Trees

Fields

• treesName :: !String
• treesParent :: !(Maybe String)

Instances

PersistFieldSql Trees

Defined in PrimaryTest

Methods

sqlType :: Proxy Trees -> SqlType

OnlyOneUniqueKey Trees

Defined in PrimaryTest

Methods

onlyUniqueP :: Trees -> Unique Trees

AtLeastOneUniqueKey Trees

Defined in PrimaryTest

Methods

requireUniquesP :: Trees -> NonEmpty (Unique Trees)

PersistEntity Trees

Defined in PrimaryTest

Associated Types

type PersistEntityBackend Trees

data Key Trees

data EntityField Trees :: Type -> Type

data Unique Trees

Methods

keyToValues :: Key Trees -> [PersistValue]

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

persistIdField :: EntityField Trees (Key Trees)

entityDef :: proxy Trees -> EntityDef

persistFieldDef :: EntityField Trees typ -> FieldDef

toPersistFields :: Trees -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text Trees

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

persistUniqueKeys :: Trees -> [Unique Trees]

persistUniqueToFieldNames :: Unique Trees -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique Trees -> [PersistValue]

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

keyFromRecordM :: Maybe (Trees -> Key Trees)

SafeToInsert Trees

Defined in PrimaryTest

PersistField Trees

Defined in PrimaryTest

Methods

toPersistValue :: Trees -> PersistValue

fromPersistValue :: PersistValue -> Either Text Trees

SymbolToField "name" Trees String

Defined in PrimaryTest

Methods

symbolToField :: EntityField Trees String

SymbolToField "parent" Trees (Maybe String)

Defined in PrimaryTest

Methods

symbolToField :: EntityField Trees (Maybe String)

Eq (Key Trees)

Defined in PrimaryTest

Methods

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

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

Ord (Key Trees)

Defined in PrimaryTest

Methods

compare :: Key Trees -> Key Trees -> Ordering

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

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

(>) :: Key Trees -> Key Trees -> Bool

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

max :: Key Trees -> Key Trees -> Key Trees

min :: Key Trees -> Key Trees -> Key Trees

Read (Key Trees)

Defined in PrimaryTest

Methods

readsPrec :: Int -> ReadS (Key Trees)

readList :: ReadS [Key Trees]

readPrec :: ReadPrec (Key Trees)

readListPrec :: ReadPrec [Key Trees]

Show (Key Trees)

Defined in PrimaryTest

Methods

showsPrec :: Int -> Key Trees -> ShowS

show :: Key Trees -> String

showList :: [Key Trees] -> ShowS

ToJSON (Key Trees)

Defined in PrimaryTest

Methods

toJSON :: Key Trees -> Value

toEncoding :: Key Trees -> Encoding

toJSONList :: [Key Trees] -> Value

toEncodingList :: [Key Trees] -> Encoding

FromJSON (Key Trees)

Defined in PrimaryTest

Methods

parseJSON :: Value -> Parser (Key Trees)

parseJSONList :: Value -> Parser [Key Trees]

ToHttpApiData (Key Trees)

Defined in PrimaryTest

Methods

toUrlPiece :: Key Trees -> Text

toEncodedUrlPiece :: Key Trees -> Builder

toHeader :: Key Trees -> ByteString

toQueryParam :: Key Trees -> Text

FromHttpApiData (Key Trees)

Defined in PrimaryTest

Methods

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

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

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

PathPiece (Key Trees)

Defined in PrimaryTest

Methods

fromPathPiece :: Text -> Maybe (Key Trees)

toPathPiece :: Key Trees -> Text

PersistFieldSql (Key Trees)

Defined in PrimaryTest

Methods

sqlType :: Proxy (Key Trees) -> SqlType

PersistField (Key Trees)

Defined in PrimaryTest

Methods

toPersistValue :: Key Trees -> PersistValue

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

data Unique Trees

Defined in PrimaryTest

data Unique Trees = TreesPrimaryKey String

data EntityField Trees typ

Defined in PrimaryTest

data EntityField Trees typ

• = typ ~ TreesId => TreesId
• | typ ~ String => TreesName
• | typ ~ Maybe String => TreesParent

newtype Key Trees

Defined in PrimaryTest

newtype Key Trees = TreesKey {

• unTreesKey :: String

}

type PersistEntityBackend Trees

Defined in PrimaryTest

type PersistEntityBackend Trees = SqlBackend

type TreesId = Key Trees

data CompositePrimary

Constructors

CompositePrimary

Fields

• compositePrimaryName :: !String
• compositePrimaryAge :: !Int

Instances

PersistFieldSql CompositePrimary

Defined in PrimaryTest

Methods

sqlType :: Proxy CompositePrimary -> SqlType

OnlyOneUniqueKey CompositePrimary

Defined in PrimaryTest

Methods

onlyUniqueP :: CompositePrimary -> Unique CompositePrimary

AtLeastOneUniqueKey CompositePrimary

Defined in PrimaryTest

Methods

requireUniquesP :: CompositePrimary -> NonEmpty (Unique CompositePrimary)

PersistEntity CompositePrimary

Defined in PrimaryTest

Associated Types

type PersistEntityBackend CompositePrimary

data Key CompositePrimary

data EntityField CompositePrimary :: Type -> Type

data Unique CompositePrimary

Methods

keyToValues :: Key CompositePrimary -> [PersistValue]

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

persistIdField :: EntityField CompositePrimary (Key CompositePrimary)

entityDef :: proxy CompositePrimary -> EntityDef

persistFieldDef :: EntityField CompositePrimary typ -> FieldDef

toPersistFields :: CompositePrimary -> [PersistValue]

fromPersistValues :: [PersistValue] -> Either Text CompositePrimary

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

persistUniqueKeys :: CompositePrimary -> [Unique CompositePrimary]

persistUniqueToFieldNames :: Unique CompositePrimary -> NonEmpty (FieldNameHS, FieldNameDB)

persistUniqueToValues :: Unique CompositePrimary -> [PersistValue]

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

keyFromRecordM :: Maybe (CompositePrimary -> Key CompositePrimary)

SafeToInsert CompositePrimary

Defined in PrimaryTest

PersistField CompositePrimary

Defined in PrimaryTest

Methods

toPersistValue :: CompositePrimary -> PersistValue

fromPersistValue :: PersistValue -> Either Text CompositePrimary

SymbolToField "age" CompositePrimary Int

Defined in PrimaryTest

Methods

symbolToField :: EntityField CompositePrimary Int

SymbolToField "name" CompositePrimary String

Defined in PrimaryTest

Methods

symbolToField :: EntityField CompositePrimary String

Eq (Key CompositePrimary)

Defined in PrimaryTest

Methods

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

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

Ord (Key CompositePrimary)

Defined in PrimaryTest

Methods

compare :: Key CompositePrimary -> Key CompositePrimary -> Ordering

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

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

(>) :: Key CompositePrimary -> Key CompositePrimary -> Bool

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

max :: Key CompositePrimary -> Key CompositePrimary -> Key CompositePrimary

min :: Key CompositePrimary -> Key CompositePrimary -> Key CompositePrimary

Read (Key CompositePrimary)

Defined in PrimaryTest

Methods

readsPrec :: Int -> ReadS (Key CompositePrimary)

readList :: ReadS [Key CompositePrimary]

readPrec :: ReadPrec (Key CompositePrimary)

readListPrec :: ReadPrec [Key CompositePrimary]

Show (Key CompositePrimary)

Defined in PrimaryTest

Methods

showsPrec :: Int -> Key CompositePrimary -> ShowS

show :: Key CompositePrimary -> String

showList :: [Key CompositePrimary] -> ShowS

Generic (Key CompositePrimary)

Defined in PrimaryTest

Associated Types

type Rep (Key CompositePrimary) :: Type -> Type

Methods

from :: Key CompositePrimary -> Rep (Key CompositePrimary) x

to :: Rep (Key CompositePrimary) x -> Key CompositePrimary

ToJSON (Key CompositePrimary)

Defined in PrimaryTest

Methods

toJSON :: Key CompositePrimary -> Value

toEncoding :: Key CompositePrimary -> Encoding

toJSONList :: [Key CompositePrimary] -> Value

toEncodingList :: [Key CompositePrimary] -> Encoding

FromJSON (Key CompositePrimary)

Defined in PrimaryTest

Methods

parseJSON :: Value -> Parser (Key CompositePrimary)

parseJSONList :: Value -> Parser [Key CompositePrimary]

PersistFieldSql (Key CompositePrimary)

Defined in PrimaryTest

Methods

sqlType :: Proxy (Key CompositePrimary) -> SqlType

PersistField (Key CompositePrimary)

Defined in PrimaryTest

Methods

toPersistValue :: Key CompositePrimary -> PersistValue

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

data Unique CompositePrimary

Defined in PrimaryTest

data Unique CompositePrimary = CompositePrimaryPrimaryKey String Int

data EntityField CompositePrimary typ

Defined in PrimaryTest

data EntityField CompositePrimary typ

• = typ ~ CompositePrimaryId => CompositePrimaryId
• | typ ~ String => CompositePrimaryName
• | typ ~ Int => CompositePrimaryAge

data Key CompositePrimary

Defined in PrimaryTest

data Key CompositePrimary = CompositePrimaryKey {

• compositePrimaryKeyname :: String
• compositePrimaryKeyage :: Int

}

type PersistEntityBackend CompositePrimary

Defined in PrimaryTest

type PersistEntityBackend CompositePrimary = SqlBackend

type Rep (Key CompositePrimary)

Defined in PrimaryTest

type Rep (Key CompositePrimary) = D1 ('MetaData "Key" "PrimaryTest" "persistent-test-2.13.1.3-G3ofJ8U4hkw1gBJ8OWaIvE" 'False) (C1 ('MetaCons "CompositePrimaryKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "compositePrimaryKeyname") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "compositePrimaryKeyage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type CompositePrimaryId = Key CompositePrimary

migration :: Migration

entityDefListFormigration :: [EntityDef]

treesFkparent :: Trees -> Maybe (Key Trees)

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

specsWith :: (MonadIO m, MonadFail m) => RunDb SqlBackend m -> Spec