aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.QA.NetLog

Description

QA network log data structure

Documentation

data ValueId #

Constructors

ValueId Integer 
Instances
Enum ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Methods

succ :: ValueId -> ValueId #

pred :: ValueId -> ValueId #

toEnum :: Int -> ValueId #

fromEnum :: ValueId -> Int #

enumFrom :: ValueId -> [ValueId] #

enumFromThen :: ValueId -> ValueId -> [ValueId] #

enumFromTo :: ValueId -> ValueId -> [ValueId] #

enumFromThenTo :: ValueId -> ValueId -> ValueId -> [ValueId] #

Eq ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Methods

(==) :: ValueId -> ValueId -> Bool #

(/=) :: ValueId -> ValueId -> Bool #

Ord ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Methods

compare :: ValueId -> ValueId -> Ordering #

(<) :: ValueId -> ValueId -> Bool #

(<=) :: ValueId -> ValueId -> Bool #

(>) :: ValueId -> ValueId -> Bool #

(>=) :: ValueId -> ValueId -> Bool #

max :: ValueId -> ValueId -> ValueId #

min :: ValueId -> ValueId -> ValueId #

Show ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Methods

showsPrec :: Int -> ValueId -> ShowS #

show :: ValueId -> String #

showList :: [ValueId] -> ShowS #

Generic ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Associated Types

type Rep ValueId :: * -> * #

Methods

from :: ValueId -> Rep ValueId x #

to :: Rep ValueId x -> ValueId #

ToJSON ValueId # 
Instance details

Defined in AERN2.QA.NetLog

Methods

toJSON :: ValueId -> Value #

toEncoding :: ValueId -> Encoding #

toJSONList :: [ValueId] -> Value #

toEncodingList :: [ValueId] -> Encoding #

type Rep ValueId # 
Instance details

Defined in AERN2.QA.NetLog

type Rep ValueId = D1 (MetaData "ValueId" "AERN2.QA.NetLog" "aern2-real-0.1.1.0-LHnT09g7kx871z7ZSrGHOK" False) (C1 (MetaCons "ValueId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data QANetLogItem #

Constructors

QANetLogCreate 

Fields

QANetLogQuery 

Fields

QANetLogAnswer 

Fields

Instances
Show QANetLogItem # 
Instance details

Defined in AERN2.QA.NetLog

Methods

showsPrec :: Int -> QANetLogItem -> ShowS #

show :: QANetLogItem -> String #

showList :: [QANetLogItem] -> ShowS #

Generic QANetLogItem # 
Instance details

Defined in AERN2.QA.NetLog

Associated Types

type Rep QANetLogItem :: * -> * #

Methods

from :: QANetLogItem -> Rep QANetLogItem x #

to :: Rep QANetLogItem x -> QANetLogItem #

ToJSON QANetLogItem # 
Instance details

Defined in AERN2.QA.NetLog

Methods

toJSON :: QANetLogItem -> Value #

toEncoding :: QANetLogItem -> Encoding #

toJSONList :: [QANetLogItem] -> Value #

toEncodingList :: [QANetLogItem] -> Encoding #

type Rep QANetLogItem # 
Instance details

Defined in AERN2.QA.NetLog

type Rep QANetLogItem = D1 (MetaData "QANetLogItem" "AERN2.QA.NetLog" "aern2-real-0.1.1.0-LHnT09g7kx871z7ZSrGHOK" False) (C1 (MetaCons "QANetLogCreate" PrefixI True) (S1 (MetaSel (Just "qaLogCreate_newId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId) :*: (S1 (MetaSel (Just "qaLogCreate_sources") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ValueId]) :*: S1 (MetaSel (Just "qaLogCreate_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "QANetLogQuery" PrefixI True) (S1 (MetaSel (Just "qaLogQuery_client") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ValueId)) :*: (S1 (MetaSel (Just "qaLogQuery_provider") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId) :*: S1 (MetaSel (Just "qaLogQuery_description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: C1 (MetaCons "QANetLogAnswer" PrefixI True) ((S1 (MetaSel (Just "qaLogAnswer_client") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ValueId)) :*: S1 (MetaSel (Just "qaLogAnswer_provider") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId)) :*: (S1 (MetaSel (Just "qaLogAnswer_cacheUseDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "qaLogAnswer_description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

type QANetLog = [QANetLogItem] #

formatQALog :: Integer -> QANetLog -> String #

printQALog :: QANetLog -> IO () #

printQANetLogThenResult :: Show a => (QANetLog, a) -> IO () #

formatQALogJSON :: QANetLog -> String #

printQALogJSON :: QANetLog -> IO () #

writeNetLogJSON :: QANetLog -> IO () #