Partial -package:rio

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.

ConstraintKind synonym for marking partial functions

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.

Partial functions vocabulary This module provides common partial functions for operating on ShortText. The use of these functions is discouraged as they tend to be error-prone.

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:

1. extract on state would succeed and give a result.
2. Input stream position is reset to current position - count.
3. All input before the new position is dropped. The parser can never backtrack beyond this position.

Partialiality wrapper.

Code related to PSBT parsing and serialization.

Highlighting without disambiguation of overloaded constructors.

Often, various operations on values are only partially defined (in the case of Crucible expressions, consider loading a value from a pointer - this is only defined in the case that the pointer is valid and non-null). The PartExpr type allows for packaging values together with predicates that express their partiality: the value is only valid if the predicate is true.

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)