Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Point

Documentation

data WithOrigin t Source #

Constructors

Origin
At !t

Instances

Instances details

Functor WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods fmap :: (a -> b) -> WithOrigin a -> WithOrigin b Source # (<$) :: a -> WithOrigin b -> WithOrigin a Source #
Foldable WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods fold :: Monoid m => WithOrigin m -> m Source # foldMap :: Monoid m => (a -> m) -> WithOrigin a -> m Source # foldMap' :: Monoid m => (a -> m) -> WithOrigin a -> m Source # foldr :: (a -> b -> b) -> b -> WithOrigin a -> b Source # foldr' :: (a -> b -> b) -> b -> WithOrigin a -> b Source # foldl :: (b -> a -> b) -> b -> WithOrigin a -> b Source # foldl' :: (b -> a -> b) -> b -> WithOrigin a -> b Source # foldr1 :: (a -> a -> a) -> WithOrigin a -> a Source # foldl1 :: (a -> a -> a) -> WithOrigin a -> a Source # toList :: WithOrigin a -> [a] Source # null :: WithOrigin a -> Bool Source # length :: WithOrigin a -> Int Source # elem :: Eq a => a -> WithOrigin a -> Bool Source # maximum :: Ord a => WithOrigin a -> a Source # minimum :: Ord a => WithOrigin a -> a Source # sum :: Num a => WithOrigin a -> a Source # product :: Num a => WithOrigin a -> a Source #
Traversable WithOrigin
Instance details Defined in Cardano.Slotting.Slot Methods traverse :: Applicative f => (a -> f b) -> WithOrigin a -> f ( WithOrigin b) Source # sequenceA :: Applicative f => WithOrigin (f a) -> f ( WithOrigin a) Source # mapM :: Monad m => (a -> m b) -> WithOrigin a -> m ( WithOrigin b) Source # sequence :: Monad m => WithOrigin (m a) -> m ( WithOrigin a) Source #
Bounded t => Bounded ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: WithOrigin t Source # maxBound :: WithOrigin t Source #
Eq t => Eq ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: WithOrigin t -> WithOrigin t -> Bool Source # (/=) :: WithOrigin t -> WithOrigin t -> Bool Source #
Ord t => Ord ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods compare :: WithOrigin t -> WithOrigin t -> Ordering Source # (<) :: WithOrigin t -> WithOrigin t -> Bool Source # (<=) :: WithOrigin t -> WithOrigin t -> Bool Source # (>) :: WithOrigin t -> WithOrigin t -> Bool Source # (>=) :: WithOrigin t -> WithOrigin t -> Bool Source # max :: WithOrigin t -> WithOrigin t -> WithOrigin t Source # min :: WithOrigin t -> WithOrigin t -> WithOrigin t Source #
Show t => Show ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> WithOrigin t -> ShowS Source # show :: WithOrigin t -> String Source # showList :: [ WithOrigin t] -> ShowS Source #
Generic ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep ( WithOrigin t) :: Type -> Type Source # Methods from :: WithOrigin t -> Rep ( WithOrigin t) x Source # to :: Rep ( WithOrigin t) x -> WithOrigin t Source #
( Serialise t, Typeable t) => ToCBOR ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: WithOrigin t -> Encoding Source # encodedSizeExpr :: ( forall t0. ToCBOR t0 => Proxy t0 -> Size ) -> Proxy ( WithOrigin t) -> Size Source # encodedListSizeExpr :: ( forall t0. ToCBOR t0 => Proxy t0 -> Size ) -> Proxy [ WithOrigin t] -> Size Source #
( Serialise t, Typeable t) => FromCBOR ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s ( WithOrigin t) Source # label :: Proxy ( WithOrigin t) -> Text Source #
NFData a => NFData ( WithOrigin a)
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: WithOrigin a -> () Source #
NoThunks t => NoThunks ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> WithOrigin t -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> WithOrigin t -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( WithOrigin t) -> String Source #
Serialise t => Serialise ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods encode :: WithOrigin t -> Encoding Source # decode :: Decoder s ( WithOrigin t) Source # encodeList :: [ WithOrigin t] -> Encoding Source # decodeList :: Decoder s [ WithOrigin t] Source #
HasHeader block => Anchorable ( WithOrigin SlotNo ) ( Anchor block) block Source #
Instance details Defined in Ouroboros.Network.AnchoredFragment Methods asAnchor :: block -> Anchor block Source # getAnchorMeasure :: Proxy block -> Anchor block -> WithOrigin SlotNo Source #
type Rep ( WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot type Rep ( WithOrigin t) = D1 (' MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' False ) ( C1 (' MetaCons "Origin" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "At" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 t)))

data Block slot hash Source #

Constructors

Block
Fields blockPointSlot :: !slot blockPointHash :: !hash

Instances

Instances details

( Eq slot, Eq hash) => Eq ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point Methods (==) :: Block slot hash -> Block slot hash -> Bool Source # (/=) :: Block slot hash -> Block slot hash -> Bool Source #
( Ord slot, Ord hash) => Ord ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point Methods compare :: Block slot hash -> Block slot hash -> Ordering Source # (<) :: Block slot hash -> Block slot hash -> Bool Source # (<=) :: Block slot hash -> Block slot hash -> Bool Source # (>) :: Block slot hash -> Block slot hash -> Bool Source # (>=) :: Block slot hash -> Block slot hash -> Bool Source # max :: Block slot hash -> Block slot hash -> Block slot hash Source # min :: Block slot hash -> Block slot hash -> Block slot hash Source #
( Show slot, Show hash) => Show ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point Methods showsPrec :: Int -> Block slot hash -> ShowS Source # show :: Block slot hash -> String Source # showList :: [ Block slot hash] -> ShowS Source #
Generic ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point Associated Types type Rep ( Block slot hash) :: Type -> Type Source # Methods from :: Block slot hash -> Rep ( Block slot hash) x Source # to :: Rep ( Block slot hash) x -> Block slot hash Source #
( NoThunks slot, NoThunks hash) => NoThunks ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point Methods noThunks :: Context -> Block slot hash -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Block slot hash -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Block slot hash) -> String Source #
type Rep ( Block slot hash) Source #
Instance details Defined in Ouroboros.Network.Point type Rep ( Block slot hash) = D1 (' MetaData "Block" "Ouroboros.Network.Point" "ouroboros-network-0.1.0.1-2UgqzRSdBh49QYumtriFSI" ' False ) ( C1 (' MetaCons "Block" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "blockPointSlot") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 slot) :*: S1 (' MetaSel (' Just "blockPointHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 hash)))

origin :: WithOrigin t Source #

at :: t -> WithOrigin t Source #

block :: slot -> hash -> WithOrigin ( Block slot hash) Source #

fromWithOrigin :: t -> WithOrigin t -> t Source #

withOrigin :: b -> (t -> b) -> WithOrigin t -> b Source #

withOriginToMaybe :: WithOrigin t -> Maybe t Source #

withOriginFromMaybe :: Maybe t -> WithOrigin t Source #