Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util

7 types
2 classes
44 values

Packageouroboros-consensus-4.2.1.0
Exports53
LicenceApache-2.0

value(......:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> x4 -> x5 -> x6 -> y
-> x0
-> x1
-> x2
-> x3
-> x4
-> x5
-> x6
-> z

value(.....:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> x4 -> x5 -> y
-> x0
-> x1
-> x2
-> x3
-> x4
-> x5
-> z

value(....:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> x4 -> y
-> x0
-> x1
-> x2
-> x3
-> x4
-> z

value(...:)

:: y -> z
-> x0 -> x1 -> x2 -> x3 -> y
-> x0
-> x1
-> x2
-> x3
-> z

value(..:) :: (y -> z) -> (x0 -> x1 -> x2 -> y) -> x0 -> x1 -> x2 -> z

value(.:) :: (y -> z) -> (x0 -> x1 -> y) -> x0 -> x1 -> z

valueallDisjoint :: Ord a => [Set a] -> Bool

valueallEqual :: Eq a => [a] -> Bool

valuebyteStringChunks :: Int -> ByteString -> [ByteString]

valuecheckThat :: (Show a, Monad m) => String -> (a -> Bool) -> a -> m ()

valuechunks :: Int -> [a] -> [[a]]

valuecoerceMapKeys :: Coercible k1 k2 => Map k1 v -> Map k2 v

This function expects the types of the keys to have exactly the same Ord ordering. If you are certain this is the case, ignore this warning with `-Wno-x-ord-preserving-coercions`.

valuecoerceSet :: Coercible k1 k2 => Set k1 -> Set k2

This function expects the types of the keys to have exactly the same Ord ordering. If you are certain this is the case, ignore this warning with `-Wno-x-ord-preserving-coercions`.

valuedropLast :: Word64 -> [a] -> [a]

valueeitherToMaybe :: Either a b -> Maybe b

valueelectric :: m a -> Electric m a

valuefib :: Word64 -> Word64

valuefindM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m (Maybe a)

valuefirstJust :: Foldable f => (a -> Maybe b) -> f a -> Maybe b

valuefoldlM' :: Monad m => (b -> a -> m b) -> b -> [a] -> m b

valuehashFromBytesE :: (HashAlgorithm h, HasCallStack) => ByteString -> Hash h a

valuehashFromBytesShortE

valuelastMaybe :: [a] -> Maybe a

valuelazyByteStringChunks :: Int -> ByteString -> [ByteString]

valuemarkLast :: [a] -> [Either a a]

valuemustBeRight :: Either Void a -> a

valuenTimes :: (a -> a) -> Word64 -> a -> a

valuenTimesM :: Monad m => (a -> m a) -> Word64 -> a -> m a

valuenewFuse :: MonadMVar m => Text -> m (Fuse m)

valuepairFst :: Product f g a -> f a

valuepairSnd :: Product f g a -> g a

valuepickOne :: [a] -> [([a], a, [a])]

valuerepeatedly :: (a -> b -> b) -> [a] -> b -> b

valuerepeatedlyM :: Monad m => (a -> b -> m b) -> [a] -> b -> m b

valuesafeMaximum :: Ord a => [a] -> Maybe a

valuesafeMaximumBy :: (a -> a -> Ordering) -> [a] -> Maybe a

valuesafeMaximumOn :: Ord b => (a -> b) -> [a] -> Maybe a

valuesplit :: (a -> Bool) -> [a] -> NonEmpty [a]

valuesplits :: [a] -> [([a], a, [a])]

valuetakeLast :: Word64 -> [a] -> [a]

valuetakeUntil :: (a -> Bool) -> [a] -> [a]

valuewhenJust :: Applicative f => Maybe a -> (a -> f ()) -> f ()

valuewhenNothing :: Applicative f => Maybe a -> f () -> f ()

valuewithFuse :: (MonadThrow m, MonadMVar m) => Fuse m -> Electric m a -> m a

newtypenewtype Electric (m :: k -> Type) (a :: k)

Instances6MonadTrans, Monad, Functor, Applicative, MonadCatch, MonadThrow

MonadTrans ElectricDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Monad m => Monad (Electric m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Functor m => Functor (Electric m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Applicative m => Applicative (Electric m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
MonadCatch m => MonadCatch (Electric m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
MonadThrow m => MonadThrow (Electric m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util

classclass Empty (a :: k)

Instances1Empty

Empty aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util

newtypenewtype Flag (name :: Symbol)

Constructors

Flag
- getFlag :: Bool

Instances4Eq, Show, Generic, Rep

Eq (Flag name)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Show (Flag name)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Generic (Flag name)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
type Rep (Flag name) = D1 ('MetaData "Flag" "Ouroboros.Consensus.Util" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "Flag" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFlag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util

datadata Fuse (m :: Type -> Type)

Instances3Generic, NoThunks, Rep

Generic (Fuse m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
NoThunks (StrictMVar m ()) => NoThunks (Fuse m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
type Rep (Fuse m) = D1 ('MetaData "Fuse" "Ouroboros.Consensus.Util" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Fuse" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMVar m ()))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util

newtypenewtype FuseBlownException

Constructors

FuseBlownException Text

Instances2Show, Exception

Show FuseBlownExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util
Exception FuseBlownExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util

datadata SomePair (f :: k -> Type) (g :: k -> Type) where

Constructors

SomePair :: f a -> g a -> SomePair f g

datadata SomeSecond (f :: k1 -> k2 -> Type) (a :: k1) where

Constructors

SomeSecond :: !f a b -> SomeSecond f a

Instances6Isomorphic, Eq, Show, NoThunks

Isomorphic (SomeSecond (NestedCtxt f))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
SameDepIndex (NestedCtxt_ blk f) => Eq (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
SameDepIndex (Query blk) => Eq (SomeSecond Query blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Query
Show (SomeBlockQuery (BlockQuery blk)) => Show (SomeSecond Query blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Query
HasNestedContent f blk => Show (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent
(Typeable f, Typeable blk) => NoThunks (SomeSecond (NestedCtxt f) blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.NestedContent

classclass ShowProxy (p :: k) where

Methods

showProxy :: Proxy p -> String

Instances19ShowProxy, …

ShowProxy PerasRoundNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ShowProxy NodeIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.NodeId
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Typeable xs => ShowProxy (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
Typeable xs => ShowProxy (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool
Typeable xs => ShowProxy (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
ShowProxy blk => ShowProxy (PerasCert blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ShowProxy blk => ShowProxy (PerasVote blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ShowProxy blk => ShowProxy (PerasVoteId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsPeras
ShowProxy blk => ShowProxy (SerialisedHeader blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (DualGenTxErr m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Typeable xs => ShowProxy (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
ShowProxy (BlockQuery blk) => ShowProxy (Query blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Query
(Typeable m, Typeable a) => ShowProxy (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata Some (f :: k -> Type) where

Constructors

Some :: f a -> Some f

Instances2Show, Serialise

Show (Some ClosedExpr)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Serialise (Some QueryAnytime)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query