A query parameterized by some input type A
yielding values of type B
.
A query parameterized by some input type A
yielding values of type B
. We define here the
core operations that are needed. Additional operations are provided on Query0
which is the
residual query after applying an A
. This is the type constructed by the sql
interpolator.
An abstract query closed over its input arguments and yielding values of type B
, without a
specified disposition.
An abstract query closed over its input arguments and yielding values of type B
, without a
specified disposition. Methods provided on Query0
allow the query to be interpreted as a
stream or program in CollectionIO
.
Module defining queries parameterized by input and output types.