Eq Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
Show Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
Generic Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
CanTestCertainly Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
CanNeg Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
HasAccuracy Kleenean Source # | |
Instance detailsDefined in AERN2.MP.Accuracy |
CanAndOrAsymmetric Bool Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
CanAndOrAsymmetric Kleenean Bool Source # | |
Instance detailsDefined in AERN2.Kleenean |
CanAndOrAsymmetric Kleenean Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
(CanUnionSameType t, CanTakeCNErrors t) => HasIfThenElse Kleenean t Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
ConvertibleExactly Bool Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
ConvertibleExactly Kleenean Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
CanIntersectAsymmetric Kleenean Kleenean Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
CanIntersectAsymmetric (CN Kleenean) (CN b) => CanIntersectAsymmetric Kleenean (CN b) Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
CanIntersectAsymmetric (CN a) (CN Kleenean) => CanIntersectAsymmetric (CN a) Kleenean Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
type Rep Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
type NegType Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
type AndOrType Bool Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
type AndOrType Kleenean Bool Source # | |
Instance detailsDefined in AERN2.Kleenean |
type AndOrType Kleenean Kleenean Source # | |
Instance detailsDefined in AERN2.Kleenean |
type IfThenElseType Kleenean t Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
type IntersectionType Kleenean Kleenean Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
type IntersectionType Kleenean (CN b) Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |
type IntersectionType (CN a) Kleenean Source # | |
Instance detailsDefined in AERN2.MP.Enclosure |