Safe Haskell	None
Language	Haskell2010

Cardano.Api.Network

Synopsis

newtype Serialised (a :: k) = Serialised {
- unSerialised :: ByteString
}
data Target point
- = VolatileTip
- | SpecificPoint point
- | ImmutableTip
data SubmitResult reason
- = SubmitSuccess
- | SubmitFail reason

Documentation

newtype Serialised (a :: k) Source #

An already serialised value

When streaming blocks/header from disk to the network, there is often no need to deserialise them, as we'll just end up serialising them again when putting them on the wire.

Constructors

Serialised
Fields unSerialised :: ByteString

Instances

Instances details

StandardHash block => StandardHash (Serialised block :: Type)
Instance details Defined in Ouroboros.Network.Block
ShowProxy a => ShowProxy (Serialised a :: Type)
Instance details Defined in Ouroboros.Network.Block Methods showProxy :: Proxy (Serialised a) -> String Source #
Show (Serialised a)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> Serialised a -> ShowS Source # show :: Serialised a -> String Source # showList :: [Serialised a] -> ShowS Source #
Eq (Serialised a)
Instance details Defined in Ouroboros.Network.Block Methods (==) :: Serialised a -> Serialised a -> Bool Source # (/=) :: Serialised a -> Serialised a -> Bool Source #
Serialise (Serialised a)	CBOR-in-CBOR TODO: replace with encodeEmbeddedCBOR from cborg-0.2.4 once it is available, since that will be faster. TODO: Avoid converting to a strict ByteString, as that requires copying O(n) in case the lazy ByteString consists of more than one chunks.
Instance details Defined in Ouroboros.Network.Block Methods encode :: Serialised a -> Encoding decode :: Decoder s (Serialised a) encodeList :: [Serialised a] -> Encoding decodeList :: Decoder s [Serialised a]
type HeaderHash (Serialised block :: Type)
Instance details Defined in Ouroboros.Network.Block type HeaderHash (Serialised block :: Type) = HeaderHash block

data Target point Source #

Constructors

VolatileTip

The tip of the volatile chain

Cannot fail to be acquired.

SpecificPoint point

A specified point

Fails to be acquired if the point is not between VolatileTip and ImmutableTip (inclusive).

ImmutableTip

The tip of the immutable chain

Cannot fail to be acquired.

Requires at least NodeToClientV_16.

Instances

Instances details

Foldable Target

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

fold :: Monoid m => Target m -> m Source #

foldMap :: Monoid m => (a -> m) -> Target a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Target a -> m Source #

foldr :: (a -> b -> b) -> b -> Target a -> b Source #

foldr' :: (a -> b -> b) -> b -> Target a -> b Source #

foldl :: (b -> a -> b) -> b -> Target a -> b Source #

foldl' :: (b -> a -> b) -> b -> Target a -> b Source #

foldr1 :: (a -> a -> a) -> Target a -> a Source #

foldl1 :: (a -> a -> a) -> Target a -> a Source #

toList :: Target a -> [a] Source #

null :: Target a -> Bool Source #

length :: Target a -> Int Source #

elem :: Eq a => a -> Target a -> Bool Source #

maximum :: Ord a => Target a -> a Source #

minimum :: Ord a => Target a -> a Source #

sum :: Num a => Target a -> a Source #

product :: Num a => Target a -> a Source #

Traversable Target

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

traverse :: Applicative f => (a -> f b) -> Target a -> f (Target b) Source #

sequenceA :: Applicative f => Target (f a) -> f (Target a) Source #

mapM :: Monad m => (a -> m b) -> Target a -> m (Target b) Source #

sequence :: Monad m => Target (m a) -> m (Target a) Source #

Functor Target

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

fmap :: (a -> b) -> Target a -> Target b Source #

(<$) :: a -> Target b -> Target a Source #

Generic (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Associated Types

type Rep (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

type Rep (Target point) = D1 ('MetaData "Target" "Ouroboros.Network.Protocol.LocalStateQuery.Type" "ouroboros-network-protocols-0.11.0.0-dbe28cd85e90450a9093c991f088d6578c0430a256ce4e92bae45a7dc596c689" 'False) (C1 ('MetaCons "VolatileTip" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SpecificPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 point)) :+: C1 ('MetaCons "ImmutableTip" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Target point -> Rep (Target point) x Source #

to :: Rep (Target point) x -> Target point Source #

Show point => Show (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

showsPrec :: Int -> Target point -> ShowS Source #

show :: Target point -> String Source #

showList :: [Target point] -> ShowS Source #

NFData point => NFData (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

rnf :: Target point -> () Source #

Eq point => Eq (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

(==) :: Target point -> Target point -> Bool Source #

(/=) :: Target point -> Target point -> Bool Source #

Ord point => Ord (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

Methods

compare :: Target point -> Target point -> Ordering Source #

(<) :: Target point -> Target point -> Bool Source #

(<=) :: Target point -> Target point -> Bool Source #

(>) :: Target point -> Target point -> Bool Source #

(>=) :: Target point -> Target point -> Bool Source #

max :: Target point -> Target point -> Target point Source #

min :: Target point -> Target point -> Target point Source #

type Rep (Target point)

Instance details

Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type

type Rep (Target point) = D1 ('MetaData "Target" "Ouroboros.Network.Protocol.LocalStateQuery.Type" "ouroboros-network-protocols-0.11.0.0-dbe28cd85e90450a9093c991f088d6578c0430a256ce4e92bae45a7dc596c689" 'False) (C1 ('MetaCons "VolatileTip" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SpecificPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 point)) :+: C1 ('MetaCons "ImmutableTip" 'PrefixI 'False) (U1 :: Type -> Type)))

data SubmitResult reason Source #

Isomorphic with Maybe but with a name that better describes its purpose and usage.

Constructors

SubmitSuccess
SubmitFail reason

Instances

Instances details

Functor SubmitResult
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods fmap :: (a -> b) -> SubmitResult a -> SubmitResult b Source # (<$) :: a -> SubmitResult b -> SubmitResult a Source #
Eq reason => Eq (SubmitResult reason)
Instance details Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods (==) :: SubmitResult reason -> SubmitResult reason -> Bool Source # (/=) :: SubmitResult reason -> SubmitResult reason -> Bool Source #