aern2-mfun-0.2.9.0: Multi-variate real function optimisation and proving
Safe HaskellNone
LanguageHaskell2010

AERN2.BoxFun.Box

Documentation

Orphan instances

IsBall Box Source # 
Instance details

Associated Types

type CentreType Box #

CanNeg Box Source # 
Instance details

Associated Types

type NegType Box #

Methods

negate :: Box -> NegType Box #