PrimaryTest

Documentation

data Foo

Constructors

Foo

Fields

• fooName :: !String

Instances

PersistFieldSql Foo

Defined in PrimaryTest

Methods

sqlType :: Proxy Foo -> SqlType

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

Defined in PrimaryTest

Methods

onlyUniqueP :: Foo -> Unique Foo

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

Defined in PrimaryTest

Methods

requireUniquesP :: Foo -> NonEmpty (Unique Foo)

PersistEntity Foo

Defined in PrimaryTest

Associated Types

type PersistEntityBackend Foo :: Type

data Key Foo :: Type

data EntityField Foo a :: Type

data Unique Foo :: Type

Methods

keyToValues :: Key Foo -> [PersistValue]

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

persistIdField :: EntityField Foo (Key Foo)

entityDef :: Monad m => m Foo -> EntityDef

persistFieldDef :: EntityField Foo typ -> FieldDef

toPersistFields :: Foo -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Foo

persistUniqueKeys :: Foo -> [Unique Foo]

persistUniqueToFieldNames :: Unique Foo -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Foo -> [PersistValue]

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

PersistField Foo

Defined in PrimaryTest

Methods

toPersistValue :: Foo -> PersistValue

fromPersistValue :: PersistValue -> Either Text Foo

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

data EntityField Foo typ

Defined in PrimaryTest

data EntityField Foo typ where

• FooId :: forall typ. typ ~ FooId => EntityField Foo typ
• FooName :: forall typ. typ ~ String => EntityField Foo typ

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 :: !(Key Foo)

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 :: Type

data Key Bar :: Type

data EntityField Bar a :: Type

data Unique Bar :: Type

Methods

keyToValues :: Key Bar -> [PersistValue]

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

persistIdField :: EntityField Bar (Key Bar)

entityDef :: Monad m => m Bar -> EntityDef

persistFieldDef :: EntityField Bar typ -> FieldDef

toPersistFields :: Bar -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Bar

persistUniqueKeys :: Bar -> [Unique Bar]

persistUniqueToFieldNames :: Unique Bar -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Bar -> [PersistValue]

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

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

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 where

• BarId :: forall typ. typ ~ Key Bar => EntityField Bar typ
• BarQuux :: forall typ. typ ~ Key Foo => EntityField Bar typ

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

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

Defined in PrimaryTest

Methods

onlyUniqueP :: Trees -> Unique Trees

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

Defined in PrimaryTest

Methods

requireUniquesP :: Trees -> NonEmpty (Unique Trees)

PersistEntity Trees

Defined in PrimaryTest

Associated Types

type PersistEntityBackend Trees :: Type

data Key Trees :: Type

data EntityField Trees a :: Type

data Unique Trees :: Type

Methods

keyToValues :: Key Trees -> [PersistValue]

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

persistIdField :: EntityField Trees (Key Trees)

entityDef :: Monad m => m Trees -> EntityDef

persistFieldDef :: EntityField Trees typ -> FieldDef

toPersistFields :: Trees -> [SomePersistField]

fromPersistValues :: [PersistValue] -> Either Text Trees

persistUniqueKeys :: Trees -> [Unique Trees]

persistUniqueToFieldNames :: Unique Trees -> [(HaskellName, DBName)]

persistUniqueToValues :: Unique Trees -> [PersistValue]

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

PersistField Trees

Defined in PrimaryTest

Methods

toPersistValue :: Trees -> PersistValue

fromPersistValue :: PersistValue -> Either Text Trees

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

data EntityField Trees typ

Defined in PrimaryTest

data EntityField Trees typ where

• TreesId :: forall typ. typ ~ TreesId => EntityField Trees typ
• TreesName :: forall typ. typ ~ String => EntityField Trees typ
• TreesParent :: forall typ. typ ~ Maybe String => EntityField Trees typ

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

migration :: Migration

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