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 Source #

Constructors

ValueId Integer 

data QANetLogItem Source #

Instances

Show QANetLogItem Source # 
Generic QANetLogItem Source # 

Associated Types

type Rep QANetLogItem :: * -> * #

ToJSON QANetLogItem Source # 
type Rep QANetLogItem Source # 
type Rep QANetLogItem = D1 (MetaData "QANetLogItem" "AERN2.QA.NetLog" "aern2-real-0.1.1.0-595BdYD3puL8td1goSbYqy" 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)))))))