{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
module Ouroboros.Consensus.Storage.LedgerDB.V2.Args
( FlavorImplSpecificTrace (..)
, HandleArgs (..)
, HandleEnv (..)
, LedgerDbFlavorArgs (..)
, LSMHandleArgs (..)
) where
import Data.Void
data LedgerDbFlavorArgs f m = V2Args (HandleArgs f m)
data HandleArgs f m
= InMemoryHandleArgs
| LSMHandleArgs (LSMHandleArgs f m)
data LSMHandleArgs f m = LSMArgs Void
data HandleEnv m
= InMemoryHandleEnv
|
LSMHandleEnv !Void
data FlavorImplSpecificTrace
=
TraceLedgerTablesHandleCreate
|
TraceLedgerTablesHandleClose
deriving (Int -> FlavorImplSpecificTrace -> ShowS
[FlavorImplSpecificTrace] -> ShowS
FlavorImplSpecificTrace -> String
(Int -> FlavorImplSpecificTrace -> ShowS)
-> (FlavorImplSpecificTrace -> String)
-> ([FlavorImplSpecificTrace] -> ShowS)
-> Show FlavorImplSpecificTrace
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> FlavorImplSpecificTrace -> ShowS
showsPrec :: Int -> FlavorImplSpecificTrace -> ShowS
$cshow :: FlavorImplSpecificTrace -> String
show :: FlavorImplSpecificTrace -> String
$cshowList :: [FlavorImplSpecificTrace] -> ShowS
showList :: [FlavorImplSpecificTrace] -> ShowS
Show, FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool
(FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool)
-> (FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool)
-> Eq FlavorImplSpecificTrace
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool
== :: FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool
$c/= :: FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool
/= :: FlavorImplSpecificTrace -> FlavorImplSpecificTrace -> Bool
Eq)