aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

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 #

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 #

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.2.0-DTtN6apnExTAMCmcKkOJZI" '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 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 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 #