Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Network.Point
Documentation
data WithOrigin t Source #
Instances
Constructors
Block | |
Fields
|
Instances
( Eq slot, Eq hash) => Eq ( Block slot hash) Source # | |
( Ord slot, Ord hash) => Ord ( Block slot hash) Source # | |
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 # | |
Generic ( Block slot hash) Source # | |
( NoThunks slot, NoThunks hash) => NoThunks ( Block slot hash) Source # | |
type Rep ( Block slot hash) Source # | |
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 #