A Path is a datastructure that represents a sequence of alternating objects, arounds and betweens, starting and ending with the same type. An example would be a path in a graph, starting and ending with a node with edges in-between.

Returns the number of arounds in the path.

Returns the first around in the path.

Replaces the first around in the path.

Maps a function over every around in the path.

Maps a function over every around in the path together with its index.

Maps a function over every between and its adjacent arounds in the path.

Reverses the path.

Returns the list of arounds in the path.

Returns the list of betweens in the path).

A container type that augements the type a with symbols for beginning (Start, ⋊) and end (Stop, ⋉). Every other value is wrapped in an Inner constructor.

From a list of StartStops returns only the elements that are not :⋊ or :⋉, unwrapped to their original type.

Returns the content of an Inner, or Nothing.

Returns the content of an Inner, or a Left with an error message.

Returns True iff the argument is an Inner.

Returns True iff the argument is Start.

Returns True iff the argument is Stop.

Turns a pair within a StartStop into a pair of StartStops

A flag that indicates where a split has been performed, on the left transition, the right transition, or the only transition

An evaluator for unspreads. Takes the two child slices and the middle transition. Returns the parent slice and the spread operation, if possible.

An evaluator returning the possible left parent edges of an unspread. The first argument is a pair of left child transition and left child slice. The second argument is the parent slice.

An evaluator returning the possible right parent edges of an unspread. The first argument is a pair of right child slice and right child transition. The second argument is the parent slice.

An evaluator for unsplits. Returns possible unsplits of a given pair of transitions.

A combined evaluator for unsplits, unspreads, and unfreezes. Additionally, contains a function for mapping terminal slices to derivation slices.

A flag indicating whether an operation is performed on the last transition.

Maps a function over all scores produced by the evaluator.

Combine two evaluators into a product evaluator. Each evaluation function returns the product of the two component evaluators' results.

A flag that is used to restrict spread operations to right branching.

An evaluator that doesn't parse the input but restricts spread operations to right branching. Legal combinations will just return a singleton () while illegal combinations return nothing. Combine this with any evaluator as a product (using productEval or rightBranchSpread) to make the evaluator right-branching.

Restrict any evaluator to right-branching spreads.

A flag for indicating whether a transition is the result of a split or not. This is used for restricting the order of splits and spreads.

An evaluator that doesn't parse the input but restricts the order of operations to always have splits before spreads on the left and right transitions at a spread. Legal combinations will just return a singleton () while illegal combinations return nothing. Combine this with any evaluator as a product (using productEval or splitFirst) to make the evaluator order-restricted.

Restrict any evaluator to split-before-spread order.

A combined datatype for all leftmost-derivation operations.

Generative operations on a single transition (split or freeze).

Generative operations on two transitions (split left, freeze left, split right, or spread)

Encodes an analysis of a piece, consisting of a "top" (the starting point of the derivation, i.e., the smallest reduction in the analysis) and a derivation of the piece's surface from the top.

Use this type's FromJSON instance to load an analysis exported by the protovoice annotation tool.

Prints the steps and intermediate configurations of a derivation.

Create a leftmost evaluator from position-independent evaluation functions that just return spread, split, and freeze operations by wrapping those into the appropriate Leftmost constructors.

A wrapper around leftmost derivations that tracks information about the derivation state in the type. Number of open transitions: openTrans. Whether a right split has been performed at the current point: afterRightSplit.

A type-level wrapper for partial derivation info. Encodes the number of open transitions and whether the last operation was a right split.

An "indexed" version of a writer monad, i.e. one where the monad type between two steps can change. This can be used for tracking the number of open transitions in a derivation on the type level while still providing an monadic interface for constructing a derivation.

tell for IndexedWriter.

The type of a monadic derivation action that modifies the derivation state (number of open transitions, after right split).

Turn a monadically constructed derivation into a proper left-most derivation. This function assumes the derivation to start with a single transition.

Turn a monadically constructed partial derivation into a left-most derivation. This function does not restrict the number of transitions in the starting configuration.

Turn a split operation into a monadic (left or single) split action.

Turn a freeze operation into a monadic (left or single) freeze action.

Turn a split operation into a monadic right-split action.

Turn a spread operation into a monadic spread action.

The derivations semiring. Similar to a free semiring, encodes sequences, alternatives, and neutral values directly. However, semiring equivalences are not idendified by default.

Map the Derivations semiring to another semiring.

Flatten the prefix-tree structure of Derivations into a simple set of derivations.

Flatten the prefix-tree structure of Derivations into a simple list of (potentially redundant) derivations.

Obtain the first derivation from a Derivations tree.

The global trace level. Only trace messages >= this level are shown.

A helper for conditionally tracing a message.

Convert special characters to TeX commands.

Convert special characters to TeX commands (using Text)