Data.Function.Differentiable

Everywhere differentiable functions

data Differentiable s d c

Region-wise defined diff'able functions

data RWDiffable s d c

Operators for piecewise definition

(?->)

(?>)

(?<)

(?|:)

backupRegions

Regions within a manifold

data Region s m

smoothIndicator

Evaluation of differentiable functions

discretisePathIn

discretisePathSegs

continuityRanges

regionOfContinuityAround

analyseLocalBehaviour

intervalImages