Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Ledger.Extended

Contents

Extended ledger state
Serialisation
Casts
Type family instances

Synopsis

newtype ExtLedgerCfg blk = ExtLedgerCfg {
- getExtLedgerCfg :: TopLevelConfig blk
}
data ExtLedgerState blk = ExtLedgerState {
- ledgerState :: !( LedgerState blk)
- headerState :: !( HeaderState blk)
}
data ExtValidationError blk
- = ExtValidationErrorLedger !( LedgerError blk)
- | ExtValidationErrorHeader !( HeaderError blk)
decodeExtLedgerState :: ( forall s. Decoder s ( LedgerState blk)) -> ( forall s. Decoder s ( ChainDepState ( BlockProtocol blk))) -> ( forall s. Decoder s ( AnnTip blk)) -> forall s. Decoder s ( ExtLedgerState blk)
encodeExtLedgerState :: ( LedgerState blk -> Encoding ) -> ( ChainDepState ( BlockProtocol blk) -> Encoding ) -> ( AnnTip blk -> Encoding ) -> ExtLedgerState blk -> Encoding
castExtLedgerState :: ( Coercible ( LedgerState blk) ( LedgerState blk'), Coercible ( ChainDepState ( BlockProtocol blk)) ( ChainDepState ( BlockProtocol blk')), TipInfo blk ~ TipInfo blk') => ExtLedgerState blk -> ExtLedgerState blk'
data family Ticked st :: Type

Extended ledger state

newtype ExtLedgerCfg blk Source #

" Ledger " configuration for the extended ledger

Since the extended ledger also does the consensus protocol validation, we also need the consensus config.

Constructors

ExtLedgerCfg
Fields getExtLedgerCfg :: TopLevelConfig blk

Instances

Instances details

