Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Block

Contents

Type family instances
AnnTip
Orphan instances

Synopsis

data family Header blk :: Type
data family NestedCtxt_ blk :: ( Type -> Type ) -> Type -> Type
distribAnnTip :: SListI xs => AnnTip ( HardForkBlock xs) -> NS AnnTip xs
undistribAnnTip :: SListI xs => NS AnnTip xs -> AnnTip ( HardForkBlock xs)

Type family instances

data family Header blk :: Type Source #

Instances

data family NestedCtxt_ blk :: ( Type -> Type ) -> Type -> Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_ .

Instances

Instances details

SameDepIndex ( NestedCtxt_ m f) => SameDepIndex ( NestedCtxt_ ( DualBlock m a) f) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex :: NestedCtxt_ ( DualBlock m a) f a0 -> NestedCtxt_ ( DualBlock m a) f b -> Maybe (a0 :~: b) Source #
CanHardFork xs => SameDepIndex ( NestedCtxt_ ( HardForkBlock xs) Header ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex :: NestedCtxt_ ( HardForkBlock xs) Header a -> NestedCtxt_ ( HardForkBlock xs) Header b -> Maybe (a :~: b) Source #
Show ( NestedCtxt_ m f x) => Show ( NestedCtxt_ ( DualBlock m a) f x) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> NestedCtxt_ ( DualBlock m a) f x -> ShowS Source # show :: NestedCtxt_ ( DualBlock m a) f x -> String Source # showList :: [ NestedCtxt_ ( DualBlock m a) f x] -> ShowS Source #
All SingleEraBlock xs => Show ( NestedCtxt_ ( HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> NestedCtxt_ ( HardForkBlock xs) Header a -> ShowS Source # show :: NestedCtxt_ ( HardForkBlock xs) Header a -> String Source # showList :: [ NestedCtxt_ ( HardForkBlock xs) Header a] -> ShowS Source #
data NestedCtxt_ ( HardForkBlock xs) a b Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ ( HardForkBlock xs) a b where NCZ :: forall x (f :: Type -> Type ) a (xs :: [ Type ]). !( NestedCtxt_ x f a) -> NestedCtxt_ ( HardForkBlock (x ': xs)) f a NCS :: forall (xs :: [ Type ]) (f :: Type -> Type ) a x. !( NestedCtxt_ ( HardForkBlock xs) f a) -> NestedCtxt_ ( HardForkBlock (x ': xs)) f a
newtype NestedCtxt_ ( DualBlock m a) f x Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ ( DualBlock m a) f x where CtxtDual :: forall m (f :: Type -> Type ) x a. NestedCtxt_ m f x -> NestedCtxt_ ( DualBlock m a) f x

AnnTip

distribAnnTip :: SListI xs => AnnTip ( HardForkBlock xs) -> NS AnnTip xs Source #

undistribAnnTip :: SListI xs => NS AnnTip xs -> AnnTip ( HardForkBlock xs) Source #

Orphan instances

Typeable xs => ShowProxy ( Header ( HardForkBlock xs) :: Type ) Source #
Instance details Methods showProxy :: Proxy ( Header ( HardForkBlock xs)) -> String Source #
CanHardFork xs => HasNestedContent Header ( HardForkBlock xs) Source #
Instance details Methods unnest :: Header ( HardForkBlock xs) -> DepPair ( NestedCtxt Header ( HardForkBlock xs)) Source # nest :: DepPair ( NestedCtxt Header ( HardForkBlock xs)) -> Header ( HardForkBlock xs) Source #
All ( Compose Eq Header ) xs => Eq ( Header ( HardForkBlock xs)) Source #
Instance details Methods (==) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source # (/=) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source #
All Eq xs => Eq ( HardForkBlock xs) Source #
Instance details Methods (==) :: HardForkBlock xs -> HardForkBlock xs -> Bool Source # (/=) :: HardForkBlock xs -> HardForkBlock xs -> Bool Source #
CanHardFork xs => Show ( Header ( HardForkBlock xs)) Source #
Instance details Methods showsPrec :: Int -> Header ( HardForkBlock xs) -> ShowS Source # show :: Header ( HardForkBlock xs) -> String Source # showList :: [ Header ( HardForkBlock xs)] -> ShowS Source #
CanHardFork xs => NoThunks ( Header ( HardForkBlock xs)) Source #
Instance details Methods noThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Header ( HardForkBlock xs)) -> String Source #
CanHardFork xs => HasHeader ( Header ( HardForkBlock xs)) Source #
Instance details Methods getHeaderFields :: Header ( HardForkBlock xs) -> HeaderFields ( Header ( HardForkBlock xs)) Source #
CanHardFork xs => HasHeader ( HardForkBlock xs) Source #
Instance details Methods getHeaderFields :: HardForkBlock xs -> HeaderFields ( HardForkBlock xs) Source #
CanHardFork xs => StandardHash ( HardForkBlock xs) Source #
Instance details
CanHardFork xs => ConvertRawHash ( HardForkBlock xs) Source #
Instance details Methods toRawHash :: proxy ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) -> ByteString Source # fromRawHash :: proxy ( HardForkBlock xs) -> ByteString -> HeaderHash ( HardForkBlock xs) Source # toShortRawHash :: proxy ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) -> ShortByteString Source # fromShortRawHash :: proxy ( HardForkBlock xs) -> ShortByteString -> HeaderHash ( HardForkBlock xs) Source # hashSize :: proxy ( HardForkBlock xs) -> Word32 Source #
CanHardFork xs => GetHeader ( HardForkBlock xs) Source #
Instance details Methods getHeader :: HardForkBlock xs -> Header ( HardForkBlock xs) Source # blockMatchesHeader :: Header ( HardForkBlock xs) -> HardForkBlock xs -> Bool Source # headerIsEBB :: Header ( HardForkBlock xs) -> Maybe EpochNo Source #
CanHardFork xs => GetPrevHash ( HardForkBlock xs) Source #
Instance details Methods headerPrevHash :: Header ( HardForkBlock xs) -> ChainHash ( HardForkBlock xs) Source #
CanHardFork xs => BasicEnvelopeValidation ( HardForkBlock xs) Source #
Instance details Methods expectedFirstBlockNo :: proxy ( HardForkBlock xs) -> BlockNo Source # expectedNextBlockNo :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> BlockNo -> BlockNo Source # minimumPossibleSlotNo :: Proxy ( HardForkBlock xs) -> SlotNo Source # minimumNextSlotNo :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> SlotNo -> SlotNo Source #
CanHardFork xs => HasAnnTip ( HardForkBlock xs) Source #
Instance details Associated Types type TipInfo ( HardForkBlock xs) Source # Methods getTipInfo :: Header ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) Source # tipInfoHash :: proxy ( HardForkBlock xs) -> TipInfo ( HardForkBlock xs) -> HeaderHash ( HardForkBlock xs) Source #
CanHardFork xs => SameDepIndex ( NestedCtxt_ ( HardForkBlock xs) Header ) Source #
Instance details Methods sameDepIndex :: NestedCtxt_ ( HardForkBlock xs) Header a -> NestedCtxt_ ( HardForkBlock xs) Header b -> Maybe (a :~: b) Source #
All SingleEraBlock xs => Show ( NestedCtxt_ ( HardForkBlock xs) Header a) Source #
Instance details Methods showsPrec :: Int -> NestedCtxt_ ( HardForkBlock xs) Header a -> ShowS Source # show :: NestedCtxt_ ( HardForkBlock xs) Header a -> String Source # showList :: [ NestedCtxt_ ( HardForkBlock xs) Header a] -> ShowS Source #

Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => Header ( HardForkBlock '[blk]) -> Header blk Source # inject :: NoHardForks blk => Header blk -> Header ( HardForkBlock '[blk]) Source #
Inject Header 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 -> Header x -> Header ( HardForkBlock xs) Source #
Typeable xs => ShowProxy ( Header ( HardForkBlock xs) :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showProxy :: Proxy ( Header ( HardForkBlock xs)) -> String Source #
CanHardFork xs => HasNestedContent Header ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods unnest :: Header ( HardForkBlock xs) -> DepPair ( NestedCtxt Header ( HardForkBlock xs)) Source # nest :: DepPair ( NestedCtxt Header ( HardForkBlock xs)) -> Header ( HardForkBlock xs) Source #
SerialiseHFC xs => ReconstructNestedCtxt Header ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods reconstructPrefixLen :: proxy ( Header ( HardForkBlock xs)) -> PrefixLen Source # reconstructNestedCtxt :: proxy ( Header ( HardForkBlock xs)) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs) Source #
( Typeable m, Typeable a) => ShowProxy ( DualHeader m a :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy ( DualHeader m a) -> String Source #
HasNestedContent Header m => HasNestedContent Header ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods unnest :: Header ( DualBlock m a) -> DepPair ( NestedCtxt Header ( DualBlock m a)) Source # nest :: DepPair ( NestedCtxt Header ( DualBlock m a)) -> Header ( DualBlock m a) Source #
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods reconstructPrefixLen :: proxy ( Header ( DualBlock m a)) -> PrefixLen Source # reconstructNestedCtxt :: proxy ( Header ( DualBlock m a)) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( DualBlock m a) Source #
All ( Compose Eq Header ) xs => Eq ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods (==) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source # (/=) :: Header ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Bool Source #
CanHardFork xs => Show ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> Header ( HardForkBlock xs) -> ShowS Source # show :: Header ( HardForkBlock xs) -> String Source # showList :: [ Header ( HardForkBlock xs)] -> ShowS Source #
NoThunks ( Header ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> Header ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Header ( DualBlock m a) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Header ( DualBlock m a)) -> String Source #
CanHardFork xs => NoThunks ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Header ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Header ( HardForkBlock xs)) -> String Source #
CanHardFork xs => HasHeader ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: Header ( HardForkBlock xs) -> HeaderFields ( Header ( HardForkBlock xs)) Source #
HasHeader blk => StandardHash ( Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract
All CondenseConstraints xs => Condense ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: Header ( HardForkBlock xs) -> String Source #
SerialiseHFC xs => DecodeDiskDep ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDep :: CodecConfig ( HardForkBlock xs) -> NestedCtxt Header ( HardForkBlock xs) a -> forall s. Decoder s ( ByteString -> a) Source #
SerialiseHFC xs => DecodeDiskDepIx ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDiskDepIx :: CodecConfig ( HardForkBlock xs) -> Decoder s ( SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs)) Source #
SerialiseHFC xs => EncodeDiskDep ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDep :: CodecConfig ( HardForkBlock xs) -> NestedCtxt Header ( HardForkBlock xs) a -> a -> Encoding Source #
SerialiseHFC xs => EncodeDiskDepIx ( NestedCtxt Header ) ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDiskDepIx :: CodecConfig ( HardForkBlock xs) -> SomeSecond ( NestedCtxt Header ) ( HardForkBlock xs) -> Encoding Source #
SerialiseHFC xs => SerialiseNodeToNode ( HardForkBlock xs) ( Header ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode Methods encodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> Header ( HardForkBlock xs) -> Encoding Source # decodeNodeToNode :: CodecConfig ( HardForkBlock xs) -> BlockNodeToNodeVersion ( HardForkBlock xs) -> forall s. Decoder s ( Header ( HardForkBlock xs)) Source #
EncodeDiskDep ( NestedCtxt Header ) m => EncodeDiskDep ( NestedCtxt Header ) ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDep :: CodecConfig ( DualBlock m a) -> NestedCtxt Header ( DualBlock m a) a0 -> a0 -> Encoding Source #
EncodeDiskDepIx ( NestedCtxt Header ) m => EncodeDiskDepIx ( NestedCtxt Header ) ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDepIx :: CodecConfig ( DualBlock m a) -> SomeSecond ( NestedCtxt Header ) ( DualBlock m a) -> Encoding Source #
Show ( Header m) => Show ( DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> DualHeader m a -> ShowS Source # show :: DualHeader m a -> String Source # showList :: [ DualHeader m a] -> ShowS Source #
Bridge m a => HasHeader ( DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualHeader m a -> HeaderFields ( DualHeader m a) Source #
CanHardFork xs => SameDepIndex ( NestedCtxt_ ( HardForkBlock xs) Header ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex :: NestedCtxt_ ( HardForkBlock xs) Header a -> NestedCtxt_ ( HardForkBlock xs) Header b -> Maybe (a :~: b) Source #
All SingleEraBlock xs => Show ( NestedCtxt_ ( HardForkBlock xs) Header a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> NestedCtxt_ ( HardForkBlock xs) Header a -> ShowS Source # show :: NestedCtxt_ ( HardForkBlock xs) Header a -> String Source # showList :: [ NestedCtxt_ ( HardForkBlock xs) Header a] -> ShowS Source #
type HeaderHash ( Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash ( Header blk) = HeaderHash blk
newtype Header ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header ( HardForkBlock xs) = HardForkHeader { getHardForkHeader :: OneEraHeader xs }
type BlockProtocol ( Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol ( Header blk) = BlockProtocol blk
newtype Header ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype Header ( DualBlock m a) = DualHeader { dualHeaderMain :: Header m }