Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Analysis.API.Ground

Contents

Orphan instances

Synopsis

newtype FieldName = FieldName {
- unFieldName :: Text
}
newtype Hash = Hash {
- unHash :: ShortText
}
newtype Host = Host {
- unHost :: ShortText
}
newtype Count (a :: k) = Count {
- unCount :: Int
}
newtype TId = TId {
- unTId :: ShortText
}
newtype EpochSlot = EpochSlot {
- unEpochSlot :: Word64
}
newtype EpochSafeInt = EpochSafeInt {
- unEpochSafeInt :: Word64
}
data HostDeduction = HostFromLogfilename
newtype InputDir = InputDir {
- unInputDir :: FilePath
}
newtype JsonLogfile = JsonLogfile {
- unJsonLogfile :: FilePath
}
newtype JsonInputFile (a :: Type) = JsonInputFile {
- unJsonInputFile :: FilePath
}
newtype JsonOutputFile (a :: Type) = JsonOutputFile {
- unJsonOutputFile :: FilePath
}
newtype GnuplotOutputFile = GnuplotOutputFile {
- unGnuplotOutputFile :: FilePath
}
newtype OrgOutputFile = OrgOutputFile {
- unOrgOutputFile :: FilePath
}
newtype TextInputFile = TextInputFile {
- unTextInputFile :: FilePath
}
newtype TextOutputFile = TextOutputFile {
- unTextOutputFile :: FilePath
}
newtype CsvOutputFile = CsvOutputFile {
- unCsvOutputFile :: FilePath
}
newtype OutputFile = OutputFile {
- unOutputFile :: FilePath
}
shortHash :: Hash -> Text
countMap :: Map a b -> Count a
countList :: (a -> Bool) -> [a] -> Count a
countLists :: (a -> Bool) -> [[a]] -> Count a
countListAll :: [a] -> Count a
countListsAll :: [[a]] -> Count a
unsafeCoerceCount :: Count a -> Count b
readJsonData :: FromJSON a => JsonInputFile a -> (Text -> b) -> ExceptT b IO a
readJsonDataIO :: FromJSON a => JsonInputFile a -> IO (Either String a)
optInputDir :: String -> String -> Parser InputDir
optJsonLogfile :: String -> String -> Parser JsonLogfile
argJsonLogfile :: Parser JsonLogfile
optJsonInputFile :: String -> String -> Parser (JsonInputFile a)
optJsonOutputFile :: String -> String -> Parser (JsonOutputFile a)
optGnuplotOutputFile :: String -> String -> Parser GnuplotOutputFile
optTextInputFile :: String -> String -> Parser TextInputFile
optTextOutputFile :: String -> String -> Parser TextOutputFile
optCsvOutputFile :: String -> String -> Parser CsvOutputFile
optOutputFile :: String -> String -> Parser OutputFile
pSlotNo :: String -> String -> Parser SlotNo
optUTCTime :: String -> String -> Parser UTCTime
optDuration :: String -> String -> NominalDiffTime -> Parser NominalDiffTime
optWord :: String -> String -> Word64 -> Parser Word64
hostFromLogfilename :: JsonLogfile -> Host
hostDeduction :: HostDeduction -> JsonLogfile -> Host
dumpObject :: ToJSON a => String -> a -> JsonOutputFile a -> ExceptT Text IO ()
dumpObjects :: ToJSON a => String -> [a] -> JsonOutputFile [a] -> ExceptT Text IO ()
dumpAssociatedObjects :: ToJSON a => String -> [(JsonLogfile, a)] -> ExceptT Text IO ()
readAssociatedObjects :: forall a. FromJSON a => String -> [JsonLogfile] -> ExceptT Text IO [(JsonLogfile, a)]
dumpAssociatedObjectStreams :: ToJSON a => String -> [(JsonLogfile, [a])] -> ExceptT Text IO ()
dumpText :: String -> [Text] -> TextOutputFile -> ExceptT Text IO ()
dumpAssociatedTextStreams :: String -> [(JsonLogfile, [Text])] -> ExceptT Text IO ()
module Data.DataDomain
data UTCTime
data NominalDiffTime
newtype BlockNo = BlockNo {
- unBlockNo :: Word64
}
newtype EpochNo = EpochNo {
- unEpochNo :: Word64
}
newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}

Documentation

newtype FieldName Source #

Constructors

FieldName
Fields unFieldName :: Text

Instances

Instances details

