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

AERN2.Kleenean

Description

Documentation

data Kleenean Source #

Constructors

CertainTrue
CertainFalse
TrueOrFalse

Instances

Instances details

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 #
CanSelectCountable Kleenean Source #
Instance details Defined in AERN2.Select Associated Types type SelectCountableType Kleenean Source # Methods selectCountable :: (Integer -> Kleenean) -> SelectCountableType Kleenean Source #
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 #
Show Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods showsPrec :: Int -> Kleenean -> ShowS # show :: Kleenean -> String # showList :: [Kleenean] -> ShowS #
Eq Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods (==) :: Kleenean -> Kleenean -> Bool # (/=) :: Kleenean -> Kleenean -> Bool #
CanNeg Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type NegType Kleenean # Methods negate :: Kleenean -> NegType Kleenean #
CanTestCertainly Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods isCertainlyTrue :: Kleenean -> Bool # isCertainlyFalse :: Kleenean -> Bool #
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 #
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 #
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 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 #
ConvertibleExactly Kleenean Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods safeConvertExactly :: Kleenean -> ConvertResult Kleenean #
ConvertibleExactly Bool Kleenean Source #
Instance details Defined in AERN2.Kleenean Methods safeConvertExactly :: Bool -> ConvertResult 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 #
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 #
(CanAndOrAsymmetric Kleenean t2, CanBeErrors es) => CanAndOrAsymmetric Kleenean (CollectErrors es t2) Source #
Instance details Defined in AERN2.Kleenean Associated Types type AndOrType Kleenean (CollectErrors es t2) # Methods and2 :: Kleenean -> CollectErrors es t2 -> AndOrType Kleenean (CollectErrors es t2) # or2 :: Kleenean -> CollectErrors es t2 -> AndOrType Kleenean (CollectErrors es t2) #
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 #
CanSelectCountable (CN Kleenean) Source #
Instance details Defined in AERN2.Select Associated Types type SelectCountableType (CN Kleenean) Source # Methods selectCountable :: (Integer -> CN Kleenean) -> SelectCountableType (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 #
(CanAndOrAsymmetric t1 Kleenean, CanBeErrors es) => CanAndOrAsymmetric (CollectErrors es t1) Kleenean Source #
Instance details Defined in AERN2.Kleenean Associated Types type AndOrType (CollectErrors es t1) Kleenean # Methods and2 :: CollectErrors es t1 -> Kleenean -> AndOrType (CollectErrors es t1) Kleenean # or2 :: CollectErrors es t1 -> Kleenean -> AndOrType (CollectErrors es t1) Kleenean #
type SelectCountableType Kleenean Source #
Instance details Defined in AERN2.Select type SelectCountableType Kleenean = Integer
type SelectType Kleenean Source #
Instance details Defined in AERN2.Select type SelectType Kleenean = CN Bool
type Rep Kleenean Source #
Instance details Defined in AERN2.Kleenean type Rep Kleenean = D1 ('MetaData "Kleenean" "AERN2.Kleenean" "aern2-mp-0.2.15.1-6xeEefByTke3KEoNxGQRX3" '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 IntersectionType Kleenean Kleenean Source #
Instance details Defined in AERN2.MP.Enclosure type IntersectionType Kleenean Kleenean = CN Kleenean
type AndOrType Kleenean Kleenean Source #
Instance details Defined in AERN2.Kleenean type AndOrType Kleenean Kleenean = Kleenean
type AndOrType Kleenean Bool Source #
Instance details Defined in AERN2.Kleenean type AndOrType Kleenean Bool = Kleenean
type AndOrType Bool Kleenean Source #
Instance details Defined in AERN2.Kleenean type AndOrType Bool Kleenean = Kleenean
type IfThenElseType Kleenean t Source #
Instance details Defined in AERN2.MP.Enclosure type IfThenElseType Kleenean t = t
type IntersectionType Kleenean (CN b) Source #
Instance details Defined in AERN2.MP.Enclosure type IntersectionType Kleenean (CN b) = IntersectionType (CN Kleenean) (CN b)
type AndOrType Kleenean (CollectErrors es t2) Source #
Instance details Defined in AERN2.Kleenean type AndOrType Kleenean (CollectErrors es t2) = CollectErrors es (AndOrType Kleenean t2)
type SelectCountableType (CN Kleenean) Source #
Instance details Defined in AERN2.Select type SelectCountableType (CN Kleenean) = CN Integer
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)
type AndOrType (CollectErrors es t1) Kleenean Source #
Instance details Defined in AERN2.Kleenean type AndOrType (CollectErrors es t1) Kleenean = CollectErrors es (AndOrType t1 Kleenean)

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

tKleenean :: T Kleenean Source #