bind -package:network
Monadic indexed bind for holey monoids.
Binds parameters to a prepared statement. Once
nextRow returns
Nothing, the statement must be reset with the
reset
function before it can be executed again by calling
nextRow.
bind :: forall m a b c . (Bind m, CoArbitrary a, CoArbitrary b, Arbitrary (m a), EqProp (m a), Show (m a), Arbitrary (m b), Arbitrary (m c), EqProp (m c), Arbitrary (m (m (m a))), Show (m (m (m a)))) => m (a, b, c) -> TestBatch Properties to check that the
bind m satisfies the bind
properties
Implementation of
>>= without the
Empty constraint
that is needed for
return.
O(n). The monad bind operation, (>>=), for multisets.
O(n). The monad bind operation, (>>=), for multisets.
Bind the socket to the given address (cf.
zmq_bind).
Convenience function for binding values to all parameters. This will
fail if the list has the wrong number of parameters.
Bind the memory area associated with the device pointer to a texture
reference given by the named symbol. Any previously bound references
are unbound.
bind n f provides f with a fresh variable, which can
be used in any extended context.
Returns an Abs which binds the extra variable.