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

AERN2.Real.CKleenean

Contents

Orphan instances

Description

Lazy Kleenean, ie a sequence of Kleeneans, usually indexed by increasing precisions.

Documentation

type CKleenean = CSequence Kleenean Source #

type CanBeCKleenean t = ConvertibleExactly t CKleenean Source #

ckleenean :: CanBeCKleenean t => t -> CKleenean Source #

class CanAndOrCountable t where Source #

Methods

or_countable :: (Integer -> t) -> t Source #

and_countable :: (Integer -> t) -> t Source #

Instances

Instances details

CanAndOrCountable CKleenean Source #
Instance details Defined in AERN2.Real.CKleenean Methods or_countable :: (Integer -> CKleenean) -> CKleenean Source # and_countable :: (Integer -> CKleenean) -> CKleenean Source #

Orphan instances

CanSelect CKleenean Source #
Instance details Associated Types type SelectType CKleenean # Methods select :: CKleenean -> CKleenean -> SelectType CKleenean #
CanSelectCountable CKleenean Source #
Instance details Associated Types type SelectCountableType CKleenean # Methods selectCountable :: (Integer -> CKleenean) -> SelectCountableType CKleenean #
ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean Source #
Instance details Methods safeConvertExactly :: t -> ConvertResult CKleenean #
CanAndOrAsymmetric Kleenean t2 => CanAndOrAsymmetric Kleenean (CSequence t2) Source #
Instance details Associated Types type AndOrType Kleenean (CSequence t2) # Methods and2 :: Kleenean -> CSequence t2 -> AndOrType Kleenean (CSequence t2) # or2 :: Kleenean -> CSequence t2 -> AndOrType Kleenean (CSequence t2) #
CanAndOrAsymmetric Bool t2 => CanAndOrAsymmetric Bool (CSequence t2) Source #
Instance details Associated Types type AndOrType Bool (CSequence t2) # Methods and2 :: Bool -> CSequence t2 -> AndOrType Bool (CSequence t2) # or2 :: Bool -> CSequence t2 -> AndOrType Bool (CSequence t2) #
CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t) Source #
Instance details Associated Types type IfThenElseType CKleenean (CSequence t) # Methods ifThenElse :: CKleenean -> CSequence t -> CSequence t -> IfThenElseType CKleenean (CSequence t) #
HasIfThenElse CKleenean t => HasIfThenElse CKleenean (Maybe t) Source #
Instance details Associated Types type IfThenElseType CKleenean (Maybe t) # Methods ifThenElse :: CKleenean -> Maybe t -> Maybe t -> IfThenElseType CKleenean (Maybe t) #
HasIfThenElse CKleenean t => HasIfThenElse CKleenean [t] Source #
Instance details Associated Types type IfThenElseType CKleenean [t] # Methods ifThenElse :: CKleenean -> [t] -> [t] -> IfThenElseType CKleenean [t] #
HasIfThenElse CKleenean v => HasIfThenElse CKleenean (k -> v) Source #
Instance details Associated Types type IfThenElseType CKleenean (k -> v) # Methods ifThenElse :: CKleenean -> (k -> v) -> (k -> v) -> IfThenElseType CKleenean (k -> v) #
(HasIfThenElse CKleenean t1, HasIfThenElse CKleenean t2) => HasIfThenElse CKleenean (t1, t2) Source #
Instance details Associated Types type IfThenElseType CKleenean (t1, t2) # Methods ifThenElse :: CKleenean -> (t1, t2) -> (t1, t2) -> IfThenElseType CKleenean (t1, t2) #
CanNeg t => CanNeg (CSequence t) Source #
Instance details Associated Types type NegType (CSequence t) # Methods negate :: CSequence t -> NegType (CSequence t) #
CanAndOrAsymmetric t1 Kleenean => CanAndOrAsymmetric (CSequence t1) Kleenean Source #
Instance details Associated Types type AndOrType (CSequence t1) Kleenean # Methods and2 :: CSequence t1 -> Kleenean -> AndOrType (CSequence t1) Kleenean # or2 :: CSequence t1 -> Kleenean -> AndOrType (CSequence t1) Kleenean #
CanAndOrAsymmetric t1 Bool => CanAndOrAsymmetric (CSequence t1) Bool Source #
Instance details Associated Types type AndOrType (CSequence t1) Bool # Methods and2 :: CSequence t1 -> Bool -> AndOrType (CSequence t1) Bool # or2 :: CSequence t1 -> Bool -> AndOrType (CSequence t1) Bool #
(CanAndOrAsymmetric t1 t2, CanTestCertainly t1, HasBools t2) => CanAndOrAsymmetric (CSequence t1) (CSequence t2) Source #
Instance details Associated Types type AndOrType (CSequence t1) (CSequence t2) # Methods and2 :: CSequence t1 -> CSequence t2 -> AndOrType (CSequence t1) (CSequence t2) # or2 :: CSequence t1 -> CSequence t2 -> AndOrType (CSequence t1) (CSequence t2) #