Idris2Doc
: HTTP.API.Client.Query
Index
Default
Alternative
Black & White
HTTP.API.Client.Query
(
source
)
Definitions
queryTypes
: (
fs
:
List
QField
)
->
TList
(
QueryTypes
fs
)
Totality
:
total
Visibility
:
export