Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Point

Documentation

data WithOrigin t #

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 #
NFData a ⇒ NFData (WithOrigin a)
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ WithOrigin a → () Source #
Serialise t ⇒ Serialise (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ WithOrigin t → Encoding # decode ∷ Decoder s (WithOrigin t) # encodeList ∷ [WithOrigin t] → Encoding # decodeList ∷ Decoder s [WithOrigin t] #
NoThunks t ⇒ NoThunks (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) wNoThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (WithOrigin t) → String
(Serialise t, Typeable t) ⇒ FromCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s (WithOrigin t) label ∷ Proxy (WithOrigin t) → Text
(Serialise t, Typeable t) ⇒ ToCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ WithOrigin t → Encoding encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (WithOrigin t) → Size encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [WithOrigin t] → Size
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.0-0d44f65cb9561765b48fdba2b66a0b633a4e95aca59cab56ad2b70ffb4013db6" '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) wNoThunks ∷ Context → Block slot hash → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (Block slot hash) → String
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.0-inplace" '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 #

at ∷ t → WithOrigin t #

block ∷ slot → hash → WithOrigin (Block slot hash) Source #

fromWithOrigin ∷ t → WithOrigin t → t #

withOrigin ∷ b → (t → b) → WithOrigin t → b #

withOriginToMaybe ∷ WithOrigin t → Maybe t #

withOriginFromMaybe ∷ Maybe t → WithOrigin t #