Generic ( ExtLedgerCfg blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Associated Types type Rep ( ExtLedgerCfg blk) :: Type -> Type Source # Methods from :: ExtLedgerCfg blk -> Rep ( ExtLedgerCfg blk) x Source # to :: Rep ( ExtLedgerCfg blk) x -> ExtLedgerCfg blk Source #
( ConsensusProtocol ( BlockProtocol blk), NoThunks ( BlockConfig blk), NoThunks ( CodecConfig blk), NoThunks ( LedgerConfig blk), NoThunks ( StorageConfig blk)) => NoThunks ( ExtLedgerCfg blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks :: Context -> ExtLedgerCfg blk -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ExtLedgerCfg blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ExtLedgerCfg blk) -> String Source #
type Rep ( ExtLedgerCfg blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type Rep ( ExtLedgerCfg blk) = D1 (' MetaData "ExtLedgerCfg" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "ExtLedgerCfg" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getExtLedgerCfg") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( TopLevelConfig blk))))

data ExtLedgerState blk Source #

Extended ledger state

This is the combination of the header state and the ledger state proper.

Constructors

ExtLedgerState
Fields ledgerState :: !( LedgerState blk) headerState :: !( HeaderState blk)

Instances

Instances details

Isomorphic ExtLedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => ExtLedgerState ( HardForkBlock '[blk]) -> ExtLedgerState blk Source # inject :: NoHardForks blk => ExtLedgerState blk -> ExtLedgerState ( HardForkBlock '[blk]) Source #
Inject ExtLedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> ExtLedgerState x -> ExtLedgerState ( HardForkBlock xs) Source #
( LedgerSupportsProtocol blk, Eq ( ChainDepState ( BlockProtocol blk))) => Eq ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods (==) :: ExtLedgerState blk -> ExtLedgerState blk -> Bool Source # (/=) :: ExtLedgerState blk -> ExtLedgerState blk -> Bool Source #
LedgerSupportsProtocol blk => Show ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods showsPrec :: Int -> ExtLedgerState blk -> ShowS Source # show :: ExtLedgerState blk -> String Source # showList :: [ ExtLedgerState blk] -> ShowS Source #
Generic ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Associated Types type Rep ( ExtLedgerState blk) :: Type -> Type Source # Methods from :: ExtLedgerState blk -> Rep ( ExtLedgerState blk) x Source # to :: Rep ( ExtLedgerState blk) x -> ExtLedgerState blk Source #
LedgerSupportsProtocol blk => NoThunks ( ExtLedgerState blk) Source #	We override `showTypeOf` to show the type of the block This makes debugging a bit easier, as the block gets used to resolve all kinds of type families.
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks :: Context -> ExtLedgerState blk -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ExtLedgerState blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ExtLedgerState blk) -> String Source #
( IsLedger ( LedgerState blk), LedgerSupportsProtocol blk) => IsLedger ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Associated Types type LedgerErr ( ExtLedgerState blk) Source # type AuxLedgerEvent ( ExtLedgerState blk) Source # Methods applyChainTickLedgerResult :: LedgerCfg ( ExtLedgerState blk) -> SlotNo -> ExtLedgerState blk -> LedgerResult ( ExtLedgerState blk) ( Ticked ( ExtLedgerState blk)) Source #
IsLedger ( LedgerState blk) => GetTip ( Ticked ( ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: Ticked ( ExtLedgerState blk) -> Point ( Ticked ( ExtLedgerState blk)) Source #
IsLedger ( LedgerState blk) => GetTip ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: ExtLedgerState blk -> Point ( ExtLedgerState blk) Source #
LedgerSupportsProtocol blk => ApplyBlock ( ExtLedgerState blk) blk Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods applyBlockLedgerResult :: LedgerCfg ( ExtLedgerState blk) -> blk -> Ticked ( ExtLedgerState blk) -> Except ( LedgerErr ( ExtLedgerState blk)) ( LedgerResult ( ExtLedgerState blk) ( ExtLedgerState blk)) Source # reapplyBlockLedgerResult :: LedgerCfg ( ExtLedgerState blk) -> blk -> Ticked ( ExtLedgerState blk) -> LedgerResult ( ExtLedgerState blk) ( ExtLedgerState blk) Source #
type Rep ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type Rep ( ExtLedgerState blk) = D1 (' MetaData "ExtLedgerState" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "ExtLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "ledgerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( LedgerState blk)) :*: S1 (' MetaSel (' Just "headerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HeaderState blk))))
type HeaderHash ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type HeaderHash ( ExtLedgerState blk) = HeaderHash ( LedgerState blk)
data Ticked ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked ( ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState :: Ticked ( LedgerState blk) tickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) tickedHeaderState :: Ticked ( HeaderState blk) }
type LedgerErr ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type LedgerErr ( ExtLedgerState blk) = ExtValidationError blk
type AuxLedgerEvent ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type AuxLedgerEvent ( ExtLedgerState blk) = AuxLedgerEvent ( LedgerState blk)
type LedgerCfg ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type LedgerCfg ( ExtLedgerState blk) = ExtLedgerCfg blk

data ExtValidationError blk Source #

Constructors

ExtValidationErrorLedger !( LedgerError blk)
ExtValidationErrorHeader !( HeaderError blk)

Instances

Instances details

LedgerSupportsProtocol blk => Eq ( ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods (==) :: ExtValidationError blk -> ExtValidationError blk -> Bool Source # (/=) :: ExtValidationError blk -> ExtValidationError blk -> Bool Source #
LedgerSupportsProtocol blk => Show ( ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods showsPrec :: Int -> ExtValidationError blk -> ShowS Source # show :: ExtValidationError blk -> String Source # showList :: [ ExtValidationError blk] -> ShowS Source #
Generic ( ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Associated Types type Rep ( ExtValidationError blk) :: Type -> Type Source # Methods from :: ExtValidationError blk -> Rep ( ExtValidationError blk) x Source # to :: Rep ( ExtValidationError blk) x -> ExtValidationError blk Source #
LedgerSupportsProtocol blk => NoThunks ( ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks :: Context -> ExtValidationError blk -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ExtValidationError blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ExtValidationError blk) -> String Source #
type Rep ( ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type Rep ( ExtValidationError blk) = D1 (' MetaData "ExtValidationError" "Ouroboros.Consensus.Ledger.Extended" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "ExtValidationErrorLedger" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( LedgerError blk))) :+: C1 (' MetaCons "ExtValidationErrorHeader" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HeaderError blk))))

Serialisation

decodeExtLedgerState :: ( forall s. Decoder s ( LedgerState blk)) -> ( forall s. Decoder s ( ChainDepState ( BlockProtocol blk))) -> ( forall s. Decoder s ( AnnTip blk)) -> forall s. Decoder s ( ExtLedgerState blk) Source #

encodeExtLedgerState :: ( LedgerState blk -> Encoding ) -> ( ChainDepState ( BlockProtocol blk) -> Encoding ) -> ( AnnTip blk -> Encoding ) -> ExtLedgerState blk -> Encoding Source #

Casts

castExtLedgerState :: ( Coercible ( LedgerState blk) ( LedgerState blk'), Coercible ( ChainDepState ( BlockProtocol blk)) ( ChainDepState ( BlockProtocol blk')), TipInfo blk ~ TipInfo blk') => ExtLedgerState blk -> ExtLedgerState blk' Source #

Type family instances

data family Ticked st :: Type Source #

" Ticked " piece of state ( LedgerState , LedgerView , ChainIndepState )

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state (or forecast).

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Instances

Instances details

Show ( Ticked ()) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked () -> ShowS Source # show :: Ticked () -> String Source # showList :: [ Ticked ()] -> ShowS Source #
Show ( Ticked a) => Show ( Ticked ( K a x)) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked ( K a x) -> ShowS Source # show :: Ticked ( K a x) -> String Source # showList :: [ Ticked ( K a x)] -> ShowS Source #
( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> Ticked ( HardForkLedgerView_ ( K a) xs) -> ShowS Source # show :: Ticked ( HardForkLedgerView_ ( K a) xs) -> String Source # showList :: [ Ticked ( HardForkLedgerView_ ( K a) xs)] -> ShowS Source #
Generic ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) :: Type -> Type Source # Methods from :: Ticked ( LedgerState ( HardForkBlock xs)) -> Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x Source # to :: Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x -> Ticked ( LedgerState ( HardForkBlock xs)) Source #
NoThunks ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( DualBlock m a))) -> String Source #
CanHardFork xs => NoThunks ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( HardForkBlock xs))) -> String Source #
Bridge m a => GetTip ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip :: Ticked ( LedgerState ( DualBlock m a)) -> Point ( Ticked ( LedgerState ( DualBlock m a))) Source #
CanHardFork xs => GetTip ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip :: Ticked ( LedgerState ( HardForkBlock xs)) -> Point ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
IsLedger ( LedgerState blk) => GetTip ( Ticked ( ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: Ticked ( ExtLedgerState blk) -> Point ( Ticked ( ExtLedgerState blk)) Source #
IsLedger l => GetTip ( Ticked ( LedgerDB l)) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods getTip :: Ticked ( LedgerDB l) -> Point ( Ticked ( LedgerDB l)) Source #
Isomorphic ( Ticked :.: LedgerState ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) -> ( Ticked :.: LedgerState ) blk Source # inject :: NoHardForks blk => ( Ticked :.: LedgerState ) blk -> ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) Source #
Show ( Ticked (f a)) => Show (( Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> ( Ticked :.: f) a -> ShowS Source # show :: ( Ticked :.: f) a -> String Source # showList :: [( Ticked :.: f) a] -> ShowS Source #
NoThunks ( Ticked (f a)) => NoThunks (( Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy (( Ticked :.: f) a) -> String Source #
data Ticked () Source #
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "TickedHardForkLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "tickedHardForkLedgerStateTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TransitionInfo ) :*: S1 (' MetaSel (' Just "tickedHardForkLedgerStatePerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HardForkState ( Ticked :.: LedgerState ) xs))))
type HeaderHash ( Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash ( Ticked l) = HeaderHash l
data Ticked ( LedgerState ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked ( LedgerState ( DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain :: Ticked ( LedgerState m) tickedDualLedgerStateAux :: Ticked ( LedgerState a) tickedDualLedgerStateBridge :: BridgeLedger m a tickedDualLedgerStateAuxOrig :: LedgerState a }
data Ticked ( LedgerState ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition :: ! TransitionInfo tickedHardForkLedgerStatePerEra :: !( HardForkState ( Ticked :.: LedgerState ) xs) }
data Ticked ( HeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked ( HeaderState blk) = TickedHeaderState { untickedHeaderStateTip :: WithOrigin ( AnnTip blk) tickedHeaderStateChainDep :: Ticked ( ChainDepState ( BlockProtocol blk)) }
newtype Ticked ( WrapLedgerView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) }
newtype Ticked ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState :: Ticked ( ChainDepState ( BlockProtocol blk)) }
data Ticked ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked ( ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState :: Ticked ( LedgerState blk) tickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) tickedHeaderState :: Ticked ( HeaderState blk) }
data Ticked ( LedgerDB l) Source #	Ticking the ledger DB just ticks the current state We don't push the new state into the DB until we apply a block.
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory data Ticked ( LedgerDB l) = TickedLedgerDB { tickedLedgerDbTicked :: Ticked l tickedLedgerDbOrig :: LedgerDB l }
data Ticked ( HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked ( HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState ( Ticked :.: WrapChainDepState ) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo ( Except PastHorizonException ) }
data Ticked ( PBftState c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked ( PBftState c) = TickedPBftState { tickedPBftLedgerView :: Ticked ( LedgerView ( PBft c)) getTickedPBftState :: PBftState c }
newtype Ticked ( PBftLedgerView c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype Ticked ( PBftLedgerView c) = TickedPBftLedgerView { tickedPBftDelegates :: Bimap ( PBftVerKeyHash c) ( PBftVerKeyHash c) }
data Ticked ( HardForkLedgerView_ f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked ( HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition :: TransitionInfo tickedHardForkLedgerViewPerEra :: HardForkState ( Ticked :.: f) xs }
newtype Ticked ( K a x) Source #
Instance details Defined in Ouroboros.Consensus.Ticked newtype Ticked ( K a x) = TickedK { getTickedK :: Ticked a }