FromJSON FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser FieldName # parseJSONList :: Value -> Parser [FieldName] # omittedField :: Maybe FieldName #
ToJSON FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: FieldName -> Value # toEncoding :: FieldName -> Encoding # toJSONList :: [FieldName] -> Value # toEncodingList :: [FieldName] -> Encoding # omitField :: FieldName -> Bool #
IsString FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods fromString :: String -> FieldName Source #
Generic FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep FieldName :: Type -> Type Source # Methods from :: FieldName -> Rep FieldName x Source # to :: Rep FieldName x -> FieldName Source #
Show FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> FieldName -> ShowS Source # show :: FieldName -> String Source # showList :: [FieldName] -> ShowS Source #
NFData FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: FieldName -> () Source #
Eq FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: FieldName -> FieldName -> Bool Source # (/=) :: FieldName -> FieldName -> Bool Source #
Ord FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: FieldName -> FieldName -> Ordering Source # (<) :: FieldName -> FieldName -> Bool Source # (<=) :: FieldName -> FieldName -> Bool Source # (>) :: FieldName -> FieldName -> Bool Source # (>=) :: FieldName -> FieldName -> Bool Source # max :: FieldName -> FieldName -> FieldName Source # min :: FieldName -> FieldName -> FieldName Source #
type Rep FieldName Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep FieldName = D1 ('MetaData "FieldName" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "FieldName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype Hash Source #

Constructors

Hash
Fields unHash :: ShortText

Instances

Instances details

FromJSON Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser Hash # parseJSONList :: Value -> Parser [Hash] # omittedField :: Maybe Hash #
FromJSONKey Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods fromJSONKey :: FromJSONKeyFunction Hash fromJSONKeyList :: FromJSONKeyFunction [Hash]
ToJSON Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: Hash -> Value # toEncoding :: Hash -> Encoding # toJSONList :: [Hash] -> Value # toEncodingList :: [Hash] -> Encoding # omitField :: Hash -> Bool #
ToJSONKey Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSONKey :: ToJSONKeyFunction Hash toJSONKeyList :: ToJSONKeyFunction [Hash]
Generic Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep Hash :: Type -> Type Source # Methods from :: Hash -> Rep Hash x Source # to :: Rep Hash x -> Hash Source #
Show Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> Hash -> ShowS Source # show :: Hash -> String Source # showList :: [Hash] -> ShowS Source #
NFData Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: Hash -> () Source #
Eq Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: Hash -> Hash -> Bool Source # (/=) :: Hash -> Hash -> Bool Source #
Ord Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: Hash -> Hash -> Ordering Source # (<) :: Hash -> Hash -> Bool Source # (<=) :: Hash -> Hash -> Bool Source # (>) :: Hash -> Hash -> Bool Source # (>=) :: Hash -> Hash -> Bool Source # max :: Hash -> Hash -> Hash Source # min :: Hash -> Hash -> Hash Source #
type Rep Hash Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep Hash = D1 ('MetaData "Hash" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "Hash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortText)))

newtype Host Source #

Constructors

Host
Fields unHost :: ShortText

Instances

Instances details

FromJSON Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser Host # parseJSONList :: Value -> Parser [Host] # omittedField :: Maybe Host #
FromJSONKey Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods fromJSONKey :: FromJSONKeyFunction Host fromJSONKeyList :: FromJSONKeyFunction [Host]
ToJSON Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: Host -> Value # toEncoding :: Host -> Encoding # toJSONList :: [Host] -> Value # toEncodingList :: [Host] -> Encoding # omitField :: Host -> Bool #
ToJSONKey Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSONKey :: ToJSONKeyFunction Host toJSONKeyList :: ToJSONKeyFunction [Host]
IsString Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods fromString :: String -> Host Source #
Generic Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep Host :: Type -> Type Source # Methods from :: Host -> Rep Host x Source # to :: Rep Host x -> Host Source #
Show Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> Host -> ShowS Source # show :: Host -> String Source # showList :: [Host] -> ShowS Source #
NFData Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: Host -> () Source #
Eq Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: Host -> Host -> Bool Source # (/=) :: Host -> Host -> Bool Source #
Ord Host Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: Host -> Host -> Ordering Source # (<) :: Host -> Host -> Bool Source # (<=) :: Host -> Host -> Bool Source # (>) :: Host -> Host -> Bool Source # (>=) :: Host -> Host -> Bool Source # max :: Host -> Host -> Host Source # min :: Host -> Host -> Host Source #
type Rep Host Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep Host = D1 ('MetaData "Host" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "Host" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortText)))

newtype Count (a :: k) Source #

Constructors

Count
Fields unCount :: Int

Instances

Instances details

FromJSON (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser (Count a) # parseJSONList :: Value -> Parser [Count a] # omittedField :: Maybe (Count a) #
ToJSON (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: Count a -> Value # toEncoding :: Count a -> Encoding # toJSONList :: [Count a] -> Value # toEncodingList :: [Count a] -> Encoding # omitField :: Count a -> Bool #
Generic (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep (Count a) :: Type -> Type Source # Methods from :: Count a -> Rep (Count a) x Source # to :: Rep (Count a) x -> Count a Source #
Num (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (+) :: Count a -> Count a -> Count a Source # (-) :: Count a -> Count a -> Count a Source # (*) :: Count a -> Count a -> Count a Source # negate :: Count a -> Count a Source # abs :: Count a -> Count a Source # signum :: Count a -> Count a Source # fromInteger :: Integer -> Count a Source #
Real (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toRational :: Count a -> Rational Source #
Show (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> Count a -> ShowS Source # show :: Count a -> String Source # showList :: [Count a] -> ShowS Source #
NFData (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: Count a -> () Source #
Eq (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: Count a -> Count a -> Bool Source # (/=) :: Count a -> Count a -> Bool Source #
Ord (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: Count a -> Count a -> Ordering Source # (<) :: Count a -> Count a -> Bool Source # (<=) :: Count a -> Count a -> Bool Source # (>) :: Count a -> Count a -> Bool Source # (>=) :: Count a -> Count a -> Bool Source # max :: Count a -> Count a -> Count a Source # min :: Count a -> Count a -> Count a Source #
Divisible (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: Count a -> Double -> Count a Source # fromDouble :: Double -> Count a Source #
type Rep (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep (Count a) = D1 ('MetaData "Count" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "Count" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype TId Source #

Constructors

TId
Fields unTId :: ShortText

Instances

Instances details

FromJSON TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser TId # parseJSONList :: Value -> Parser [TId] # omittedField :: Maybe TId #
ToJSON TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: TId -> Value # toEncoding :: TId -> Encoding # toJSONList :: [TId] -> Value # toEncodingList :: [TId] -> Encoding # omitField :: TId -> Bool #
Generic TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep TId :: Type -> Type Source # Methods from :: TId -> Rep TId x Source # to :: Rep TId x -> TId Source #
Show TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> TId -> ShowS Source # show :: TId -> String Source # showList :: [TId] -> ShowS Source #
NFData TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: TId -> () Source #
Eq TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: TId -> TId -> Bool Source # (/=) :: TId -> TId -> Bool Source #
Ord TId Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: TId -> TId -> Ordering Source # (<) :: TId -> TId -> Bool Source # (<=) :: TId -> TId -> Bool Source # (>) :: TId -> TId -> Bool Source # (>=) :: TId -> TId -> Bool Source # max :: TId -> TId -> TId Source # min :: TId -> TId -> TId Source #
type Rep TId Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep TId = D1 ('MetaData "TId" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "TId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortText)))

newtype EpochSlot Source #

Constructors

EpochSlot
Fields unEpochSlot :: Word64

Instances

Instances details

FromJSON EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser EpochSlot # parseJSONList :: Value -> Parser [EpochSlot] # omittedField :: Maybe EpochSlot #
ToJSON EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: EpochSlot -> Value # toEncoding :: EpochSlot -> Encoding # toJSONList :: [EpochSlot] -> Value # toEncodingList :: [EpochSlot] -> Encoding # omitField :: EpochSlot -> Bool #
Generic EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep EpochSlot :: Type -> Type Source # Methods from :: EpochSlot -> Rep EpochSlot x Source # to :: Rep EpochSlot x -> EpochSlot Source #
Num EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (+) :: EpochSlot -> EpochSlot -> EpochSlot Source # (-) :: EpochSlot -> EpochSlot -> EpochSlot Source # (*) :: EpochSlot -> EpochSlot -> EpochSlot Source # negate :: EpochSlot -> EpochSlot Source # abs :: EpochSlot -> EpochSlot Source # signum :: EpochSlot -> EpochSlot Source # fromInteger :: Integer -> EpochSlot Source #
Show EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> EpochSlot -> ShowS Source # show :: EpochSlot -> String Source # showList :: [EpochSlot] -> ShowS Source #
NFData EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: EpochSlot -> () Source #
Eq EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: EpochSlot -> EpochSlot -> Bool Source # (/=) :: EpochSlot -> EpochSlot -> Bool Source #
Ord EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: EpochSlot -> EpochSlot -> Ordering Source # (<) :: EpochSlot -> EpochSlot -> Bool Source # (<=) :: EpochSlot -> EpochSlot -> Bool Source # (>) :: EpochSlot -> EpochSlot -> Bool Source # (>=) :: EpochSlot -> EpochSlot -> Bool Source # max :: EpochSlot -> EpochSlot -> EpochSlot Source # min :: EpochSlot -> EpochSlot -> EpochSlot Source #
type Rep EpochSlot Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep EpochSlot = D1 ('MetaData "EpochSlot" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "EpochSlot" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSafeInt Source #

Constructors

EpochSafeInt
Fields unEpochSafeInt :: Word64

Instances

Instances details

FromJSON EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser EpochSafeInt # parseJSONList :: Value -> Parser [EpochSafeInt] # omittedField :: Maybe EpochSafeInt #
ToJSON EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: EpochSafeInt -> Value # toEncoding :: EpochSafeInt -> Encoding # toJSONList :: [EpochSafeInt] -> Value # toEncodingList :: [EpochSafeInt] -> Encoding # omitField :: EpochSafeInt -> Bool #
Generic EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Associated Types type Rep EpochSafeInt :: Type -> Type Source # Methods from :: EpochSafeInt -> Rep EpochSafeInt x Source # to :: Rep EpochSafeInt x -> EpochSafeInt Source #
Num EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (+) :: EpochSafeInt -> EpochSafeInt -> EpochSafeInt Source # (-) :: EpochSafeInt -> EpochSafeInt -> EpochSafeInt Source # (*) :: EpochSafeInt -> EpochSafeInt -> EpochSafeInt Source # negate :: EpochSafeInt -> EpochSafeInt Source # abs :: EpochSafeInt -> EpochSafeInt Source # signum :: EpochSafeInt -> EpochSafeInt Source # fromInteger :: Integer -> EpochSafeInt Source #
Show EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> EpochSafeInt -> ShowS Source # show :: EpochSafeInt -> String Source # showList :: [EpochSafeInt] -> ShowS Source #
NFData EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: EpochSafeInt -> () Source #
Eq EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: EpochSafeInt -> EpochSafeInt -> Bool Source # (/=) :: EpochSafeInt -> EpochSafeInt -> Bool Source #
Ord EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: EpochSafeInt -> EpochSafeInt -> Ordering Source # (<) :: EpochSafeInt -> EpochSafeInt -> Bool Source # (<=) :: EpochSafeInt -> EpochSafeInt -> Bool Source # (>) :: EpochSafeInt -> EpochSafeInt -> Bool Source # (>=) :: EpochSafeInt -> EpochSafeInt -> Bool Source # max :: EpochSafeInt -> EpochSafeInt -> EpochSafeInt Source # min :: EpochSafeInt -> EpochSafeInt -> EpochSafeInt Source #
type Rep EpochSafeInt Source #
Instance details Defined in Cardano.Analysis.API.Ground type Rep EpochSafeInt = D1 ('MetaData "EpochSafeInt" "Cardano.Analysis.API.Ground" "locli-1.34-inplace" 'True) (C1 ('MetaCons "EpochSafeInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSafeInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data HostDeduction Source #

Constructors

HostFromLogfilename

Instances

Instances details

Show HostDeduction Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> HostDeduction -> ShowS Source # show :: HostDeduction -> String Source # showList :: [HostDeduction] -> ShowS Source #
Eq HostDeduction Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: HostDeduction -> HostDeduction -> Bool Source # (/=) :: HostDeduction -> HostDeduction -> Bool Source #
Ord HostDeduction Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods compare :: HostDeduction -> HostDeduction -> Ordering Source # (<) :: HostDeduction -> HostDeduction -> Bool Source # (<=) :: HostDeduction -> HostDeduction -> Bool Source # (>) :: HostDeduction -> HostDeduction -> Bool Source # (>=) :: HostDeduction -> HostDeduction -> Bool Source # max :: HostDeduction -> HostDeduction -> HostDeduction Source # min :: HostDeduction -> HostDeduction -> HostDeduction Source #

newtype InputDir Source #

Constructors

InputDir
Fields unInputDir :: FilePath

Instances

Instances details

Show InputDir Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> InputDir -> ShowS Source # show :: InputDir -> String Source # showList :: [InputDir] -> ShowS Source #
NFData InputDir Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: InputDir -> () Source #
Eq InputDir Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: InputDir -> InputDir -> Bool Source # (/=) :: InputDir -> InputDir -> Bool Source #

newtype JsonLogfile Source #

Constructors

JsonLogfile
Fields unJsonLogfile :: FilePath

Instances

Instances details

FromJSON JsonLogfile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser JsonLogfile # parseJSONList :: Value -> Parser [JsonLogfile] # omittedField :: Maybe JsonLogfile #
ToJSON JsonLogfile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: JsonLogfile -> Value # toEncoding :: JsonLogfile -> Encoding # toJSONList :: [JsonLogfile] -> Value # toEncodingList :: [JsonLogfile] -> Encoding # omitField :: JsonLogfile -> Bool #
Show JsonLogfile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> JsonLogfile -> ShowS Source # show :: JsonLogfile -> String Source # showList :: [JsonLogfile] -> ShowS Source #
NFData JsonLogfile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods rnf :: JsonLogfile -> () Source #
Eq JsonLogfile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: JsonLogfile -> JsonLogfile -> Bool Source # (/=) :: JsonLogfile -> JsonLogfile -> Bool Source #

newtype JsonInputFile (a :: Type) Source #

Constructors

JsonInputFile
Fields unJsonInputFile :: FilePath

Instances

Instances details

FromJSON (JsonInputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods parseJSON :: Value -> Parser (JsonInputFile a) # parseJSONList :: Value -> Parser [JsonInputFile a] # omittedField :: Maybe (JsonInputFile a) #
ToJSON (JsonInputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toJSON :: JsonInputFile a -> Value # toEncoding :: JsonInputFile a -> Encoding # toJSONList :: [JsonInputFile a] -> Value # toEncodingList :: [JsonInputFile a] -> Encoding # omitField :: JsonInputFile a -> Bool #
Show (JsonInputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> JsonInputFile a -> ShowS Source # show :: JsonInputFile a -> String Source # showList :: [JsonInputFile a] -> ShowS Source #
Eq (JsonInputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: JsonInputFile a -> JsonInputFile a -> Bool Source # (/=) :: JsonInputFile a -> JsonInputFile a -> Bool Source #

newtype JsonOutputFile (a :: Type) Source #

Constructors

JsonOutputFile
Fields unJsonOutputFile :: FilePath

Instances

Instances details

Show (JsonOutputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> JsonOutputFile a -> ShowS Source # show :: JsonOutputFile a -> String Source # showList :: [JsonOutputFile a] -> ShowS Source #
Eq (JsonOutputFile a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: JsonOutputFile a -> JsonOutputFile a -> Bool Source # (/=) :: JsonOutputFile a -> JsonOutputFile a -> Bool Source #

newtype GnuplotOutputFile Source #

Constructors

GnuplotOutputFile
Fields unGnuplotOutputFile :: FilePath

Instances

Instances details

Show GnuplotOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> GnuplotOutputFile -> ShowS Source # show :: GnuplotOutputFile -> String Source # showList :: [GnuplotOutputFile] -> ShowS Source #
Eq GnuplotOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: GnuplotOutputFile -> GnuplotOutputFile -> Bool Source # (/=) :: GnuplotOutputFile -> GnuplotOutputFile -> Bool Source #

newtype OrgOutputFile Source #

Constructors

OrgOutputFile
Fields unOrgOutputFile :: FilePath

Instances

Instances details

Show OrgOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> OrgOutputFile -> ShowS Source # show :: OrgOutputFile -> String Source # showList :: [OrgOutputFile] -> ShowS Source #
Eq OrgOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: OrgOutputFile -> OrgOutputFile -> Bool Source # (/=) :: OrgOutputFile -> OrgOutputFile -> Bool Source #

newtype TextInputFile Source #

Constructors

TextInputFile
Fields unTextInputFile :: FilePath

Instances

Instances details

Show TextInputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> TextInputFile -> ShowS Source # show :: TextInputFile -> String Source # showList :: [TextInputFile] -> ShowS Source #
Eq TextInputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: TextInputFile -> TextInputFile -> Bool Source # (/=) :: TextInputFile -> TextInputFile -> Bool Source #

newtype TextOutputFile Source #

Constructors

TextOutputFile
Fields unTextOutputFile :: FilePath

Instances

Instances details

Show TextOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> TextOutputFile -> ShowS Source # show :: TextOutputFile -> String Source # showList :: [TextOutputFile] -> ShowS Source #
Eq TextOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: TextOutputFile -> TextOutputFile -> Bool Source # (/=) :: TextOutputFile -> TextOutputFile -> Bool Source #

newtype CsvOutputFile Source #

Constructors

CsvOutputFile
Fields unCsvOutputFile :: FilePath

Instances

Instances details

Show CsvOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> CsvOutputFile -> ShowS Source # show :: CsvOutputFile -> String Source # showList :: [CsvOutputFile] -> ShowS Source #
Eq CsvOutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: CsvOutputFile -> CsvOutputFile -> Bool Source # (/=) :: CsvOutputFile -> CsvOutputFile -> Bool Source #

newtype OutputFile Source #

Constructors

OutputFile
Fields unOutputFile :: FilePath

Instances

Instances details

Show OutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods showsPrec :: Int -> OutputFile -> ShowS Source # show :: OutputFile -> String Source # showList :: [OutputFile] -> ShowS Source #
Eq OutputFile Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods (==) :: OutputFile -> OutputFile -> Bool Source # (/=) :: OutputFile -> OutputFile -> Bool Source #

shortHash :: Hash -> Text Source #

countMap :: Map a b -> Count a Source #

countList :: (a -> Bool) -> [a] -> Count a Source #

countLists :: (a -> Bool) -> [[a]] -> Count a Source #

countListAll :: [a] -> Count a Source #

countListsAll :: [[a]] -> Count a Source #

unsafeCoerceCount :: Count a -> Count b Source #

readJsonData :: FromJSON a => JsonInputFile a -> (Text -> b) -> ExceptT b IO a Source #

readJsonDataIO :: FromJSON a => JsonInputFile a -> IO (Either String a) Source #

optInputDir :: String -> String -> Parser InputDir Source #

optJsonLogfile :: String -> String -> Parser JsonLogfile Source #

argJsonLogfile :: Parser JsonLogfile Source #

optJsonInputFile :: String -> String -> Parser (JsonInputFile a) Source #

optJsonOutputFile :: String -> String -> Parser (JsonOutputFile a) Source #

optGnuplotOutputFile :: String -> String -> Parser GnuplotOutputFile Source #

optTextInputFile :: String -> String -> Parser TextInputFile Source #

optTextOutputFile :: String -> String -> Parser TextOutputFile Source #

optCsvOutputFile :: String -> String -> Parser CsvOutputFile Source #

optOutputFile :: String -> String -> Parser OutputFile Source #

pSlotNo :: String -> String -> Parser SlotNo Source #

optUTCTime :: String -> String -> Parser UTCTime Source #

optDuration :: String -> String -> NominalDiffTime -> Parser NominalDiffTime Source #

optWord :: String -> String -> Word64 -> Parser Word64 Source #

hostFromLogfilename :: JsonLogfile -> Host Source #

hostDeduction :: HostDeduction -> JsonLogfile -> Host Source #

dumpObject :: ToJSON a => String -> a -> JsonOutputFile a -> ExceptT Text IO () Source #

dumpObjects :: ToJSON a => String -> [a] -> JsonOutputFile [a] -> ExceptT Text IO () Source #

dumpAssociatedObjects :: ToJSON a => String -> [(JsonLogfile, a)] -> ExceptT Text IO () Source #

readAssociatedObjects :: forall a. FromJSON a => String -> [JsonLogfile] -> ExceptT Text IO [(JsonLogfile, a)] Source #

dumpAssociatedObjectStreams :: ToJSON a => String -> [(JsonLogfile, [a])] -> ExceptT Text IO () Source #

dumpText :: String -> [Text] -> TextOutputFile -> ExceptT Text IO () Source #

dumpAssociatedTextStreams :: String -> [(JsonLogfile, [Text])] -> ExceptT Text IO () Source #

module Data.DataDomain

data UTCTime Source #

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.

Instances

Instances details

FromJSON UTCTime
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser UTCTime # parseJSONList :: Value -> Parser [UTCTime] # omittedField :: Maybe UTCTime #
FromJSONKey UTCTime
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction UTCTime fromJSONKeyList :: FromJSONKeyFunction [UTCTime]
ToJSON UTCTime
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: UTCTime -> Value # toEncoding :: UTCTime -> Encoding # toJSONList :: [UTCTime] -> Value # toEncodingList :: [UTCTime] -> Encoding # omitField :: UTCTime -> Bool #
ToJSONKey UTCTime
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction UTCTime toJSONKeyList :: ToJSONKeyFunction [UTCTime]
Data UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCTime -> c UTCTime Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTCTime Source # toConstr :: UTCTime -> Constr Source # dataTypeOf :: UTCTime -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTCTime) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTCTime) Source # gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r Source # gmapQ :: (forall d. Data d => d -> u) -> UTCTime -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCTime -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime Source #
NFData UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods rnf :: UTCTime -> () Source #
Eq UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods (==) :: UTCTime -> UTCTime -> Bool Source # (/=) :: UTCTime -> UTCTime -> Bool Source #
Ord UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods compare :: UTCTime -> UTCTime -> Ordering Source # (<) :: UTCTime -> UTCTime -> Bool Source # (<=) :: UTCTime -> UTCTime -> Bool Source # (>) :: UTCTime -> UTCTime -> Bool Source # (>=) :: UTCTime -> UTCTime -> Bool Source # max :: UTCTime -> UTCTime -> UTCTime Source # min :: UTCTime -> UTCTime -> UTCTime Source #

data NominalDiffTime Source #

This is a length of time, as measured by UTC. It has a precision of 10^-12 s.

Conversion functions such as fromInteger and realToFrac will treat it as seconds. For example, (0.010 :: NominalDiffTime) corresponds to 10 milliseconds.

It has a precision of one picosecond (= 10^-12 s). Enumeration functions will treat it as picoseconds.

It ignores leap-seconds, so it's not necessarily a fixed amount of clock time. For instance, 23:00 UTC + 2 hours of NominalDiffTime = 01:00 UTC (+ 1 day), regardless of whether a leap-second intervened.

Instances

Instances details

FromJSON NominalDiffTime
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser NominalDiffTime # parseJSONList :: Value -> Parser [NominalDiffTime] # omittedField :: Maybe NominalDiffTime #
ToJSON NominalDiffTime
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NominalDiffTime -> Value # toEncoding :: NominalDiffTime -> Encoding # toJSONList :: [NominalDiffTime] -> Value # toEncodingList :: [NominalDiffTime] -> Encoding # omitField :: NominalDiffTime -> Bool #
Data NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NominalDiffTime -> c NominalDiffTime Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NominalDiffTime Source # toConstr :: NominalDiffTime -> Constr Source # dataTypeOf :: NominalDiffTime -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NominalDiffTime) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NominalDiffTime) Source # gmapT :: (forall b. Data b => b -> b) -> NominalDiffTime -> NominalDiffTime Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NominalDiffTime -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NominalDiffTime -> r Source # gmapQ :: (forall d. Data d => d -> u) -> NominalDiffTime -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> NominalDiffTime -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NominalDiffTime -> m NominalDiffTime Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NominalDiffTime -> m NominalDiffTime Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NominalDiffTime -> m NominalDiffTime Source #
Enum NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods succ :: NominalDiffTime -> NominalDiffTime Source # pred :: NominalDiffTime -> NominalDiffTime Source # toEnum :: Int -> NominalDiffTime Source # fromEnum :: NominalDiffTime -> Int Source # enumFrom :: NominalDiffTime -> [NominalDiffTime] Source # enumFromThen :: NominalDiffTime -> NominalDiffTime -> [NominalDiffTime] Source # enumFromTo :: NominalDiffTime -> NominalDiffTime -> [NominalDiffTime] Source # enumFromThenTo :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime -> [NominalDiffTime] Source #
Num NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods (+) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source # (-) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source # (*) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source # negate :: NominalDiffTime -> NominalDiffTime Source # abs :: NominalDiffTime -> NominalDiffTime Source # signum :: NominalDiffTime -> NominalDiffTime Source # fromInteger :: Integer -> NominalDiffTime Source #
Read NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods readsPrec :: Int -> ReadS NominalDiffTime Source # readList :: ReadS [NominalDiffTime] Source # readPrec :: ReadPrec NominalDiffTime Source # readListPrec :: ReadPrec [NominalDiffTime] Source #
Fractional NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods (/) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source # recip :: NominalDiffTime -> NominalDiffTime Source # fromRational :: Rational -> NominalDiffTime Source #
Real NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods toRational :: NominalDiffTime -> Rational Source #
RealFrac NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods properFraction :: Integral b => NominalDiffTime -> (b, NominalDiffTime) Source # truncate :: Integral b => NominalDiffTime -> b Source # round :: Integral b => NominalDiffTime -> b Source # ceiling :: Integral b => NominalDiffTime -> b Source # floor :: Integral b => NominalDiffTime -> b Source #
Show NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods showsPrec :: Int -> NominalDiffTime -> ShowS Source # show :: NominalDiffTime -> String Source # showList :: [NominalDiffTime] -> ShowS Source #
NFData NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods rnf :: NominalDiffTime -> () Source #
Eq NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods (==) :: NominalDiffTime -> NominalDiffTime -> Bool Source # (/=) :: NominalDiffTime -> NominalDiffTime -> Bool Source #
Ord NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods compare :: NominalDiffTime -> NominalDiffTime -> Ordering Source # (<) :: NominalDiffTime -> NominalDiffTime -> Bool Source # (<=) :: NominalDiffTime -> NominalDiffTime -> Bool Source # (>) :: NominalDiffTime -> NominalDiffTime -> Bool Source # (>=) :: NominalDiffTime -> NominalDiffTime -> Bool Source # max :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source # min :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime Source #
Divisible NominalDiffTime Source #
Instance details Defined in Data.CDF Methods divide :: NominalDiffTime -> Double -> NominalDiffTime Source # fromDouble :: Double -> NominalDiffTime Source #
Show (TimelineComments (SlotStats NominalDiffTime)) Source #
Instance details Defined in Cardano.Analysis.API.Metrics Methods showsPrec :: Int -> TimelineComments (SlotStats NominalDiffTime) -> ShowS Source # show :: TimelineComments (SlotStats NominalDiffTime) -> String Source # showList :: [TimelineComments (SlotStats NominalDiffTime)] -> ShowS Source #
TimelineFields (SlotStats NominalDiffTime) Source #
Instance details Defined in Cardano.Analysis.API.Metrics Associated Types data TimelineComments (SlotStats NominalDiffTime) Source # Methods timelineFields :: [Field ISelect I (SlotStats NominalDiffTime)] Source # rtCommentary :: SlotStats NominalDiffTime -> TimelineComments (SlotStats NominalDiffTime) -> [Text] Source #
data TimelineComments (SlotStats NominalDiffTime) Source #
Instance details Defined in Cardano.Analysis.API.Metrics data TimelineComments (SlotStats NominalDiffTime) = SSLogObjects

newtype BlockNo Source #

The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.

Constructors

BlockNo
Fields unBlockNo :: Word64

Instances

Instances details

FromJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods parseJSON :: Value -> Parser BlockNo # parseJSONList :: Value -> Parser [BlockNo] # omittedField :: Maybe BlockNo #
ToJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toJSON :: BlockNo -> Value # toEncoding :: BlockNo -> Encoding # toJSONList :: [BlockNo] -> Value # toEncodingList :: [BlockNo] -> Encoding # omitField :: BlockNo -> Bool #
Bounded BlockNo
Instance details Defined in Cardano.Slotting.Block Methods minBound :: BlockNo Source # maxBound :: BlockNo Source #
Enum BlockNo
Instance details Defined in Cardano.Slotting.Block Methods succ :: BlockNo -> BlockNo Source # pred :: BlockNo -> BlockNo Source # toEnum :: Int -> BlockNo Source # fromEnum :: BlockNo -> Int Source # enumFrom :: BlockNo -> [BlockNo] Source # enumFromThen :: BlockNo -> BlockNo -> [BlockNo] Source # enumFromTo :: BlockNo -> BlockNo -> [BlockNo] Source # enumFromThenTo :: BlockNo -> BlockNo -> BlockNo -> [BlockNo] Source #
Generic BlockNo
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo :: Type -> Type Source # Methods from :: BlockNo -> Rep BlockNo x Source # to :: Rep BlockNo x -> BlockNo Source #
Num BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (+) :: BlockNo -> BlockNo -> BlockNo Source # (-) :: BlockNo -> BlockNo -> BlockNo Source # (*) :: BlockNo -> BlockNo -> BlockNo Source # negate :: BlockNo -> BlockNo Source # abs :: BlockNo -> BlockNo Source # signum :: BlockNo -> BlockNo Source # fromInteger :: Integer -> BlockNo Source #
Real BlockNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toRational :: BlockNo -> Rational Source #
Show BlockNo
Instance details Defined in Cardano.Slotting.Block Methods showsPrec :: Int -> BlockNo -> ShowS Source # show :: BlockNo -> String Source # showList :: [BlockNo] -> ShowS Source #
FromCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR :: Decoder s BlockNo Source # label :: Proxy BlockNo -> Text Source #
ToCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toCBOR :: BlockNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BlockNo] -> Size Source #
NFData BlockNo
Instance details Defined in Cardano.Slotting.Block Methods rnf :: BlockNo -> () Source #
Eq BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (==) :: BlockNo -> BlockNo -> Bool Source # (/=) :: BlockNo -> BlockNo -> Bool Source #
Ord BlockNo
Instance details Defined in Cardano.Slotting.Block Methods compare :: BlockNo -> BlockNo -> Ordering Source # (<) :: BlockNo -> BlockNo -> Bool Source # (<=) :: BlockNo -> BlockNo -> Bool Source # (>) :: BlockNo -> BlockNo -> Bool Source # (>=) :: BlockNo -> BlockNo -> Bool Source # max :: BlockNo -> BlockNo -> BlockNo Source # min :: BlockNo -> BlockNo -> BlockNo Source #
Divisible BlockNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: BlockNo -> Double -> BlockNo Source # fromDouble :: Double -> BlockNo Source #
NoThunks BlockNo
Instance details Defined in Cardano.Slotting.Block Methods noThunks :: Context -> BlockNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> BlockNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy BlockNo -> String Source #
Serialise BlockNo
Instance details Defined in Cardano.Slotting.Block Methods encode :: BlockNo -> Encoding Source # decode :: Decoder s BlockNo Source # encodeList :: [BlockNo] -> Encoding Source # decodeList :: Decoder s [BlockNo] Source #
type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.1.2.0-pjSrFFnbaTAiWOxbUlJ5P" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo :: Word64

Instances

Instances details

FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochNo # parseJSONList :: Value -> Parser [EpochNo] # omittedField :: Maybe EpochNo #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochNo -> Value # toEncoding :: EpochNo -> Encoding # toJSONList :: [EpochNo] -> Value # toEncodingList :: [EpochNo] -> Encoding # omitField :: EpochNo -> Bool #
Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochNo -> EpochNo Source # pred :: EpochNo -> EpochNo Source # toEnum :: Int -> EpochNo Source # fromEnum :: EpochNo -> Int Source # enumFrom :: EpochNo -> [EpochNo] Source # enumFromThen :: EpochNo -> EpochNo -> [EpochNo] Source # enumFromTo :: EpochNo -> EpochNo -> [EpochNo] Source # enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [EpochNo] Source #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo :: Type -> Type Source # Methods from :: EpochNo -> Rep EpochNo x Source # to :: Rep EpochNo x -> EpochNo Source #
Num EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochNo -> EpochNo -> EpochNo Source # (-) :: EpochNo -> EpochNo -> EpochNo Source # (*) :: EpochNo -> EpochNo -> EpochNo Source # negate :: EpochNo -> EpochNo Source # abs :: EpochNo -> EpochNo Source # signum :: EpochNo -> EpochNo Source # fromInteger :: Integer -> EpochNo Source #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochNo -> ShowS Source # show :: EpochNo -> String Source # showList :: [EpochNo] -> ShowS Source #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s EpochNo Source # label :: Proxy EpochNo -> Text Source #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochNo] -> Size Source #
NFData EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: EpochNo -> () Source #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochNo -> EpochNo -> Bool Source # (/=) :: EpochNo -> EpochNo -> Bool Source #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochNo -> EpochNo -> Ordering Source # (<) :: EpochNo -> EpochNo -> Bool Source # (<=) :: EpochNo -> EpochNo -> Bool Source # (>) :: EpochNo -> EpochNo -> Bool Source # (>=) :: EpochNo -> EpochNo -> Bool Source # max :: EpochNo -> EpochNo -> EpochNo Source # min :: EpochNo -> EpochNo -> EpochNo Source #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy EpochNo -> String Source #
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: EpochNo -> Encoding Source # decode :: Decoder s EpochNo Source # encodeList :: [EpochNo] -> Encoding Source # decodeList :: Decoder s [EpochNo] Source #
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.2.0-pjSrFFnbaTAiWOxbUlJ5P" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser SlotNo # parseJSONList :: Value -> Parser [SlotNo] # omittedField :: Maybe SlotNo #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: SlotNo -> Value # toEncoding :: SlotNo -> Encoding # toJSONList :: [SlotNo] -> Value # toEncodingList :: [SlotNo] -> Encoding # omitField :: SlotNo -> Bool #
Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: SlotNo Source # maxBound :: SlotNo Source #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo Source # pred :: SlotNo -> SlotNo Source # toEnum :: Int -> SlotNo Source # fromEnum :: SlotNo -> Int Source # enumFrom :: SlotNo -> [SlotNo] Source # enumFromThen :: SlotNo -> SlotNo -> [SlotNo] Source # enumFromTo :: SlotNo -> SlotNo -> [SlotNo] Source # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [SlotNo] Source #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo :: Type -> Type Source # Methods from :: SlotNo -> Rep SlotNo x Source # to :: Rep SlotNo x -> SlotNo Source #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: SlotNo -> SlotNo -> SlotNo Source # (-) :: SlotNo -> SlotNo -> SlotNo Source # (*) :: SlotNo -> SlotNo -> SlotNo Source # negate :: SlotNo -> SlotNo Source # abs :: SlotNo -> SlotNo Source # signum :: SlotNo -> SlotNo Source # fromInteger :: Integer -> SlotNo Source #
Real SlotNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods toRational :: SlotNo -> Rational Source #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> SlotNo -> ShowS Source # show :: SlotNo -> String Source # showList :: [SlotNo] -> ShowS Source #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s SlotNo Source # label :: Proxy SlotNo -> Text Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: SlotNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotNo] -> Size Source #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () Source #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: SlotNo -> SlotNo -> Bool Source # (/=) :: SlotNo -> SlotNo -> Bool Source #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: SlotNo -> SlotNo -> Ordering Source # (<) :: SlotNo -> SlotNo -> Bool Source # (<=) :: SlotNo -> SlotNo -> Bool Source # (>) :: SlotNo -> SlotNo -> Bool Source # (>=) :: SlotNo -> SlotNo -> Bool Source # max :: SlotNo -> SlotNo -> SlotNo Source # min :: SlotNo -> SlotNo -> SlotNo Source #
Divisible SlotNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: SlotNo -> Double -> SlotNo Source # fromDouble :: Double -> SlotNo Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SlotNo -> String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: SlotNo -> Encoding Source # decode :: Decoder s SlotNo Source # encodeList :: [SlotNo] -> Encoding Source # decodeList :: Decoder s [SlotNo] Source #
HasHeader block => Anchorable (WithOrigin SlotNo) (Anchor block) block
Instance details Defined in Ouroboros.Network.AnchoredFragment Methods asAnchor :: block -> Anchor block Source # getAnchorMeasure :: Proxy block -> Anchor block -> WithOrigin SlotNo Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.2.0-pjSrFFnbaTAiWOxbUlJ5P" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Orphan instances

Real BlockNo Source #
Instance details Methods toRational :: BlockNo -> Rational Source #
Real SlotNo Source #
Instance details Methods toRational :: SlotNo -> Rational Source #
Divisible BlockNo Source #
Instance details Methods divide :: BlockNo -> Double -> BlockNo Source # fromDouble :: Double -> BlockNo Source #
Divisible SlotNo Source #
Instance details Methods divide :: SlotNo -> Double -> SlotNo Source # fromDouble :: Double -> SlotNo Source #