Partial -is:module
The decoder has consumed the available input and needs more to
continue. Provide
Just if more input is available and
Nothing otherwise, and you will get a new
Decoder.
Supply this continuation with more input so that the parser can
resume. To indicate that no more input is available, pass an empty
string to the continuation.
Note: if you get a
Partial result, do not call its
continuation more than once.
Supply this continuation with more input so that the parser can
resume. To indicate that no more input is available, use an
empty string.
A constraint synonym which denotes that the function is partial, and
will (on GHC 8.* and up) produce a stack trace on failure. You may
mark your own non-total functions as Partial, if necessary, and this
will ensure that they produce useful stack traces.
A constraint which documents that a function is partial, and on GHC
8.0 and above produces a stack trace on failure. For example:
myHead :: Partial => [a] -> a
myHead [] = error "bad"
myHead (x:xs) = x
When using
Partial with GHC 7.8 or below you need to enable the
language feature
ConstraintKinds, e.g.
{-# LANGUAGE
ConstraintKinds #-} at the top of the file.
The decoder has consumed the available input and needs more to
continue. Provide
Just if more input is available and
Nothing otherwise, and you will get a new
IDecode.
whether to produce a full document or partial
Get partial results from a mongos if some shards are down,
instead of throwing an error.
Partial count state. The following hold on Partial result:
- extract on state would succeed and give a
result.
- Input stream position is reset to current position -
count.
- All input before the new position is dropped. The parser can never
backtrack beyond this position.
Highlighting without disambiguation of overloaded constructors.
A partial value represents a value that may or may not be valid.
The
_partialPred field represents a predicate (optionally with
additional provenance information) embodying the value's partiality.
Partial with indentation level (
Nothing means it was inlined)
Represents partial functions that may eventually return a value
(
Left). NB: This is a newtype so we can create the usual
instances.
Partial with indentation level (
Nothing means it was inlined)