Copyright	(c) Justin Le 2019
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Numeric.EMD.Internal.Spline

Description

Internal splining functionality exported for testing purposes only. This will likely go away in future versions, so please do not depend on this!

Synopsis

data Spline a
data SplineEnd a
- = SENotAKnot
- | SENatural
- | SEClamped a a
makeSpline :: (Ord a, Fractional a) => SplineEnd a -> Map a a -> Maybe (Spline a)
sampleSpline :: (Fractional a, Ord a) => Spline a -> a -> a

Documentation

data Spline a Source #

1D Cubic spline

data SplineEnd a Source #

End condition for spline

Constructors

SENotAKnot

"Not-a-knot" condition: third derivatives are continuous at endpoints. Default for matlab spline.

SENatural

"Natural" condition: curve becomes a straight line at endpoints.

SEClamped a a

"Clamped" condition: Slope of curves at endpoints are explicitly given.

Since: 0.1.2.0

Instances

Instances details

Generic (SplineEnd a) Source #

Instance details

Defined in Numeric.EMD.Internal.Spline

Associated Types

type Rep (SplineEnd a)

Instance details

Defined in Numeric.EMD.Internal.Spline

type Rep (SplineEnd a) = D1 ('MetaData "SplineEnd" "Numeric.EMD.Internal.Spline" "emd-0.2.0.0-F9l493bwzP9Hbc3ei27y7V" 'False) (C1 ('MetaCons "SENotAKnot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SENatural" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SEClamped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

Methods

from :: SplineEnd a -> Rep (SplineEnd a) x #

to :: Rep (SplineEnd a) x -> SplineEnd a #

Show a => Show (SplineEnd a) Source #

Instance details

Defined in Numeric.EMD.Internal.Spline

Methods

showsPrec :: Int -> SplineEnd a -> ShowS #

show :: SplineEnd a -> String #

showList :: [SplineEnd a] -> ShowS #

Binary a => Binary (SplineEnd a) Source #

Since: 0.1.3.0

Instance details

Defined in Numeric.EMD.Internal.Spline

Methods

put :: SplineEnd a -> Put #

get :: Get (SplineEnd a) #

putList :: [SplineEnd a] -> Put #

Eq a => Eq (SplineEnd a) Source #

Instance details

Defined in Numeric.EMD.Internal.Spline

Methods

(==) :: SplineEnd a -> SplineEnd a -> Bool #

(/=) :: SplineEnd a -> SplineEnd a -> Bool #

Ord a => Ord (SplineEnd a) Source #

Instance details

Defined in Numeric.EMD.Internal.Spline

Methods

compare :: SplineEnd a -> SplineEnd a -> Ordering #

(<) :: SplineEnd a -> SplineEnd a -> Bool #

(<=) :: SplineEnd a -> SplineEnd a -> Bool #

(>) :: SplineEnd a -> SplineEnd a -> Bool #

(>=) :: SplineEnd a -> SplineEnd a -> Bool #

max :: SplineEnd a -> SplineEnd a -> SplineEnd a #

min :: SplineEnd a -> SplineEnd a -> SplineEnd a #

type Rep (SplineEnd a) Source #

Instance details

Defined in Numeric.EMD.Internal.Spline

type Rep (SplineEnd a) = D1 ('MetaData "SplineEnd" "Numeric.EMD.Internal.Spline" "emd-0.2.0.0-F9l493bwzP9Hbc3ei27y7V" 'False) (C1 ('MetaCons "SENotAKnot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SENatural" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SEClamped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

makeSpline Source #

Arguments

:: (Ord a, Fractional a)
=> SplineEnd a
-> Map a a	(x, y)
-> Maybe (Spline a)

Build a cubic spline based on control points using given end conditions (not-a-knot, or natural)

https://en.wikipedia.org/wiki/Spline_interpolation

sampleSpline :: (Fractional a, Ord a) => Spline a -> a -> a Source #

Sample a spline at a given point.