2020-05-01 15:44:45 +02:00
|
|
|
package de.pheerai.rcdbquery.dataMappings.page
|
|
|
|
|
|
2020-08-23 23:11:41 +02:00
|
|
|
import de.pheerai.rcdbquery.dsl.params.ParamsCollector
|
2020-05-01 15:44:45 +02:00
|
|
|
|
2020-05-07 15:01:29 +02:00
|
|
|
fun ParamsCollector.page(page: Long) = also {
|
|
|
|
|
this[Page.paramKey] =
|
2020-05-07 10:32:32 +02:00
|
|
|
Page(page)
|
2020-05-01 15:44:45 +02:00
|
|
|
}
|
