Copyright(c) Fabricio Olivetti de Franca 2020
LicenseGPL-3
Maintainerfabricio.olivetti@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone

IT.Shape

Description

Support functions to measure imposed shape constraints into the image of the function and its derivatives.

Synopsis

Documentation

type ImgFun = [Interval Double] -> Expr -> [Double] -> Interval Double Source #

data Shape Source #

Constructors

Image (Double, Double) 
DiffImg Int (Double, Double) 
NonIncreasing Int 
NonDecreasing Int 
PartialNonIncreasing Int (Double, Double) 
PartialNonDecreasing Int (Double, Double) 
Inflection Int Int 
Convex Int Int 
Concave Int Int 

Instances

Instances details
Read Shape Source # 
Instance details

Defined in IT.Shape

Methods

readsPrec :: Int -> ReadS Shape

readList :: ReadS [Shape]

readPrec :: ReadPrec Shape

readListPrec :: ReadPrec [Shape]

Show Shape Source # 
Instance details

Defined in IT.Shape

Methods

showsPrec :: Int -> Shape -> ShowS

show :: Shape -> String

showList :: [Shape] -> ShowS

type Domains = Maybe [(Double, Double)] Source #

Constraint functions

unconstrained :: Constraint Source #

violationImg :: ImgFun -> [Interval Double] -> Interval Double -> Constraint Source #

violationNonIncreasing :: Int -> [Interval Double] -> Constraint Source #

violationNonDecreasing :: Int -> [Interval Double] -> Constraint Source #

violationInflection :: Int -> Int -> [Interval Double] -> Constraint Source #

violationConcave :: Int -> Int -> [Interval Double] -> Constraint Source #

violationConvex :: Int -> Int -> [Interval Double] -> Constraint Source #

constraintFrom :: [Constraint] -> Constraint Source #

fromShapes :: [Shape] -> Domains -> Constraint Source #