Documentation

Wrapping a quote type with this causes a to be used irrespective of whether it is an unwrappable newtype.

Since: 1.0.0.0

This class converts a segment into a builder.

A builder is an auxiliary data type that may improve performance when concatenating segments, like Builder. The default instance uses no builder and is implemented as id.

Since: 1.0.0.0

This class generalizes IsString for use in ExonSegment.

When a plain text segment (not interpolated) is processed, it is converted to the result type, which usually happens via fromString.

For the type of showsPrec (String -> String), there is no instance of IsString, so this class provides an instance that works around that by calling showString.

Since: 1.0.0.0

This class allows manipulation of interpolated expressions before they are processed, for example to replace empty strings with Empty for the purpose of collapsing multiple whitespaces.

The default instance does nothing.

This class converts a Segment to a builder.

The default implementation performs the following conversions for the different segment variants:

• Segment.String and Segment.Whitespace are plain Strings parsed literally from the quasiquote. They are converted to the builder type by fromString (handled by ExonString).
• Segment.Whitespace is ignored when the quoter intron was used (default behaviour of ExonString).
• Segment.Expression contains a value of the unwrapped type and is converted to a builder using the function in the first argument, which is usually exonBuilder, supplied by exonBuild.

Since: 1.0.0.0

This class handles concatenation of segments, which might be a builder or the result type.

The default instance simply uses (<>), and there is only one special instance for String -> String, the type used by showsPrec.

Since: 1.0.0.0

This class implements the Segment concatenation logic.

1. Each Segment is converted to the builder type by ExonSegment using exonBuilder to construct the builder from expressions.
2. The segments are folded over ExonAppend.
3. The result is converted from the builder type to the original type by ExonBuilder.

Each step may be overridden individually by writing overlapping instances for the involved classes.

Since: 1.0.0.0

This class is the main entry point for Exon.

The default instance unwraps all newtypes that are Generic and passes the innermost type to ExonBuild.

The original type is also used as a parameter to ExonBuild, so customizations can be based on it.

Call exonProcess, but unwrap the arguments and rewrap the result using the supplied functions.

Since: 1.0.0.0