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 # show :: NestedCtxt_ (DualBlock m a) f x -> String # showList :: [NestedCtxt_ (DualBlock m a) f x] -> ShowS #
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 # show :: NestedCtxt_ (HardForkBlock xs) Header a -> String # showList :: [NestedCtxt_ (HardForkBlock xs) Header a] -> ShowS #
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

CanHardFork xs => Measured BlockMeasure (HardForkBlock xs) Source #
Instance details Methods measure :: HardForkBlock xs -> BlockMeasure Source #
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 # (/=) :: Header (HardForkBlock xs) -> Header (HardForkBlock xs) -> Bool #
All Eq xs => Eq (HardForkBlock xs) Source #
Instance details Methods (==) :: HardForkBlock xs -> HardForkBlock xs -> Bool # (/=) :: HardForkBlock xs -> HardForkBlock xs -> Bool #
CanHardFork xs => Show (Header (HardForkBlock xs)) Source #
Instance details Methods showsPrec :: Int -> Header (HardForkBlock xs) -> ShowS # show :: Header (HardForkBlock xs) -> String # showList :: [Header (HardForkBlock xs)] -> ShowS #
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)) #
CanHardFork xs => HasHeader (HardForkBlock xs) Source #
Instance details Methods getHeaderFields :: HardForkBlock xs -> HeaderFields (HardForkBlock xs) #
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 # show :: NestedCtxt_ (HardForkBlock xs) Header a -> String # showList :: [NestedCtxt_ (HardForkBlock xs) Header a] -> ShowS #

Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => Header (HardForkBlock '[blk]) -> Header blk Source # inject :: NoHardForks blk => Header blk -> Header (HardForkBlock '[blk]) Source #
HasHeader (Header blk) => Measured BlockMeasure (Header blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract Methods measure :: Header blk -> BlockMeasure 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 # (/=) :: Header (HardForkBlock xs) -> Header (HardForkBlock xs) -> Bool #
CanHardFork xs => Show (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec :: Int -> Header (HardForkBlock xs) -> ShowS # show :: Header (HardForkBlock xs) -> String # showList :: [Header (HardForkBlock xs)] -> ShowS #
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)) #
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 # show :: DualHeader m a -> String # showList :: [DualHeader m a] -> ShowS #
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) #
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 # show :: NestedCtxt_ (HardForkBlock xs) Header a -> String # showList :: [NestedCtxt_ (HardForkBlock xs) Header a] -> ShowS #
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 }