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 #

Constructors

ValueId Integer

Instances

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

data QANetLogItem #

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 #
Methods showsPrec :: Int -> QANetLogItem -> ShowS # show :: QANetLogItem -> String # showList :: [QANetLogItem] -> ShowS #
Generic QANetLogItem #
Associated Types type Rep QANetLogItem :: * -> * # Methods from :: QANetLogItem -> Rep QANetLogItem x # to :: Rep QANetLogItem x -> QANetLogItem #
ToJSON QANetLogItem #
Methods toJSON :: QANetLogItem -> Value # toEncoding :: QANetLogItem -> Encoding # toJSONList :: [QANetLogItem] -> Value # toEncodingList :: [QANetLogItem] -> Encoding #
type Rep QANetLogItem #
type Rep QANetLogItem = D1 * (MetaData "QANetLogItem" "AERN2.QA.NetLog" "aern2-real-0.1.1.0-23GpEWgzUDY2xIZ7MMLOei" 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] #

formatQALog :: Integer -> QANetLog -> String #

printQALog :: QANetLog -> IO () #

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

formatQALogJSON :: QANetLog -> String #

printQALogJSON :: QANetLog -> IO () #

writeNetLogJSON :: QANetLog -> IO () #