ouroboros-network-api-0.7.3.0: A networking api shared with ouroboros-consensus
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Network.Point

Documentation

data WithOrigin t Source #

Constructors

Origin 
At !t 

Instances

Instances details
Foldable WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

foldMonoid m ⇒ WithOrigin m → m #

foldMapMonoid m ⇒ (a → m) → WithOrigin a → m #

foldMap'Monoid m ⇒ (a → m) → WithOrigin a → m #

foldr ∷ (a → b → b) → b → WithOrigin a → b #

foldr' ∷ (a → b → b) → b → WithOrigin a → b #

foldl ∷ (b → a → b) → b → WithOrigin a → b #

foldl' ∷ (b → a → b) → b → WithOrigin a → b #

foldr1 ∷ (a → a → a) → WithOrigin a → a #

foldl1 ∷ (a → a → a) → WithOrigin a → a #

toListWithOrigin a → [a] #

nullWithOrigin a → Bool #

lengthWithOrigin a → Int #

elemEq a ⇒ a → WithOrigin a → Bool #

maximumOrd a ⇒ WithOrigin a → a #

minimumOrd a ⇒ WithOrigin a → a #

sumNum a ⇒ WithOrigin a → a #

productNum a ⇒ WithOrigin a → a #

Traversable WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

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

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

Functor WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fmap ∷ (a → b) → WithOrigin a → WithOrigin b #

(<$) ∷ a → WithOrigin b → WithOrigin a #

FromJSON a ⇒ FromJSON (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON a ⇒ ToJSON (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Bounded t ⇒ Bounded (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 #

Methods

fromWithOrigin t → Rep (WithOrigin t) x #

toRep (WithOrigin t) x → WithOrigin t #

Show t ⇒ Show (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrecIntWithOrigin t → ShowS #

showWithOrigin t → String #

showList ∷ [WithOrigin t] → ShowS #

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

Defined in Cardano.Slotting.Slot

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

Defined in Cardano.Slotting.Slot

Methods

toCBORWithOrigin t → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (WithOrigin t) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [WithOrigin t] → Size Source #

NFData a ⇒ NFData (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnfWithOrigin a → () #

Eq t ⇒ Eq (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==)WithOrigin t → WithOrigin t → Bool #

(/=)WithOrigin t → WithOrigin t → Bool #

Ord t ⇒ Ord (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compareWithOrigin t → WithOrigin t → Ordering #

(<)WithOrigin t → WithOrigin t → Bool #

(<=)WithOrigin t → WithOrigin t → Bool #

(>)WithOrigin t → WithOrigin t → Bool #

(>=)WithOrigin t → WithOrigin t → Bool #

maxWithOrigin t → WithOrigin t → WithOrigin t #

minWithOrigin t → WithOrigin t → WithOrigin t #

NoThunks t ⇒ NoThunks (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Serialise t ⇒ Serialise (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

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.2.0.0-fcd779d85b11bcd3f09a66826845e1f73cb8cb989f38000e2978601c781b23cb" '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
Generic (Block slot hash) Source # 
Instance details

Defined in Ouroboros.Network.Point

Associated Types

type Rep (Block slot hash) ∷ TypeType #

Methods

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

toRep (Block slot hash) x → Block slot hash #

(Show slot, Show hash) ⇒ Show (Block slot hash) Source # 
Instance details

Defined in Ouroboros.Network.Point

Methods

showsPrecIntBlock slot hash → ShowS #

showBlock slot hash → String #

showList ∷ [Block slot hash] → ShowS #

(Eq slot, Eq hash) ⇒ Eq (Block slot hash) Source # 
Instance details

Defined in Ouroboros.Network.Point

Methods

(==)Block slot hash → Block slot hash → Bool #

(/=)Block slot hash → Block slot hash → Bool #

(Ord slot, Ord hash) ⇒ Ord (Block slot hash) Source # 
Instance details

Defined in Ouroboros.Network.Point

Methods

compareBlock slot hash → Block slot hash → Ordering #

(<)Block slot hash → Block slot hash → Bool #

(<=)Block slot hash → Block slot hash → Bool #

(>)Block slot hash → Block slot hash → Bool #

(>=)Block slot hash → Block slot hash → Bool #

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

minBlock slot hash → Block slot hash → Block slot hash #

(NoThunks slot, NoThunks hash) ⇒ NoThunks (Block slot hash) Source # 
Instance details

Defined in Ouroboros.Network.Point

Methods

noThunksContextBlock slot hash → IO (Maybe ThunkInfo) Source #

wNoThunksContextBlock slot hash → IO (Maybe ThunkInfo) Source #

showTypeOfProxy (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-api-0.7.3.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 Source #

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

fromWithOrigin ∷ t → WithOrigin t → t Source #

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