Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

AERN2.Kleenean

Description

Documentation

data Kleenean Source #

Constructors

CertainTrue
CertainFalse
TrueOrFalse

Instances

Instances details

Eq Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods (==) :: Kleenean -> Kleenean -> Bool # (/=) :: Kleenean -> Kleenean -> Bool #
Show Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods showsPrec :: Int -> Kleenean -> ShowS # show :: Kleenean -> String # showList :: [Kleenean] -> ShowS #
Generic Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type Rep Kleenean :: Type -> Type # Methods from :: Kleenean -> Rep Kleenean x # to :: Rep Kleenean x -> Kleenean #
CanTestCertainly Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods isCertainlyTrue :: Kleenean -> Bool # isCertainlyFalse :: Kleenean -> Bool #
CanNeg Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type NegType Kleenean # Methods negate :: Kleenean -> NegType Kleenean #
HasAccuracy Kleenean Source #
Instance details Defined in AERN2.MP.Accuracy Methods getAccuracy :: Kleenean -> Accuracy Source # getFiniteAccuracy :: Kleenean -> Accuracy Source #
CanSelect Kleenean Source #
Instance details Defined in AERN2.Select Associated Types type SelectType Kleenean Source # Methods select :: Kleenean -> Kleenean -> SelectType Kleenean Source #
CanAndOrAsymmetric Bool Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type AndOrType Bool Kleenean # Methods and2 :: Bool -> Kleenean -> AndOrType Bool Kleenean # or2 :: Bool -> Kleenean -> AndOrType Bool Kleenean #
CanAndOrAsymmetric Kleenean Bool Source #
Instance details Defined in AERN2.Kleenean Associated Types type AndOrType Kleenean Bool # Methods and2 :: Kleenean -> Bool -> AndOrType Kleenean Bool # or2 :: Kleenean -> Bool -> AndOrType Kleenean Bool #
CanAndOrAsymmetric Kleenean Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type AndOrType Kleenean Kleenean # Methods and2 :: Kleenean -> Kleenean -> AndOrType Kleenean Kleenean # or2 :: Kleenean -> Kleenean -> AndOrType Kleenean Kleenean #
(CanUnionSameType t, CanTakeCNErrors t) => HasIfThenElse Kleenean t Source #
Instance details Defined in AERN2.MP.Enclosure Associated Types type IfThenElseType Kleenean t # Methods ifThenElse :: Kleenean -> t -> t -> IfThenElseType Kleenean t #
ConvertibleExactly Bool Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods safeConvertExactly :: Bool -> ConvertResult Kleenean #
ConvertibleExactly Kleenean Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods safeConvertExactly :: Kleenean -> ConvertResult Kleenean #
CanIntersectAsymmetric Kleenean Kleenean Source #
Instance details Defined in AERN2.MP.Enclosure Associated Types type IntersectionType Kleenean Kleenean Source # Methods intersect :: Kleenean -> Kleenean -> IntersectionType Kleenean Kleenean Source #
CanIntersectAsymmetric (CN Kleenean) (CN b) => CanIntersectAsymmetric Kleenean (CN b) Source #
Instance details Defined in AERN2.MP.Enclosure Associated Types type IntersectionType Kleenean (CN b) Source # Methods intersect :: Kleenean -> CN b -> IntersectionType Kleenean (CN b) Source #
CanSelect (CN Kleenean) Source #
Instance details Defined in AERN2.Select Associated Types type SelectType (CN Kleenean) Source # Methods select :: CN Kleenean -> CN Kleenean -> SelectType (CN Kleenean) Source #
CanIntersectAsymmetric (CN a) (CN Kleenean) => CanIntersectAsymmetric (CN a) Kleenean Source #
Instance details Defined in AERN2.MP.Enclosure Associated Types type IntersectionType (CN a) Kleenean Source # Methods intersect :: CN a -> Kleenean -> IntersectionType (CN a) Kleenean Source #
type Rep Kleenean Source #
Instance details Defined in AERN2.Kleenean type Rep Kleenean = D1 ('MetaData "Kleenean" "AERN2.Kleenean" "aern2-mp-0.2.8.0-7EdW5MADRpY8tQ5ayaur95" 'False) (C1 ('MetaCons "CertainTrue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CertainFalse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TrueOrFalse" 'PrefixI 'False) (U1 :: Type -> Type)))
type NegType Kleenean Source #
Instance details Defined in AERN2.Kleenean type NegType Kleenean = Kleenean
type SelectType Kleenean Source #
Instance details Defined in AERN2.Select type SelectType Kleenean = CN Bool
type AndOrType Bool Kleenean Source #
Instance details Defined in AERN2.Kleenean type AndOrType Bool Kleenean = Kleenean
type AndOrType Kleenean Bool Source #
Instance details Defined in AERN2.Kleenean type AndOrType Kleenean Bool = Kleenean
type AndOrType Kleenean Kleenean Source #
Instance details Defined in AERN2.Kleenean type AndOrType Kleenean Kleenean = Kleenean
type IfThenElseType Kleenean t Source #
Instance details Defined in AERN2.MP.Enclosure type IfThenElseType Kleenean t = t
type IntersectionType Kleenean Kleenean Source #
Instance details Defined in AERN2.MP.Enclosure type IntersectionType Kleenean Kleenean = CN Kleenean
type IntersectionType Kleenean (CN b) Source #
Instance details Defined in AERN2.MP.Enclosure type IntersectionType Kleenean (CN b) = IntersectionType (CN Kleenean) (CN b)
type SelectType (CN Kleenean) Source #
Instance details Defined in AERN2.Select type SelectType (CN Kleenean) = CN Bool
type IntersectionType (CN a) Kleenean Source #
Instance details Defined in AERN2.MP.Enclosure type IntersectionType (CN a) Kleenean = IntersectionType (CN a) (CN Kleenean)

kleenean :: CanBeKleenean t => t -> Kleenean Source #

tKleenean :: T Kleenean Source #