cardano-api

Safe Haskell	None
Language	Haskell2010

Cardano.Api.Network

Documentation

data Target point Source #

Constructors

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

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 #

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.10.0.2-9769ea296feec0abc192c54a9ae1893d82ab7fe37c8542f06de6a6cb48509d25" '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.10.0.2-9769ea296feec0abc192c54a9ae1893d82ab7fe37c8542f06de6a6cb48509d25" '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)))