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

AERN2.QA.NetLog

Description

QA network log data structure

Documentation

data ValueId Source #

Constructors

ValueId Integer

Instances

Enum ValueId Source #
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 Source #
Methods (==) :: ValueId -> ValueId -> Bool # (/=) :: ValueId -> ValueId -> Bool #
Ord ValueId Source #
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 Source #
Methods showsPrec :: Int -> ValueId -> ShowS # show :: ValueId -> String # showList :: [ValueId] -> ShowS #
Generic ValueId Source #
Associated Types type Rep ValueId :: * -> * # Methods from :: ValueId -> Rep ValueId x # to :: Rep ValueId x -> ValueId #
ToJSON ValueId Source #
Methods toJSON :: ValueId -> Value # toEncoding :: ValueId -> Encoding # toJSONList :: [ValueId] -> Value # toEncodingList :: [ValueId] -> Encoding #
type Rep ValueId Source #
type Rep ValueId = D1 (MetaData "ValueId" "AERN2.QA.NetLog" "aern2-real-0.1.0.1-4U9xlNhhzbuAjk7EK2axXW" False) (C1 (MetaCons "ValueId" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data QANetLogItem Source #

Constructors

QANetLogCreate
Fields qaLogCreate_newId :: ValueId qaLogCreate_sources :: [ValueId] qaLogCreate_name :: String
QANetLogQuery
Fields qaLogQuery_client :: Maybe ValueId qaLogQuery_provider :: ValueId qaLogQuery_description :: String
QANetLogAnswer
Fields qaLogAnswer_client :: Maybe ValueId qaLogAnswer_provider :: ValueId qaLogAnswer_cacheUseDescription :: String qaLogAnswer_description :: String

Instances

Show QANetLogItem Source #
Methods showsPrec :: Int -> QANetLogItem -> ShowS # show :: QANetLogItem -> String # showList :: [QANetLogItem] -> ShowS #
Generic QANetLogItem Source #
Associated Types type Rep QANetLogItem :: * -> * # Methods from :: QANetLogItem -> Rep QANetLogItem x # to :: Rep QANetLogItem x -> QANetLogItem #
ToJSON QANetLogItem Source #
Methods toJSON :: QANetLogItem -> Value # toEncoding :: QANetLogItem -> Encoding # toJSONList :: [QANetLogItem] -> Value # toEncodingList :: [QANetLogItem] -> Encoding #
type Rep QANetLogItem Source #
type Rep QANetLogItem = D1 (MetaData "QANetLogItem" "AERN2.QA.NetLog" "aern2-real-0.1.0.1-4U9xlNhhzbuAjk7EK2axXW" False) ((:+:) (C1 (MetaCons "QANetLogCreate" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "qaLogCreate_newId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId)) ((::) (S1 (MetaSel (Just Symbol "qaLogCreate_sources") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ValueId])) (S1 (MetaSel (Just Symbol "qaLogCreate_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) (C1 (MetaCons "QANetLogQuery" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "qaLogQuery_client") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ValueId))) ((::) (S1 (MetaSel (Just Symbol "qaLogQuery_provider") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId)) (S1 (MetaSel (Just Symbol "qaLogQuery_description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) (C1 (MetaCons "QANetLogAnswer" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "qaLogAnswer_client") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ValueId))) (S1 (MetaSel (Just Symbol "qaLogAnswer_provider") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValueId))) ((:*:) (S1 (MetaSel (Just Symbol "qaLogAnswer_cacheUseDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "qaLogAnswer_description") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))))

type QANetLog = [QANetLogItem] Source #

formatQALog :: Integer -> QANetLog -> String Source #

printQALog :: QANetLog -> IO () Source #

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

formatQALogJSON :: QANetLog -> String Source #

printQALogJSON :: QANetLog -> IO () Source #

writeNetLogJSON :: QANetLog -> IO () Source #