Internals

Various internals

Intervals

_maybe_segment(a, b)

Helper function for forming a segment when possible. Internal, not exported.

source

Univariate transformations

abstract type RRStability

Trait that is useful for domain and image calculations. See RRStable.

source
struct RRStable <: ContinuousTransformations.RRStability

Trait that indicates that a univariate transformation

  1. maps $ℝ$ to $ℝ$,

  2. supports mapping intervals, and

  3. maps subtypes of AbstractInterval to the same type.

source
struct NotRRStable <: ContinuousTransformations.RRStability

Trait that indicates that a univariate transformation is not RRStable.

source
RR_stability(?)

Return either the trait RRStable and NotRRStable.

source
composed_domain(f_RR_stability, g_RR_stability, f, g)
source
composed_image(f_RR_stability, g_RR_stability, f, g)
source
default_transformation(dom, img)

Return a transformation from dom that can be mapped to img using affine_bridge.

source
affine_bridge(interval1, interval1)

Return an affine transformation between two intervals of the same type.

source

Printing

rhs_string(transformation, term)

Return the formula representing the hand side of the transformation, with term as the argument.

source

Utilities

@define_isapprox(T, fields)

Define an isapprox method, comparing the given fields in type T.

source
@define_singleton(name_and_supertype)
@define_singleton(name_and_supertype, constant)

Define a singleton type with the given name and supertype (specified as name <: supertype), and a constant which defaults to the name in uppercase.

source
_fma(x, y, z)

Placeholder for Base.fma until https://github.com/JuliaDiff/ReverseDiff.jl/issues/86 is fixed.

source