ConvertibleExactly Integer DyadicInterval Source # | |
Instance detailsDefined in AERN2.Interval |
ConvertibleExactly Rational DyadicInterval Source # | |
Instance detailsDefined in AERN2.Interval |
ConvertibleExactly MPBall DyadicInterval Source # | |
Instance detailsDefined in AERN2.Interval |
ConvertibleExactly Dyadic DyadicInterval Source # | |
Instance detailsDefined in AERN2.Interval |
ConvertibleExactly DyadicInterval MPBall Source # | |
Instance detailsDefined in AERN2.Interval |
(Eq l, Eq r) => Eq (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
(Read l, Read r) => Read (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
(Show l, Show r) => Show (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
Generic (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
(Arbitrary l, Arbitrary r, HasOrderCertainlyAsymmetric l r) => Arbitrary (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
IsInterval (Interval e e) Source # | |
Instance detailsDefined in AERN2.Interval |
(HasOrderAsymmetric l Integer, OrderCompareType l Integer ~ Bool, HasOrderAsymmetric Integer r, OrderCompareType Integer r ~ Bool) => CanTestContains (Interval l r) Integer Source # | |
Instance detailsDefined in AERN2.Interval |
(HasOrderAsymmetric l Int, OrderCompareType l Int ~ Bool, HasOrderAsymmetric Int r, OrderCompareType Int r ~ Bool) => CanTestContains (Interval l r) Int Source # | |
Instance detailsDefined in AERN2.Interval |
(HasOrderAsymmetric l Rational, OrderCompareType l Rational ~ Bool, HasOrderAsymmetric Rational r, OrderCompareType Rational r ~ Bool) => CanTestContains (Interval l r) Rational Source # | |
Instance detailsDefined in AERN2.Interval |
(HasOrderAsymmetric l Dyadic, OrderCompareType l Dyadic ~ Bool, HasOrderAsymmetric Dyadic r, OrderCompareType Dyadic r ~ Bool) => CanTestContains (Interval l r) Dyadic Source # | |
Instance detailsDefined in AERN2.Interval |
(CanSubSameType e, CanAddSubMulBy t e, HasIntegerBounds t, CanSubThis t Integer, CanDivBy t Integer) => CanMapInside (Interval e e) t Source # | |
Instance detailsDefined in AERN2.Interval |
(CanBeCReal l, CanBeCReal r, HasOrderCertainly l r, Show l, Show r, Typeable l, Typeable r) => ConvertibleExactly (l, r) RealInterval Source # | |
Instance detailsDefined in AERN2.Interval |
(CanBeDyadic l, CanBeDyadic r, HasOrderCertainly l r, Show l, Show r, Typeable l, Typeable r) => ConvertibleExactly (l, r) DyadicInterval Source # | |
Instance detailsDefined in AERN2.Interval |
(HasOrderAsymmetric l l', OrderCompareType l l' ~ Bool, HasOrderAsymmetric r' r, OrderCompareType r' r ~ Bool) => CanTestContains (Interval l r) (Interval l' r') Source # | |
Instance detailsDefined in AERN2.Interval |
(CanMinMaxSameType l, CanMinMaxSameType r, HasOrderCertainly l r) => CanIntersectAsymmetric (Interval l r) (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
(HasEqAsymmetric l1 l2, HasEqAsymmetric r1 r2, EqCompareType l1 l2 ~ EqCompareType r1 r2, CanAndOrSameType (EqCompareType l1 l2)) => HasEqAsymmetric (Interval l1 r1) (Interval l2 r2) Source # | |
Instance detailsDefined in AERN2.Interval |
type Rep (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
type IntervalEndpoint (Interval e e) Source # | |
Instance detailsDefined in AERN2.Interval |
type IntersectionType (Interval l r) (Interval l r) Source # | |
Instance detailsDefined in AERN2.Interval |
type EqCompareType (Interval l1 r1) (Interval l2 r2) Source # | |
Instance detailsDefined in AERN2.Interval |