ouroboros-network-0.1.0.0: A networking layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

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

foldMonoid m ⇒ WithOrigin m → m Source #

foldMapMonoid 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 #

toListWithOrigin a → [a] Source #

nullWithOrigin a → Bool Source #

lengthWithOrigin a → Int Source #

elemEq a ⇒ a → WithOrigin a → Bool Source #

maximumOrd a ⇒ WithOrigin a → a Source #

minimumOrd a ⇒ WithOrigin a → a Source #

sumNum a ⇒ WithOrigin a → a Source #

productNum a ⇒ WithOrigin a → a Source #

Traversable WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

traverseApplicative f ⇒ (a → f b) → WithOrigin a → f (WithOrigin b) Source #

sequenceAApplicative f ⇒ WithOrigin (f a) → f (WithOrigin a) Source #

mapMMonad m ⇒ (a → m b) → WithOrigin a → m (WithOrigin b) Source #

sequenceMonad m ⇒ WithOrigin (m a) → m (WithOrigin a) Source #

Bounded t ⇒ Bounded (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

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

Show t ⇒ Show (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Generic (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep (WithOrigin t) ∷ TypeType Source #

Methods

fromWithOrigin t → Rep (WithOrigin t) x Source #

toRep (WithOrigin t) x → WithOrigin t Source #

NFData a ⇒ NFData (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnfWithOrigin a → () Source #

Serialise t ⇒ Serialise (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

encodeWithOrigin 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)

showTypeOfProxy (WithOrigin t) → String

(Serialise t, Typeable t) ⇒ FromCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s (WithOrigin t)

labelProxy (WithOrigin t) → Text

(Serialise t, Typeable t) ⇒ ToCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBORWithOrigin 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 #

getAnchorMeasureProxy 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) (U1TypeType) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

data Block slot hash Source #

Constructors

Block 

Fields

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

compareBlock 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 #

maxBlock slot hash → Block slot hash → Block slot hash Source #

minBlock 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

showsPrecIntBlock slot hash → ShowS Source #

showBlock 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) ∷ TypeType Source #

Methods

fromBlock slot hash → Rep (Block slot hash) x Source #

toRep (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)

showTypeOfProxy (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)))

at ∷ t → WithOrigin t #

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

fromWithOrigin ∷ t → WithOrigin t → t #

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