| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.ReexposeNetwork
Synopsis
- data Target point
- = VolatileTip
- | SpecificPoint point
- | ImmutableTip
- newtype Serialised (a :: k) = Serialised {}
- data SubmitResult reason
- = SubmitSuccess
- | SubmitFail reason
Documentation
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
|
| ImmutableTip | The tip of the immutable chain Cannot fail to be acquired. Requires at least |
Instances
| Foldable Target | |||||
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 # | |||||
| Traversable Target | |||||
| Functor Target | |||||
| Generic (Target point) | |||||
Defined in Ouroboros.Network.Protocol.LocalStateQuery.Type Associated Types
| |||||
| Show point => Show (Target point) | |||||
| NFData point => NFData (Target point) | |||||
| Eq point => Eq (Target point) | |||||
| Ord point => Ord (Target point) | |||||
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) | |||||
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))) | |||||
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 | |
Instances
data SubmitResult reason Source #
Isomorphic with Maybe but with a name that better describes its purpose and usage.
Constructors
| SubmitSuccess | |
| SubmitFail reason |
Instances
| Functor SubmitResult | |
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) | |
Defined in Ouroboros.Network.Protocol.LocalTxSubmission.Type Methods (==) :: SubmitResult reason -> SubmitResult reason -> Bool Source # (/=) :: SubmitResult reason -> SubmitResult reason -> Bool Source # | |