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 #

Instances

Instances details
Eq Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

Show Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

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

CanNeg Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

Associated Types

type NegType Kleenean #

HasAccuracy Kleenean Source # 
Instance details

Defined in AERN2.MP.Accuracy

CanAndOrAsymmetric Bool Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

Associated Types

type AndOrType Bool Kleenean #

CanAndOrAsymmetric Kleenean Bool Source # 
Instance details

Defined in AERN2.Kleenean

Associated Types

type AndOrType Kleenean Bool #

CanAndOrAsymmetric Kleenean Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

Associated Types

type 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

ConvertibleExactly Kleenean Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

CanIntersectAsymmetric Kleenean Kleenean Source # 
Instance details

Defined in AERN2.MP.Enclosure

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 #

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 #

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 AndOrType Bool Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

type AndOrType Kleenean Bool Source # 
Instance details

Defined in AERN2.Kleenean

type AndOrType Kleenean Kleenean Source # 
Instance details

Defined in AERN2.Kleenean

type IfThenElseType Kleenean t Source # 
Instance details

Defined in AERN2.MP.Enclosure

type IntersectionType Kleenean Kleenean Source # 
Instance details

Defined in AERN2.MP.Enclosure

type IntersectionType Kleenean (CN b) Source # 
Instance details

Defined in AERN2.MP.Enclosure

type IntersectionType (CN a) Kleenean Source # 
Instance details

Defined in AERN2.MP.Enclosure

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