| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Util.IOLike
Synopsis
- class (MonadAsync m, MonadLabelledSTM m, MonadTraceSTM m, MonadMVar m, MonadEventlog m, MonadFork m, MonadST m, MonadDelay m, MonadThread m, MonadThrow m, MonadCatch m, MonadMask m, MonadMonotonicTime m, MonadEvaluate m, MonadTraceSTM m, Alternative (STM m), MonadCatch (STM m), PrimMonad m, MonadLabelledSTM m, ∀ a. NoThunks (m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictSVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictMVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictMVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTMVar m a)) ⇒ IOLike (m ∷ Type → Type) where
- forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → m ()
- class (Typeable e, Show e) ⇒ Exception e where
- toException ∷ e → SomeException
- fromException ∷ SomeException → Maybe e
- displayException ∷ e → String
- backtraceDesired ∷ e → Bool
- data ExitCase a
- class MonadThrow m ⇒ MonadCatch (m ∷ Type → Type) where
- catch ∷ Exception e ⇒ m a → (e → m a) → m a
- catchJust ∷ Exception e ⇒ (e → Maybe b) → m a → (b → m a) → m a
- try ∷ Exception e ⇒ m a → m (Either e a)
- tryJust ∷ Exception e ⇒ (e → Maybe b) → m a → m (Either b a)
- handle ∷ Exception e ⇒ (e → m a) → m a → m a
- handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → m a) → m a → m a
- onException ∷ m a → m b → m a
- bracketOnError ∷ m a → (a → m b) → (a → m c) → m c
- generalBracket ∷ m a → (a → ExitCase b → m c) → (a → m b) → m (b, c)
- class MonadCatch m ⇒ MonadMask (m ∷ Type → Type) where
- mask ∷ ((∀ a. m a → m a) → m b) → m b
- uninterruptibleMask ∷ ((∀ a. m a → m a) → m b) → m b
- mask_ ∷ m a → m a
- uninterruptibleMask_ ∷ m a → m a
- getMaskingState ∷ m MaskingState
- interruptible ∷ m a → m a
- allowInterrupt ∷ m ()
- class Monad m ⇒ MonadThrow (m ∷ Type → Type) where
- throwIO ∷ Exception e ⇒ e → m a
- bracket ∷ m a → (a → m b) → (a → m c) → m c
- bracket_ ∷ m a → m b → m c → m c
- finally ∷ m a → m b → m a
- annotateIO ∷ ExceptionAnnotation e ⇒ e → m a → m a
- data SomeException
- module Ouroboros.Consensus.Util.MonadSTM.NormalForm
- module Ouroboros.Consensus.Util.NormalForm.StrictMVar
- module Ouroboros.Consensus.Util.NormalForm.StrictTVar
- class MonadThread m ⇒ MonadFork (m ∷ Type → Type) where
- forkIO ∷ m () → m (ThreadId m)
- forkOn ∷ Int → m () → m (ThreadId m)
- forkIOWithUnmask ∷ ((∀ a. m a → m a) → m ()) → m (ThreadId m)
- forkFinally ∷ m a → (Either SomeException a → m ()) → m (ThreadId m)
- throwTo ∷ Exception e ⇒ ThreadId m → e → m ()
- killThread ∷ ThreadId m → m ()
- yield ∷ m ()
- getNumCapabilities ∷ m Int
- class (Monad m, Eq (ThreadId m), Ord (ThreadId m), Show (ThreadId m)) ⇒ MonadThread (m ∷ Type → Type) where
- type ThreadId (m ∷ Type → Type)
- myThreadId ∷ m (ThreadId m)
- labelThread ∷ ThreadId m → String → m ()
- threadLabel ∷ ThreadId m → m (Maybe String)
- labelThisThread ∷ MonadThread m ⇒ String → m ()
- data ExceptionInLinkedThread = ExceptionInLinkedThread String SomeException
- class (MonadSTM m, MonadThread m) ⇒ MonadAsync (m ∷ Type → Type) where
- type Async (m ∷ Type → Type) = (async ∷ Type → Type) | async → m
- async ∷ m a → m (Async m a)
- asyncBound ∷ m a → m (Async m a)
- asyncOn ∷ Int → m a → m (Async m a)
- asyncThreadId ∷ Async m a → ThreadId m
- withAsync ∷ m a → (Async m a → m b) → m b
- withAsyncBound ∷ m a → (Async m a → m b) → m b
- withAsyncOn ∷ Int → m a → (Async m a → m b) → m b
- waitSTM ∷ Async m a → STM m a
- pollSTM ∷ Async m a → STM m (Maybe (Either SomeException a))
- waitCatchSTM ∷ Async m a → STM m (Either SomeException a)
- waitAnySTM ∷ [Async m a] → STM m (Async m a, a)
- waitAnyCatchSTM ∷ [Async m a] → STM m (Async m a, Either SomeException a)
- waitEitherSTM ∷ Async m a → Async m b → STM m (Either a b)
- waitEitherSTM_ ∷ Async m a → Async m b → STM m ()
- waitEitherCatchSTM ∷ Async m a → Async m b → STM m (Either (Either SomeException a) (Either SomeException b))
- waitBothSTM ∷ Async m a → Async m b → STM m (a, b)
- wait ∷ Async m a → m a
- poll ∷ Async m a → m (Maybe (Either SomeException a))
- waitCatch ∷ Async m a → m (Either SomeException a)
- cancel ∷ Async m a → m ()
- cancelWith ∷ Exception e ⇒ Async m a → e → m ()
- uninterruptibleCancel ∷ Async m a → m ()
- waitAny ∷ [Async m a] → m (Async m a, a)
- waitAnyCatch ∷ [Async m a] → m (Async m a, Either SomeException a)
- waitAnyCancel ∷ [Async m a] → m (Async m a, a)
- waitAnyCatchCancel ∷ [Async m a] → m (Async m a, Either SomeException a)
- waitEither ∷ Async m a → Async m b → m (Either a b)
- waitEitherCatch ∷ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b))
- waitEitherCancel ∷ Async m a → Async m b → m (Either a b)
- waitEitherCatchCancel ∷ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b))
- waitEither_ ∷ Async m a → Async m b → m ()
- waitBoth ∷ Async m a → Async m b → m (a, b)
- race ∷ m a → m b → m (Either a b)
- race_ ∷ m a → m b → m ()
- concurrently ∷ m a → m b → m (a, b)
- concurrently_ ∷ m a → m b → m ()
- asyncWithUnmask ∷ ((∀ b. m b → m b) → m a) → m (Async m a)
- asyncOnWithUnmask ∷ Int → ((∀ b. m b → m b) → m a) → m (Async m a)
- withAsyncWithUnmask ∷ ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b
- withAsyncOnWithUnmask ∷ Int → ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b
- compareAsyncs ∷ Async m a → Async m b → Ordering
- link ∷ (MonadAsync m, MonadFork m, MonadMask m) ⇒ Async m a → m ()
- linkTo ∷ (MonadAsync m, MonadFork m, MonadMask m) ⇒ ThreadId m → Async m a → m ()
- class PrimMonad m ⇒ MonadST (m ∷ Type → Type) where
- stToIO ∷ ST (PrimState m) a → m a
- withLiftST ∷ (∀ s. (∀ a. ST s a → m a) → b) → b
- class Monad m ⇒ PrimMonad (m ∷ Type → Type) where
- data DiffTime
- class MonadMonotonicTimeNSec m ⇒ MonadMonotonicTime (m ∷ Type → Type) where
- getMonotonicTime ∷ m Time
- newtype Time = Time DiffTime
- addTime ∷ DiffTime → Time → Time
- diffTime ∷ Time → Time → DiffTime
- class (MonadDelay m, MonadMonotonicTime m) ⇒ MonadDelay (m ∷ Type → Type) where
- threadDelay ∷ DiffTime → m ()
- class Monad m ⇒ MonadEventlog (m ∷ Type → Type) where
- traceEventIO ∷ String → m ()
- traceMarkerIO ∷ String → m ()
- class MonadEvaluate (m ∷ Type → Type) where
- evaluate ∷ a → m a
- class NoThunks a where
Documentation
class (MonadAsync m, MonadLabelledSTM m, MonadTraceSTM m, MonadMVar m, MonadEventlog m, MonadFork m, MonadST m, MonadDelay m, MonadThread m, MonadThrow m, MonadCatch m, MonadMask m, MonadMonotonicTime m, MonadEvaluate m, MonadTraceSTM m, Alternative (STM m), MonadCatch (STM m), PrimMonad m, MonadLabelledSTM m, ∀ a. NoThunks (m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictSVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictMVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictMVar m a), ∀ a. NoThunks a ⇒ NoThunks (StrictTMVar m a)) ⇒ IOLike (m ∷ Type → Type) where Source #
Methods
forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → m () Source #
Securely forget a KES signing key.
No-op for the IOSim, but forgetSignKeyKES for IO.
Instances
| IOLike IO Source # | |
Defined in Ouroboros.Consensus.Util.IOLike Methods forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → IO () Source # | |
| (IOLike m, ∀ a. NoThunks (StrictTVar (WithEarlyExit m) a), ∀ a. NoThunks (StrictSVar (WithEarlyExit m) a), ∀ a. NoThunks (StrictMVar (WithEarlyExit m) a)) ⇒ IOLike (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → WithEarlyExit m () Source # | |
Re-exports
MonadThrow
class (Typeable e, Show e) ⇒ Exception e where #
Any type that you wish to throw or catch as an exception must be an
instance of the Exception class. The simplest case is a new exception
type directly below the root:
data MyException = ThisException | ThatException
deriving Show
instance Exception MyExceptionThe default method definitions in the Exception class do what we need
in this case. You can now throw and catch ThisException and
ThatException as exceptions:
*Main> throw ThisException `catch` \e -> putStrLn ("Caught " ++ show (e :: MyException))
Caught ThisException
In more complicated examples, you may wish to define a whole hierarchy of exceptions:
---------------------------------------------------------------------
-- Make the root exception type for all the exceptions in a compiler
data SomeCompilerException = forall e . Exception e => SomeCompilerException e
instance Show SomeCompilerException where
show (SomeCompilerException e) = show e
instance Exception SomeCompilerException
compilerExceptionToException :: Exception e => e -> SomeException
compilerExceptionToException = toException . SomeCompilerException
compilerExceptionFromException :: Exception e => SomeException -> Maybe e
compilerExceptionFromException x = do
SomeCompilerException a <- fromException x
cast a
---------------------------------------------------------------------
-- Make a subhierarchy for exceptions in the frontend of the compiler
data SomeFrontendException = forall e . Exception e => SomeFrontendException e
instance Show SomeFrontendException where
show (SomeFrontendException e) = show e
instance Exception SomeFrontendException where
toException = compilerExceptionToException
fromException = compilerExceptionFromException
frontendExceptionToException :: Exception e => e -> SomeException
frontendExceptionToException = toException . SomeFrontendException
frontendExceptionFromException :: Exception e => SomeException -> Maybe e
frontendExceptionFromException x = do
SomeFrontendException a <- fromException x
cast a
---------------------------------------------------------------------
-- Make an exception type for a particular frontend compiler exception
data MismatchedParentheses = MismatchedParentheses
deriving Show
instance Exception MismatchedParentheses where
toException = frontendExceptionToException
fromException = frontendExceptionFromExceptionWe can now catch a MismatchedParentheses exception as
MismatchedParentheses, SomeFrontendException or
SomeCompilerException, but not other types, e.g. IOException:
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: MismatchedParentheses))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: SomeFrontendException))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: SomeCompilerException))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: IOException))
*** Exception: MismatchedParentheses
Minimal complete definition
Nothing
Methods
toException ∷ e → SomeException #
toException should produce a SomeException with no attached ExceptionContext.
fromException ∷ SomeException → Maybe e #
displayException ∷ e → String #
Render this exception value in a human-friendly manner.
Default implementation: show
Since: base-4.8.0.0
backtraceDesired ∷ e → Bool #
Since: base-4.20.0.0
Instances
Used in generalBracket
See exceptions package for discussion and motivation.
Constructors
| ExitCaseSuccess a | |
| ExitCaseException SomeException | |
| ExitCaseAbort |
class MonadThrow m ⇒ MonadCatch (m ∷ Type → Type) where Source #
Catching exceptions.
Covers standard utilities to respond to exceptions.
Minimal complete definition
Methods
catch ∷ Exception e ⇒ m a → (e → m a) → m a Source #
catchJust ∷ Exception e ⇒ (e → Maybe b) → m a → (b → m a) → m a Source #
try ∷ Exception e ⇒ m a → m (Either e a) Source #
tryJust ∷ Exception e ⇒ (e → Maybe b) → m a → m (Either b a) Source #
handle ∷ Exception e ⇒ (e → m a) → m a → m a Source #
handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → m a) → m a → m a Source #
onException ∷ m a → m b → m a Source #
bracketOnError ∷ m a → (a → m b) → (a → m c) → m c Source #
generalBracket ∷ m a → (a → ExitCase b → m c) → (a → m b) → m (b, c) Source #
General form of bracket
See http://hackage.haskell.org/package/exceptions-0.10.0/docs/Control-Monad-Catch.html#v:generalBracket for discussion and motivation.
default generalBracket ∷ MonadMask m ⇒ m a → (a → ExitCase b → m c) → (a → m b) → m (b, c) Source #
Instances
class MonadCatch m ⇒ MonadMask (m ∷ Type → Type) where Source #
Support for safely working in the presence of asynchronous exceptions.
This is typically not needed directly as the utilities in MonadThrow and
MonadCatch cover most use cases.
Minimal complete definition
Methods
mask ∷ ((∀ a. m a → m a) → m b) → m b Source #
uninterruptibleMask ∷ ((∀ a. m a → m a) → m b) → m b Source #
uninterruptibleMask_ ∷ m a → m a Source #
getMaskingState ∷ m MaskingState Source #
interruptible ∷ m a → m a Source #
allowInterrupt ∷ m () Source #
Instances
class Monad m ⇒ MonadThrow (m ∷ Type → Type) where Source #
Throwing exceptions, and resource handling in the presence of exceptions.
Does not include the ability to respond to exceptions.
Minimal complete definition
Methods
throwIO ∷ Exception e ⇒ e → m a Source #
bracket ∷ m a → (a → m b) → (a → m c) → m c Source #
default bracket ∷ MonadCatch m ⇒ m a → (a → m b) → (a → m c) → m c Source #
bracket_ ∷ m a → m b → m c → m c Source #
finally ∷ m a → m b → m a Source #
annotateIO ∷ ExceptionAnnotation e ⇒ e → m a → m a Source #
See annotateIO.
Since: io-classes-1.5.0.0
Instances
data SomeException #
The SomeException type is the root of the exception type hierarchy.
When an exception of type e is thrown, behind the scenes it is
encapsulated in a SomeException.
Instances
| Exception SomeException # | This drops any attached Since: base-3.0 |
Defined in GHC.Internal.Exception.Type | |
| Show SomeException # | Since: ghc-internal-3.0 |
Defined in GHC.Internal.Exception.Type Methods showsPrec ∷ Int → SomeException → ShowS # show ∷ SomeException → String # showList ∷ [SomeException] → ShowS # | |
Variables with NoThunks invariants
MonadFork, TODO: Should we hide this in favour of MonadAsync?
class MonadThread m ⇒ MonadFork (m ∷ Type → Type) where Source #
Minimal complete definition
forkIO, forkOn, forkIOWithUnmask, forkFinally, throwTo, yield, getNumCapabilities
Methods
forkIO ∷ m () → m (ThreadId m) Source #
forkOn ∷ Int → m () → m (ThreadId m) Source #
forkIOWithUnmask ∷ ((∀ a. m a → m a) → m ()) → m (ThreadId m) Source #
forkFinally ∷ m a → (Either SomeException a → m ()) → m (ThreadId m) Source #
throwTo ∷ Exception e ⇒ ThreadId m → e → m () Source #
killThread ∷ ThreadId m → m () Source #
getNumCapabilities ∷ m Int Source #
Instances
class (Monad m, Eq (ThreadId m), Ord (ThreadId m), Show (ThreadId m)) ⇒ MonadThread (m ∷ Type → Type) where Source #
Methods
myThreadId ∷ m (ThreadId m) Source #
labelThread ∷ ThreadId m → String → m () Source #
threadLabel ∷ ThreadId m → m (Maybe String) Source #
Requires ghc-9.6.1 or newer.
Since: io-classes-1.8.0.0
Instances
| MonadThread IO Source # | |||||
| MonadThread m ⇒ MonadThread (WithEarlyExit m) Source # | |||||
Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types
Methods myThreadId ∷ WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # labelThread ∷ ThreadId (WithEarlyExit m) → String → WithEarlyExit m () Source # threadLabel ∷ ThreadId (WithEarlyExit m) → WithEarlyExit m (Maybe String) Source # | |||||
| MonadThread m ⇒ MonadThread (ReaderT r m) Source # | |||||
Defined in Control.Monad.Class.MonadFork Associated Types
| |||||
labelThisThread ∷ MonadThread m ⇒ String → m () Source #
Apply the label to the current thread
MonadAsync
data ExceptionInLinkedThread Source #
Exception from child thread re-raised in parent thread
We record the thread ID of the child thread as a String. This avoids
an m parameter in the type, which is important: ExceptionInLinkedThread
must be an instance of Exception, requiring it to be Typeable; if m
appeared in the type, we would require m to be Typeable, which does not
work with with the simulator, as it would require a Typeable constraint
on the s parameter of IOSim.
Constructors
| ExceptionInLinkedThread String SomeException |
Instances
class (MonadSTM m, MonadThread m) ⇒ MonadAsync (m ∷ Type → Type) where Source #
Minimal complete definition
async, asyncBound, asyncOn, asyncThreadId, cancel, cancelWith, asyncWithUnmask, asyncOnWithUnmask, waitCatchSTM, pollSTM
Associated Types
type Async (m ∷ Type → Type) = (async ∷ Type → Type) | async → m Source #
An asynchronous action
See Async.
Methods
async ∷ m a → m (Async m a) Source #
See async.
asyncBound ∷ m a → m (Async m a) Source #
See asyncBound.
asyncOn ∷ Int → m a → m (Async m a) Source #
See asyncOn.
asyncThreadId ∷ Async m a → ThreadId m Source #
See asyncThreadId.
withAsync ∷ m a → (Async m a → m b) → m b Source #
See withAsync.
withAsyncBound ∷ m a → (Async m a → m b) → m b Source #
See withAsyncBound.
default withAsyncBound ∷ MonadMask m ⇒ m a → (Async m a → m b) → m b Source #
withAsyncOn ∷ Int → m a → (Async m a → m b) → m b Source #
See withAsyncOn.
waitSTM ∷ Async m a → STM m a Source #
See waitSTM.
pollSTM ∷ Async m a → STM m (Maybe (Either SomeException a)) Source #
See pollSTM.
waitCatchSTM ∷ Async m a → STM m (Either SomeException a) Source #
See waitCatchSTM.
waitAnySTM ∷ [Async m a] → STM m (Async m a, a) Source #
See waitAnySTM.
default waitAnySTM ∷ MonadThrow (STM m) ⇒ [Async m a] → STM m (Async m a, a) Source #
waitAnyCatchSTM ∷ [Async m a] → STM m (Async m a, Either SomeException a) Source #
See waitAnyCatchSTM.
waitEitherSTM ∷ Async m a → Async m b → STM m (Either a b) Source #
See waitEitherSTM.
default waitEitherSTM ∷ MonadThrow (STM m) ⇒ Async m a → Async m b → STM m (Either a b) Source #
waitEitherSTM_ ∷ Async m a → Async m b → STM m () Source #
See waitEitherSTM_.
default waitEitherSTM_ ∷ MonadThrow (STM m) ⇒ Async m a → Async m b → STM m () Source #
waitEitherCatchSTM ∷ Async m a → Async m b → STM m (Either (Either SomeException a) (Either SomeException b)) Source #
See waitEitherCatchSTM.
waitBothSTM ∷ Async m a → Async m b → STM m (a, b) Source #
See waitBothSTM.
default waitBothSTM ∷ MonadThrow (STM m) ⇒ Async m a → Async m b → STM m (a, b) Source #
wait ∷ Async m a → m a Source #
See wait.
poll ∷ Async m a → m (Maybe (Either SomeException a)) Source #
See poll.
waitCatch ∷ Async m a → m (Either SomeException a) Source #
See waitCatch.
cancel ∷ Async m a → m () Source #
See cancel.
cancelWith ∷ Exception e ⇒ Async m a → e → m () Source #
See cancelWith.
uninterruptibleCancel ∷ Async m a → m () Source #
default uninterruptibleCancel ∷ MonadMask m ⇒ Async m a → m () Source #
waitAny ∷ [Async m a] → m (Async m a, a) Source #
See waitAny.
waitAnyCatch ∷ [Async m a] → m (Async m a, Either SomeException a) Source #
See waitAnyCatch.
waitAnyCancel ∷ [Async m a] → m (Async m a, a) Source #
See waitAnyCancel.
default waitAnyCancel ∷ MonadThrow m ⇒ [Async m a] → m (Async m a, a) Source #
waitAnyCatchCancel ∷ [Async m a] → m (Async m a, Either SomeException a) Source #
See waitAnyCatchCancel.
default waitAnyCatchCancel ∷ MonadThrow m ⇒ [Async m a] → m (Async m a, Either SomeException a) Source #
waitEither ∷ Async m a → Async m b → m (Either a b) Source #
See waitEither.
waitEitherCatch ∷ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b)) Source #
Note, IO-based implementations should override the default
implementation. See the async package implementation and comments.
http://hackage.haskell.org/package/async-2.2.1/docs/src/Control.Concurrent.Async.html#waitEitherCatch
See waitEitherCatch.
waitEitherCancel ∷ Async m a → Async m b → m (Either a b) Source #
See waitEitherCancel.
default waitEitherCancel ∷ MonadThrow m ⇒ Async m a → Async m b → m (Either a b) Source #
waitEitherCatchCancel ∷ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b)) Source #
default waitEitherCatchCancel ∷ MonadThrow m ⇒ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b)) Source #
waitEither_ ∷ Async m a → Async m b → m () Source #
See waitEither_.
waitBoth ∷ Async m a → Async m b → m (a, b) Source #
See waitBoth.
race ∷ m a → m b → m (Either a b) Source #
See race.
race_ ∷ m a → m b → m () Source #
See race_.
concurrently ∷ m a → m b → m (a, b) Source #
See concurrently.
concurrently_ ∷ m a → m b → m () Source #
See concurrently_.
asyncWithUnmask ∷ ((∀ b. m b → m b) → m a) → m (Async m a) Source #
See concurrently_.
asyncOnWithUnmask ∷ Int → ((∀ b. m b → m b) → m a) → m (Async m a) Source #
See asyncOnWithUnmask.
withAsyncWithUnmask ∷ ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b Source #
See withAsyncWithUnmask.
default withAsyncWithUnmask ∷ MonadMask m ⇒ ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b Source #
withAsyncOnWithUnmask ∷ Int → ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b Source #
default withAsyncOnWithUnmask ∷ MonadMask m ⇒ Int → ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b Source #
compareAsyncs ∷ Async m a → Async m b → Ordering Source #
See compareAsyncs.
Instances
MonadST
class PrimMonad m ⇒ MonadST (m ∷ Type → Type) where Source #
This class is for abstracting over stToIO which allows running ST
actions in IO. In this case it is to allow running ST actions within
another monad m.
The normal type of stToIO is:
stToIO :: ST RealWorld a -> IO a
We have two approaches to abstracting over this, a new and an older
(deprecated) method. The new method borrows the primitive package's
PrimMonad and PrimState type family. This gives us:
stToIO :: ST (PrimState m) a -> m a
Which for IO is exactly the same as above. For ST it is identity, while
for IOSim it is
stToIO :: ST s a -> IOSim s a
The older (deprecated) method is tricky because we need to not care about
both the IO, and also the RealWorld, and it does so avoiding mentioning
any s type (which is what the PrimState type family gives access to).
The solution is to write an action that is given the liftST as an argument
and where that action itself is polymorphic in the s parameter. This
allows us to instantiate it with RealWorld in the IO case, and the local
s in a case where we are embedding into another ST action.
Minimal complete definition
Methods
stToIO ∷ ST (PrimState m) a → m a Source #
Since: io-classes-1.4.1.0
withLiftST ∷ (∀ s. (∀ a. ST s a → m a) → b) → b Source #
Instances
| MonadST IO Source # | |
| MonadST (ST s) Source # | |
| MonadST m ⇒ MonadST (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods stToIO ∷ ST (PrimState (WithEarlyExit m)) a → WithEarlyExit m a Source # withLiftST ∷ (∀ s. (∀ a. ST s a → WithEarlyExit m a) → b) → b Source # | |
| (MonadST m, PrimMonad m) ⇒ MonadST (ReaderT r m) Source # | |
class Monad m ⇒ PrimMonad (m ∷ Type → Type) where Source #
Class of monads which can perform primitive state-transformer actions.
Methods
primitive ∷ (State# (PrimState m) → (# State# (PrimState m), a #)) → m a Source #
Execute a primitive operation.
Instances
| PrimMonad IO Source # | |||||
| PrimMonad (ST s) Source # | |||||
| PrimMonad (ST s) Source # | |||||
| PrimMonad m ⇒ PrimMonad (GenT m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (PropertyT m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (TestT m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (TreeT m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (WithEarlyExit m) Source # | |||||
Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types
Methods primitive ∷ (State# (PrimState (WithEarlyExit m)) → (# State# (PrimState (WithEarlyExit m)), a #)) → WithEarlyExit m a Source # | |||||
| PrimMonad m ⇒ PrimMonad (ResourceT m) Source # | |||||
Defined in Control.Monad.Trans.Resource.Internal Associated Types
| |||||
| PrimMonad m ⇒ PrimMonad (MaybeT m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (AccumT w m) Source # | Since: primitive-0.6.3.0 | ||||
| PrimMonad m ⇒ PrimMonad (ExceptT e m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (IdentityT m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (ReaderT r m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (SelectT r m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (StateT s m) Source # | |||||
| PrimMonad m ⇒ PrimMonad (StateT s m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m) Source # | |||||
| PrimMonad (CekM uni fun s) Source # | |||||
Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types
| |||||
| PrimMonad m ⇒ PrimMonad (ContT r m) Source # | Since: primitive-0.6.3.0 | ||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m) Source # | |||||
| (Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m) Source # | |||||
MonadTime
This is a length of time, as measured by a clock.
Conversion functions such as fromInteger and realToFrac will treat it as seconds.
For example, (0.010 :: DiffTime) corresponds to 10 milliseconds.
It has a precision of one picosecond (= 10^-12 s). Enumeration functions will treat it as picoseconds.
Instances
| FromJSON DiffTime Source # | This instance includes a bounds check to prevent maliciously
large inputs to fill up the memory of the target system. You can
newtype |
| ToJSON DiffTime Source # | |
| NFData DiffTime # | |
Defined in Data.Time.Clock.Internal.DiffTime | |
| Buildable DiffTime Source # | |
| Eq DiffTime # | |
| Ord DiffTime # | |
Defined in Data.Time.Clock.Internal.DiffTime | |
| Data DiffTime # | |
Defined in Data.Time.Clock.Internal.DiffTime Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → DiffTime → c DiffTime # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c DiffTime # toConstr ∷ DiffTime → Constr # dataTypeOf ∷ DiffTime → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c DiffTime) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c DiffTime) # gmapT ∷ (∀ b. Data b ⇒ b → b) → DiffTime → DiffTime # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → DiffTime → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → DiffTime → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → DiffTime → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → DiffTime → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → DiffTime → m DiffTime # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DiffTime → m DiffTime # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → DiffTime → m DiffTime # | |
| Enum DiffTime # | |
| Num DiffTime # | |
| Read DiffTime # | |
| Fractional DiffTime # | |
| Real DiffTime # | |
Defined in Data.Time.Clock.Internal.DiffTime Methods toRational ∷ DiffTime → Rational # | |
| RealFrac DiffTime # | |
| Show DiffTime # | |
| Hashable DiffTime Source # | |
| NoThunks DiffTime Source # | |
| FormatTime DiffTime # | |
Defined in Data.Time.Format.Format.Instances | |
| ParseTime DiffTime # | |
Defined in Data.Time.Format.Parse.Instances Methods substituteTimeSpecifier ∷ Proxy DiffTime → TimeLocale → Char → Maybe String parseTimeSpecifier ∷ Proxy DiffTime → TimeLocale → Maybe ParseNumericPadding → Char → ReadP String | |
| Lift DiffTime # | |
class MonadMonotonicTimeNSec m ⇒ MonadMonotonicTime (m ∷ Type → Type) where #
Minimal complete definition
Nothing
Methods
getMonotonicTime ∷ m Time #
Instances
| MonadMonotonicTime IO # | |
Defined in Control.Monad.Class.MonadTime.SI Methods | |
| MonadMonotonicTime m ⇒ MonadMonotonicTime (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods | |
| MonadMonotonicTime m ⇒ MonadMonotonicTime (ReaderT r m) # | |
Defined in Control.Monad.Class.MonadTime.SI Methods getMonotonicTime ∷ ReaderT r m Time # | |
Instances
| NFData Time # | |||||
Defined in Control.Monad.Class.MonadTime.SI | |||||
| Eq Time # | |||||
| Ord Time # | |||||
| Generic Time # | |||||
Defined in Control.Monad.Class.MonadTime.SI Associated Types
| |||||
| Show Time # | |||||
| NoThunks Time # | |||||
| Condense Time Source # | |||||
| type Rep Time # | |||||
Defined in Control.Monad.Class.MonadTime.SI type Rep Time = D1 ('MetaData "Time" "Control.Monad.Class.MonadTime.SI" "io-classes-1.8.0.1-l-si-timers-32134cfa3435c284ee05ca0cdbfb73ab963e13b59c5561fd373a0b7d96eb4bf1" 'True) (C1 ('MetaCons "Time" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DiffTime))) | |||||
MonadDelay
class (MonadDelay m, MonadMonotonicTime m) ⇒ MonadDelay (m ∷ Type → Type) where #
Methods
threadDelay ∷ DiffTime → m () #
Instances
| MonadDelay IO # | |
Defined in Control.Monad.Class.MonadTimer.SI Methods threadDelay ∷ DiffTime → IO () # | |
| MonadDelay m ⇒ MonadDelay (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay ∷ DiffTime → WithEarlyExit m () # | |
| MonadDelay m ⇒ MonadDelay (ReaderT r m) # | |
Defined in Control.Monad.Class.MonadTimer.SI Methods threadDelay ∷ DiffTime → ReaderT r m () # | |
MonadEventlog
class Monad m ⇒ MonadEventlog (m ∷ Type → Type) where Source #
Methods
traceEventIO ∷ String → m () Source #
Emits a message to the eventlog, if eventlog profiling is available and enabled at runtime.
traceMarkerIO ∷ String → m () Source #
Emits a marker to the eventlog, if eventlog profiling is available and enabled at runtime.
The String is the name of the marker. The name is just used in the
profiling tools to help you keep clear which marker is which.
Instances
| MonadEventlog IO Source # | |
Defined in Control.Monad.Class.MonadEventlog | |
| MonadEventlog m ⇒ MonadEventlog (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods traceEventIO ∷ String → WithEarlyExit m () Source # traceMarkerIO ∷ String → WithEarlyExit m () Source # | |
| MonadEventlog m ⇒ MonadEventlog (ReaderT r m) Source # | |
Defined in Control.Monad.Class.MonadEventlog Methods traceEventIO ∷ String → ReaderT r m () Source # traceMarkerIO ∷ String → ReaderT r m () Source # | |
MonadEvaluate
class MonadEvaluate (m ∷ Type → Type) where Source #
Monads which can evaluate.
Instances
| MonadEvaluate IO Source # | |
Defined in Control.Monad.Class.MonadThrow | |
| (MonadEvaluate m, MonadCatch m) ⇒ MonadEvaluate (WithEarlyExit m) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods evaluate ∷ a → WithEarlyExit m a Source # | |
| (Monad m, MonadEvaluate m) ⇒ MonadEvaluate (ReaderT r m) Source # | |
Defined in Control.Monad.Class.MonadThrow | |
NoThunks
class NoThunks a where Source #
Check a value for unexpected thunks
Minimal complete definition
Nothing
Methods
noThunks ∷ Context → a → IO (Maybe ThunkInfo) Source #
Check if the argument does not contain any unexpected thunks
For most datatypes, we should have that
noThunks ctxt x == Nothing
if and only if
checkContainsThunks x
For some datatypes however, some thunks are expected. For example, the
internal fingertree Sequence might contain thunks (this is
important for the asymptotic complexity of this data structure). However,
we should still check that the values in the sequence don't contain any
unexpected thunks.
This means that we need to traverse the sequence, which might force some of
the thunks in the tree. In general, it is acceptable for
noThunks to force such "expected thunks", as long as it always
reports the unexpected thunks.
The default implementation of noThunks checks that the argument is in
WHNF, and if so, adds the type into the context (using showTypeOf or
whereFrom if available), and calls wNoThunks. See ThunkInfo for
a detailed discussion of the type context.
See also discussion of caveats listed for checkContainsThunks.
wNoThunks ∷ Context → a → IO (Maybe ThunkInfo) Source #
Check that the argument is in normal form, assuming it is in WHNF.
The context will already have been extended with the type we're looking at, so all that's left is to look at the thunks inside the type. The default implementation uses GHC Generics to do this.
default wNoThunks ∷ (Generic a, GWNoThunks ('[] ∷ [Symbol]) (Rep a)) ⇒ Context → a → IO (Maybe ThunkInfo) Source #
showTypeOf ∷ Proxy a → String Source #
Show type a (to add to the context)
We try hard to avoid Typeable constraints in this module: there are types
with no Typeable instance but with a NoThunks instance (most
important example are types such as ST s which rely on parametric
polymorphism). By default we should therefore only show the "outer layer";
for example, if we have a type
Seq (ST s ())
then showTypeOf should just give Seq, leaving it up to the instance for
ST to decide how to implement showTypeOf; this keeps things
compositional. The default implementation does precisely this using the
metadata that GHC Generics provides.
For convenience, however, some of the deriving via newtype wrappers we
provide do depend on Typeable; see below.
Instances
| NoThunks ByteArray Source # | ByteArray is primitive data (unpinned byte array), so it contains no thunks. TODO: Part of nothunks-0.3.2. Remove once we update to a more recent hackage state |
| NoThunks ByteString Source # | Instance for string bytestrings Strict bytestrings shouldn't contain any thunks, but could, due to https://gitlab.haskell.org/ghc/ghc/issues/17290. However, such thunks can't retain any data that they shouldn't, and so it's safe to ignore such thunks. |
Defined in NoThunks.Class | |
| NoThunks ByteString Source # | Instance for lazy bytestrings Defined manually so that it piggy-backs on the one for strict bytestrings. |
Defined in NoThunks.Class | |
| NoThunks ShortByteString Source # | Instance for short bytestrings We have data ShortByteString = SBS ByteArray# Values of this type consist of a tag followed by an _unboxed_ byte array, which can't contain thunks. Therefore we only check WHNF. |
Defined in NoThunks.Class | |
| NoThunks CardanoFeatureFlag Source # | |
Defined in Cardano.Base.FeatureFlags | |
| NoThunks IPv4 Source # | |
| NoThunks IPv6 Source # | |
| NoThunks XSignature Source # | |
Defined in Cardano.Ledger.Orphans | |
| NoThunks BLS12381SignContext Source # | |
Defined in Cardano.Crypto.DSIGN.BLS12381.Internal | |
| NoThunks Scalar Source # | |
| NoThunks Seed Source # | |
| NoThunks Point Source # | |
| NoThunks BitField Source # | |
| NoThunks LeiosCert Source # | |
| NoThunks LeiosCommittee Source # | |
Defined in Cardano.Crypto.Leios | |
| NoThunks LeiosSeat Source # | |
| NoThunks LeiosSeatId Source # | |
Defined in Cardano.Crypto.Leios | |
| NoThunks Output Source # | |
| NoThunks Proof Source # | |
| NoThunks Seed Source # | |
| NoThunks SignKey Source # | |
| NoThunks VerKey Source # | |
| NoThunks Output Source # | |
| NoThunks Proof Source # | |
| NoThunks Seed Source # | |
| NoThunks SignKey Source # | |
| NoThunks VerKey Source # | |
| NoThunks ProtocolMagicId Source # | |
Defined in Cardano.Crypto.ProtocolMagic | |
| NoThunks RequiresNetworkMagic Source # | |
Defined in Cardano.Crypto.ProtocolMagic | |
| NoThunks CompactRedeemVerificationKey Source # | |
Defined in Cardano.Crypto.Signing.Redeem.Compact | |
| NoThunks RedeemSigningKey Source # | |
Defined in Cardano.Crypto.Signing.Redeem.SigningKey | |
| NoThunks RedeemVerificationKey Source # | |
| NoThunks SigningKey Source # | |
Defined in Cardano.Crypto.Signing.SigningKey | |
| NoThunks VerificationKey Source # | |
Defined in Cardano.Crypto.Signing.VerificationKey | |
| NoThunks LedgerStateJudgement # | |
| NoThunks NodeToNodeVersion # | |
Defined in Cardano.Network.NodeToNode.Version | |
| NoThunks OutboundConnectionsState # | |
| NoThunks ValidityInterval Source # | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| NoThunks AlonzoExtraConfig Source # | |
Defined in Cardano.Ledger.Alonzo.Genesis | |
| NoThunks AlonzoGenesis Source # | |
Defined in Cardano.Ledger.Alonzo.Genesis | |
| NoThunks CoinPerWord Source # | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| NoThunks LangDepView Source # | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| NoThunks FailureDescription Source # | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| NoThunks TagMismatchDescription Source # | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| NoThunks IsPhase2Valid Source # | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| NoThunks Addr28Extra Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
| NoThunks DataHash32 Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
| NoThunks Version Source # | |
| NoThunks Proof Source # | |
| NoThunks ChainValidationState Source # | |
Defined in Cardano.Chain.Block.Validation | |
| NoThunks AddrAttributes Source # | |
Defined in Cardano.Chain.Common.AddrAttributes | |
| NoThunks HDAddressPayload Source # | |
Defined in Cardano.Chain.Common.AddrAttributes | |
| NoThunks AddrType Source # | |
| NoThunks Address Source # | |
| NoThunks UnparsedFields Source # | |
Defined in Cardano.Chain.Common.Attributes | |
| NoThunks BlockCount Source # | |
Defined in Cardano.Chain.Common.BlockCount | |
| NoThunks ChainDifficulty Source # | |
Defined in Cardano.Chain.Common.ChainDifficulty | |
| NoThunks CompactAddress Source # | |
Defined in Cardano.Chain.Common.Compact | |
| NoThunks KeyHash Source # | |
| NoThunks Lovelace Source # | |
| NoThunks LovelacePortion Source # | |
Defined in Cardano.Chain.Common.LovelacePortion | |
| NoThunks NetworkMagic Source # | |
Defined in Cardano.Chain.Common.NetworkMagic | |
| NoThunks TxFeePolicy Source # | |
Defined in Cardano.Chain.Common.TxFeePolicy | |
| NoThunks TxSizeLinear Source # | |
Defined in Cardano.Chain.Common.TxSizeLinear | |
| NoThunks Map Source # | A |
| NoThunks State Source # | |
| NoThunks State Source # | |
| NoThunks ScheduledDelegation Source # | |
| NoThunks State Source # | |
| NoThunks GenesisAvvmBalances Source # | |
Defined in Cardano.Chain.Genesis.AvvmBalances | |
| NoThunks Config Source # | |
| NoThunks GenesisData Source # | |
Defined in Cardano.Chain.Genesis.Data | |
| NoThunks GenesisDelegation Source # | |
Defined in Cardano.Chain.Genesis.Delegation | |
| NoThunks GeneratedSecrets Source # | |
Defined in Cardano.Chain.Genesis.Generate | |
| NoThunks PoorSecret Source # | |
Defined in Cardano.Chain.Genesis.Generate | |
| NoThunks GenesisHash Source # | |
Defined in Cardano.Chain.Genesis.Hash | |
| NoThunks GenesisKeyHashes Source # | |
Defined in Cardano.Chain.Genesis.KeyHashes | |
| NoThunks GenesisNonAvvmBalances Source # | |
Defined in Cardano.Chain.Genesis.NonAvvmBalances | |
| NoThunks EpochNumber Source # | |
Defined in Cardano.Chain.Slotting.EpochNumber | |
| NoThunks EpochSlots Source # | |
Defined in Cardano.Chain.Slotting.EpochSlots | |
| NoThunks SlotNumber Source # | |
Defined in Cardano.Chain.Slotting.SlotNumber | |
| NoThunks SscProof Source # | |
| NoThunks CompactTxId Source # | |
Defined in Cardano.Chain.UTxO.Compact | |
| NoThunks CompactTxIn Source # | |
Defined in Cardano.Chain.UTxO.Compact | |
| NoThunks CompactTxOut Source # | |
Defined in Cardano.Chain.UTxO.Compact | |
| NoThunks TxProof Source # | |
| NoThunks UTxO Source # | |
| NoThunks UTxOConfiguration Source # | |
Defined in Cardano.Chain.UTxO.UTxOConfiguration | |
| NoThunks ApplicationName Source # | |
Defined in Cardano.Chain.Update.ApplicationName | |
| NoThunks InstallerHash Source # | |
Defined in Cardano.Chain.Update.InstallerHash | |
| NoThunks ProtocolParameters Source # | |
Defined in Cardano.Chain.Update.ProtocolParameters | |
| NoThunks ProtocolVersion Source # | |
Defined in Cardano.Chain.Update.ProtocolVersion | |
| NoThunks SoftforkRule Source # | |
Defined in Cardano.Chain.Update.SoftforkRule | |
| NoThunks SoftwareVersion Source # | |
Defined in Cardano.Chain.Update.SoftwareVersion | |
| NoThunks SystemTag Source # | |
| NoThunks CandidateProtocolUpdate Source # | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
| NoThunks Endorsement Source # | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
| NoThunks State Source # | |
| NoThunks ApplicationVersion Source # | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| NoThunks ProtocolUpdateProposal Source # | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| NoThunks SoftwareUpdateProposal Source # | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| NoThunks ConwayExtraConfig Source # | |
Defined in Cardano.Ledger.Conway.Genesis | |
| NoThunks ConwayGenesis Source # | |
Defined in Cardano.Ledger.Conway.Genesis | |
| NoThunks VotingStakePoolDistr Source # | |
Defined in Cardano.Ledger.Conway.Governance.Internal | |
| NoThunks GovActionId Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks GovActionIx Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks Vote Source # | |
| NoThunks Voter Source # | |
| NoThunks DRepVotingThresholds Source # | |
Defined in Cardano.Ledger.Conway.PParams | |
| NoThunks PoolVotingThresholds Source # | |
Defined in Cardano.Ledger.Conway.PParams | |
| NoThunks ConwayDelegCert Source # | |
Defined in Cardano.Ledger.Conway.TxCert | |
| NoThunks ConwayGovCert Source # | |
Defined in Cardano.Ledger.Conway.TxCert | |
| NoThunks Delegatee Source # | |
| NoThunks AccountAddress Source # | |
Defined in Cardano.Ledger.Address | |
| NoThunks AccountId Source # | |
| NoThunks Addr Source # | |
| NoThunks BootstrapAddress Source # | |
Defined in Cardano.Ledger.Address | |
| NoThunks CompactAddr Source # | |
Defined in Cardano.Ledger.Address | |
| NoThunks DirectDeposits Source # | |
Defined in Cardano.Ledger.Address | |
| NoThunks Withdrawals Source # | |
Defined in Cardano.Ledger.Address | |
| NoThunks ActiveSlotCoeff Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks Anchor Source # | |
| NoThunks BlocksMade Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks CertIx Source # | |
| NoThunks DnsName Source # | |
| NoThunks Globals Source # | |
| NoThunks Milliseconds32 Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks Network Source # | |
| NoThunks NonNegativeInterval Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks Nonce Source # | |
| NoThunks Port Source # | |
| NoThunks PositiveInterval Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks PositiveUnitInterval Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks ProtVer Source # | |
| NoThunks Seed Source # | |
| NoThunks TxIx Source # | |
| NoThunks UnitInterval Source # | |
Defined in Cardano.Ledger.BaseTypes | |
| NoThunks Url Source # | |
| NoThunks BlockHeaderVersionInfo Source # | |
Defined in Cardano.Ledger.Block | |
| NoThunks EbReferencesAnnouncement Source # | |
Defined in Cardano.Ledger.Block | |
| NoThunks Coin Source # | |
| NoThunks CoinPerByte Source # | |
Defined in Cardano.Ledger.Coin | |
| NoThunks DeltaCoin Source # | |
| NoThunks MaxPledgeLeverage Source # | |
Defined in Cardano.Ledger.Core.PParams | |
| NoThunks Ptr Source # | |
| NoThunks SlotNo32 Source # | |
| NoThunks StakeReference Source # | |
Defined in Cardano.Ledger.Credential | |
| NoThunks DRep Source # | |
| NoThunks DRepState Source # | |
| NoThunks BlsVerKeyHash Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks GenDelegPair Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks GenDelegs Source # | |
| NoThunks HashHeader Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks ScriptHash Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks TxAuxDataHash Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks BootstrapWitness Source # | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
| NoThunks ChainCode Source # | |
| NoThunks Metadatum Source # | |
| NoThunks CostModel Source # | |
| NoThunks CostModels Source # | |
Defined in Cardano.Ledger.Plutus.CostModels | |
| NoThunks CostModelsUpdate Source # | |
Defined in Cardano.Ledger.Plutus.CostModels | |
| NoThunks ExUnits Source # | |
| NoThunks OrdExUnits Source # | |
Defined in Cardano.Ledger.Plutus.ExUnits | |
| NoThunks Prices Source # | |
| NoThunks Language Source # | |
| NoThunks PlutusBinary Source # | |
Defined in Cardano.Ledger.Plutus.Language | |
| NoThunks TxOutSource Source # | |
Defined in Cardano.Ledger.Plutus.TxInfo | |
| NoThunks Reward Source # | |
| NoThunks RewardType Source # | |
Defined in Cardano.Ledger.Rewards | |
| NoThunks Duration Source # | |
| NoThunks CommitteeAuthorization Source # | |
Defined in Cardano.Ledger.State.CertState | |
| NoThunks FutureGenDeleg Source # | |
Defined in Cardano.Ledger.State.CertState | |
| NoThunks InstantaneousRewards Source # | |
Defined in Cardano.Ledger.State.CertState | |
| NoThunks ChainAccountState Source # | |
Defined in Cardano.Ledger.State.ChainAccount | |
| NoThunks EbAnnouncement Source # | |
Defined in Cardano.Ledger.State.Leios | |
| NoThunks IndividualPoolStake Source # | |
Defined in Cardano.Ledger.State.PoolDistr | |
| NoThunks PoolDistr Source # | |
| NoThunks GoSnapShot Source # | |
Defined in Cardano.Ledger.State.SnapShots | |
| NoThunks MarkSnapShot Source # | |
Defined in Cardano.Ledger.State.SnapShots | |
| NoThunks SetSnapShot Source # | |
Defined in Cardano.Ledger.State.SnapShots | |
| NoThunks SnapShot Source # | |
| NoThunks StakePoolSnapShot Source # | |
Defined in Cardano.Ledger.State.SnapShots | |
| NoThunks ActiveStake Source # | |
Defined in Cardano.Ledger.State.Stake | |
| NoThunks Stake Source # | |
| NoThunks StakeWithDelegation Source # | |
Defined in Cardano.Ledger.State.Stake | |
| NoThunks BlsKey Source # | |
| NoThunks BlsKeyState Source # | |
Defined in Cardano.Ledger.State.StakePool | |
| NoThunks PoolMetadata Source # | Check WHNF by pattern-matching on both fields, since they both are strict, and just contain ByteArray# |
Defined in Cardano.Ledger.State.StakePool | |
| NoThunks StakePoolRelay Source # | |
Defined in Cardano.Ledger.State.StakePool | |
| NoThunks StakePoolState Source # | |
Defined in Cardano.Ledger.State.StakePool | |
| NoThunks TxId Source # | |
| NoThunks TxIn Source # | |
| NoThunks EbReferences Source # | |
Defined in Cardano.Ledger.Dijkstra.Block.Endorser | |
| NoThunks EbReferencesRaw Source # | |
| NoThunks PerasCert Source # | |
| NoThunks PerasKey Source # | |
| NoThunks DijkstraGenesis Source # | |
Defined in Cardano.Ledger.Dijkstra.Genesis | |
| NoThunks DijkstraDelegCert Source # | |
Defined in Cardano.Ledger.Dijkstra.TxCert | |
| NoThunks AssetName Source # | |
| NoThunks CompactValue Source # | |
Defined in Cardano.Ledger.Mary.Value | |
| NoThunks MaryValue Source # | |
| NoThunks MultiAsset Source # | |
Defined in Cardano.Ledger.Mary.Value | |
| NoThunks PolicyID Source # | |
| NoThunks ChainChecksPParams Source # | |
Defined in Cardano.Ledger.Chain | |
| NoThunks ChainPredicateFailure Source # | |
Defined in Cardano.Ledger.Chain | |
| NoThunks RewardInfoPool Source # | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
| NoThunks RewardParams Source # | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
| NoThunks NominalDiffTimeMicro Source # | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| NoThunks ShelleyExtraConfig Source # | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| NoThunks ShelleyGenesis Source # | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| NoThunks ShelleyGenesisStaking Source # | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| NoThunks Likelihood Source # | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| NoThunks LogWeight Source # | |
| NoThunks NonMyopic Source # | |
| NoThunks PerformanceEstimate Source # | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| NoThunks Desirability Source # | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
| NoThunks RewardProvenance Source # | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
| NoThunks RewardProvenancePool Source # | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
| NoThunks FreeVars Source # | |
| NoThunks Pulser Source # | |
| NoThunks PulsingRewUpdate Source # | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| NoThunks RewardAns Source # | |
| NoThunks RewardSnapShot Source # | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| NoThunks RewardUpdate Source # | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| NoThunks LeaderOnlyReward Source # | |
Defined in Cardano.Ledger.Shelley.Rewards | |
| NoThunks PoolRewardInfo Source # | |
Defined in Cardano.Ledger.Shelley.Rewards | |
| NoThunks StakeShare Source # | |
Defined in Cardano.Ledger.Shelley.Rewards | |
| NoThunks VotingPeriod Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| NoThunks FromByronTranslationContext Source # | |
Defined in Cardano.Ledger.Shelley.Translation | |
| NoThunks GenesisDelegCert Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| NoThunks MIRCert Source # | |
| NoThunks MIRPot Source # | |
| NoThunks MIRTarget Source # | |
| NoThunks ShelleyDelegCert Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| NoThunks BlockNo Source # | |
| NoThunks EpochInterval Source # | |
Defined in Cardano.Slotting.Slot | |
| NoThunks EpochNo Source # | |
| NoThunks EpochSize Source # | |
| NoThunks SlotInterval Source # | |
Defined in Cardano.Slotting.Slot | |
| NoThunks SlotNo Source # | |
| NoThunks RelativeTime Source # | |
Defined in Cardano.Slotting.Time | |
| NoThunks SlotLength Source # | |
Defined in Cardano.Slotting.Time | |
| NoThunks SystemStart Source # | |
Defined in Cardano.Slotting.Time | |
| NoThunks FsPath Source # | |
| NoThunks CRC Source # | |
| NoThunks Void Source # | |
| NoThunks ThreadId Source # | |
| NoThunks All Source # | |
| NoThunks Any Source # | |
| NoThunks Int16 Source # | |
| NoThunks Int32 Source # | |
| NoThunks Int64 Source # | |
| NoThunks Int8 Source # | |
| NoThunks CallStack Source # | Since CallStacks can't retain application data, we don't want to check them for thunks at all |
| NoThunks Word16 Source # | |
| NoThunks Word32 Source # | |
| NoThunks Word64 Source # | |
| NoThunks Word8 Source # | |
| NoThunks Time # | |
| NoThunks GenesisWindow Source # | |
Defined in Ouroboros.Consensus.Block.Abstract | |
| NoThunks IsEBB Source # | |
| NoThunks Bytes32RealPoint Source # | |
Defined in Ouroboros.Consensus.Block.RealPoint | |
| NoThunks CurrentSlot Source # | |
Defined in Ouroboros.Consensus.BlockchainTime.API | |
| NoThunks LedgerStake Source # | |
Defined in Ouroboros.Consensus.Committee.Types | |
| NoThunks PoolId Source # | |
| NoThunks TargetCommitteeSize Source # | |
Defined in Ouroboros.Consensus.Committee.Types | |
| NoThunks VoteWeight Source # | |
Defined in Ouroboros.Consensus.Committee.Types | |
| NoThunks NonPersistentCommitteeSize Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks NumPoolsWithPositiveStake Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks PersistentCommitteeSize Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks SeatIndex Source # | |
| NoThunks TotalNonPersistentStake Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks TotalPersistentStake Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks TotalStake Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks WFAError Source # | |
| NoThunks WFALS Source # | |
| NoThunks SecurityParam Source # | |
Defined in Ouroboros.Consensus.Config.SecurityParam | |
| NoThunks Past Source # | |
| NoThunks TransitionInfo Source # | |
| NoThunks EraParams Source # | |
| NoThunks SafeZone Source # | |
| NoThunks EpochToPerasRoundInfo Source # | |
Defined in Ouroboros.Consensus.HardFork.History.Qry | |
| NoThunks Bound Source # | |
| NoThunks EraEnd Source # | |
| NoThunks EraSummary Source # | |
Defined in Ouroboros.Consensus.HardFork.History.Summary | |
| NoThunks TriggerHardFork Source # | |
Defined in Ouroboros.Consensus.HardFork.Simple | |
| NoThunks ComputeLedgerEvents Source # | |
Defined in Ouroboros.Consensus.Ledger.Basics | |
| NoThunks ByteSize32 Source # | |
Defined in Ouroboros.Consensus.Ledger.SupportsMempool | |
| NoThunks TrivialTxMeasurePhase2 Source # | |
Defined in Ouroboros.Consensus.Ledger.SupportsMempool | |
| NoThunks LeiosCertRejection Source # | |
Defined in Ouroboros.Consensus.Leios.Cert | |
| NoThunks NotifyCursor Source # | |
Defined in Ouroboros.Consensus.Leios.NotifyLog | |
| NoThunks LeiosAnnouncement Source # | |
Defined in Ouroboros.Consensus.Leios.Protocol | |
| NoThunks LeiosLedgerView Source # | |
Defined in Ouroboros.Consensus.Leios.Protocol | |
| NoThunks ElectionId Source # | |
Defined in Ouroboros.Consensus.Leios.Types | |
| NoThunks EndorserBlock Source # | |
Defined in Ouroboros.Consensus.Leios.Types | |
| NoThunks LeiosPoint Source # | |
Defined in Ouroboros.Consensus.Leios.Types | |
| NoThunks LeiosVote Source # | |
| NoThunks RankingBlockHash Source # | |
Defined in Ouroboros.Consensus.Leios.Types | |
| NoThunks DiffTimeMeasure Source # | |
Defined in Ouroboros.Consensus.Mempool.API | |
| NoThunks MempoolSize Source # | |
Defined in Ouroboros.Consensus.Mempool.Capacity | |
| NoThunks TicketNo Source # | |
| NoThunks DisengagedInitState Source # | |
| NoThunks JumperInitState Source # | |
| NoThunks ObjectorInitState Source # | |
| NoThunks VoteWindow Source # | |
| NoThunks GsmState Source # | |
| NoThunks NumCoreNodes Source # | |
Defined in Ouroboros.Consensus.Node.ProtocolInfo | |
| NoThunks CoreNodeId Source # | |
Defined in Ouroboros.Consensus.NodeId | |
| NoThunks NodeId Source # | |
| NoThunks PerasCertVoters Source # | |
Defined in Ouroboros.Consensus.Peras.Cert.V1 | |
| NoThunks PerasEpochContextNotFoundForRound Source # | |
| NoThunks PerasBLSCrypto Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.BLS | |
| NoThunks PerasBLSCryptoAggregateVoteSignature Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.BLS | |
| NoThunks PerasPrivateKey Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.BLS | |
| NoThunks PerasPublicKey Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.BLS | |
| NoThunks PerasBlockMinSlots Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasCertArrivalThreshold Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasCertMaxRounds Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasCooldownRounds Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasIgnoranceRounds Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasQuorumWeightThreshold Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasQuorumWeightThresholdSafetyMargin Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasRoundLength Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasWeight Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks PerasLedgerView Source # | |
Defined in Ouroboros.Consensus.Peras.Protocol | |
| NoThunks PerasBoostedBlock Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks PerasCertSize Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks PerasRoundNo Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks PerasSeatIndex Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks PerasVoteId Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks VoidPerasVotingCommitteeScheme Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
| NoThunks PerasVoteEligibilityProof Source # | |
Defined in Ouroboros.Consensus.Peras.Vote.V1 | |
| NoThunks PerasConversionError Source # | |
Defined in Ouroboros.Consensus.Peras.Voting.Adapter | |
| NoThunks PerasQryException Source # | |
Defined in Ouroboros.Consensus.Peras.Voting.View | |
| NoThunks NoTiebreaker Source # | |
Defined in Ouroboros.Consensus.Protocol.Abstract | |
| NoThunks BftParams Source # | |
| NoThunks BftValidationErr Source # | |
Defined in Ouroboros.Consensus.Protocol.BFT | |
| NoThunks LeaderSchedule Source # | |
Defined in Ouroboros.Consensus.Protocol.LeaderSchedule | |
| NoThunks PBftParams Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| NoThunks PBftSignatureThreshold Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| NoThunks PBftTiebreakerView Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| NoThunks PBftMockVerKeyHash Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto | |
| NoThunks AddPerasCertChainSelOutcome Source # | |
Defined in Ouroboros.Consensus.Storage.ChainDB.API | |
| NoThunks PerasCertInclusionViewError Source # | |
Defined in Ouroboros.Consensus.Storage.ChainDB.API | |
| NoThunks PerasVotingViewError Source # | |
Defined in Ouroboros.Consensus.Storage.ChainDB.API | |
| NoThunks ScheduledGc Source # | |
| NoThunks AcquiredLeiosEbs Source # | |
| NoThunks LeiosValidClaims Source # | |
| NoThunks FollowerKey Source # | |
| NoThunks IteratorKey Source # | |
| NoThunks PrefixLen Source # | |
| NoThunks ChunkInfo Source # | |
| NoThunks ChunkNo Source # | |
| NoThunks ChunkSize Source # | |
| NoThunks RelativeSlot Source # | |
| NoThunks ChunkSlot Source # | |
| NoThunks PrimaryIndex Source # | |
| NoThunks BlockOffset Source # | |
| NoThunks BlockSize Source # | |
| NoThunks HeaderOffset Source # | |
| NoThunks HeaderSize Source # | |
| NoThunks BlockOrEBB Source # | |
| NoThunks QueryBatchSize Source # | |
Defined in Ouroboros.Consensus.Storage.LedgerDB.Args | |
| NoThunks ForkerKey Source # | |
| NoThunks SnapshotDelayRange Source # | |
| NoThunks SnapshotPolicy Source # | |
| NoThunks InMemoryLeiosDb Source # | |
| NoThunks AddPerasCertResult Source # | |
Defined in Ouroboros.Consensus.Storage.PerasCertDB.API | |
| NoThunks PerasCertTicketNo Source # | |
Defined in Ouroboros.Consensus.Storage.PerasCertDB.API | |
| NoThunks PerasVoteTicketNo Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.API | |
| NoThunks LeiosBlockInfo Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.API | |
| NoThunks BlockOffset Source # | |
| NoThunks BlockSize Source # | |
| NoThunks PrettyCallStack Source # | |
Defined in Ouroboros.Consensus.Util.CallStack | |
| NoThunks MaxSlotNo # | |
| NoThunks ChainSelStarvation # | |
| NoThunks Fingerprint # | |
| NoThunks NetworkMagic # | |
| NoThunks AfterSlot # | |
| NoThunks RawBlockHash # | |
| NoThunks UseLedgerPeers # | |
| NoThunks SizeInBytes # | |
Defined in Ouroboros.Network.SizeInBytes | |
| NoThunks ConcreteHeaderHash # | |
| NoThunks NumObjectIdsAck # | |
| NoThunks NumObjectIdsReq # | |
| NoThunks NumObjectsReq # | |
| NoThunks NumObjectsUnacknowledged # | |
| NoThunks NumTxIdsToAck # | |
| NoThunks NumTxIdsToReq # | |
| NoThunks Data Source # | |
| NoThunks CostModelApplyError Source # | |
| NoThunks ExBudget Source # | |
| NoThunks ExCPU Source # | |
| NoThunks ExMemory Source # | |
| NoThunks SatInt # | |
| NoThunks EvaluationContext Source # | |
Defined in PlutusLedgerApi.Common.Eval | |
| NoThunks ScriptForEvaluation Source # | |
Defined in PlutusLedgerApi.Common.SerialisedScript | |
| NoThunks PlutusLedgerLanguage Source # | |
Defined in PlutusLedgerApi.Common.Versions | |
| NoThunks StdGen Source # | |
| NoThunks Appenders Source # | |
| NoThunks RAWState Source # | |
| NoThunks Readers Source # | |
| NoThunks Writers Source # | |
| NoThunks Age Source # | |
| NoThunks PrettyCallStack Source # | |
| NoThunks RegistryStatus Source # | |
| NoThunks ResourceId Source # | |
Defined in Control.ResourceRegistry | |
| NoThunks PObject Source # | |
| NoThunks Text Source # | |
| NoThunks Text Source # | |
| NoThunks Day Source # | |
| NoThunks DiffTime Source # | |
| NoThunks NominalDiffTime Source # | |
Defined in NoThunks.Class | |
| NoThunks UTCTime Source # | |
| NoThunks UniversalTime Source # | |
Defined in NoThunks.Class | |
| NoThunks TimeLocale Source # | |
Defined in NoThunks.Class | |
| NoThunks LocalTime Source # | |
| NoThunks TimeOfDay Source # | |
| NoThunks TimeZone Source # | |
| NoThunks ZonedTime Source # | |
| NoThunks Integer Source # | |
| NoThunks Natural Source # | |
| NoThunks () Source # | |
| NoThunks Bool Source # | |
| NoThunks Char Source # | |
| NoThunks Double Source # | |
| NoThunks Float Source # | |
| NoThunks Int Source # | |
| NoThunks Word Source # | |
| NoThunks a ⇒ NoThunks (First a) Source # | |
| NoThunks a ⇒ NoThunks (Last a) Source # | |
| NoThunks a ⇒ NoThunks (Max a) Source # | |
| NoThunks a ⇒ NoThunks (Min a) Source # | |
| NoThunks a ⇒ NoThunks (WrappedMonoid a) Source # | |
Defined in NoThunks.Class | |
| NoThunks (PossessionProofDSIGN (BLS12381DSIGN curve)) Source # | |
Defined in Cardano.Crypto.DSIGN.BLS12381.Internal Methods noThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PossessionProofDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → String Source # | |
| NoThunks (SigDSIGN (BLS12381DSIGN curve)) Source # | |
| NoThunks (SigDSIGN EcdsaSecp256k1DSIGN) Source # | |
| NoThunks (SigDSIGN Ed25519DSIGN) Source # | |
| NoThunks (SigDSIGN Ed448DSIGN) Source # | |
| NoThunks (SigDSIGN MockDSIGN) Source # | |
| NoThunks (SigDSIGN NeverDSIGN) Source # | |
| NoThunks (SigDSIGN SchnorrSecp256k1DSIGN) Source # | |
| NoThunks (SignKeyDSIGN (BLS12381DSIGN curve)) Source # | |
Defined in Cardano.Crypto.DSIGN.BLS12381.Internal Methods noThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → String Source # | |
| NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → String Source # | |
| NoThunks (SignKeyDSIGN Ed25519DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → String Source # | |
| NoThunks (SignKeyDSIGN Ed448DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → String Source # | |
| NoThunks (SignKeyDSIGN MockDSIGN) Source # | |
| NoThunks (SignKeyDSIGN NeverDSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN NeverDSIGN) → String Source # | |
| NoThunks (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → String Source # | |
| NoThunks (SignKeyDSIGNM Ed25519DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SignKeyDSIGNM Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGNM Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGNM Ed25519DSIGN) → String Source # | |
| NoThunks (VerKeyDSIGN (BLS12381DSIGN curve)) Source # | |
Defined in Cardano.Crypto.DSIGN.BLS12381.Internal Methods noThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN (BLS12381DSIGN curve) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → String Source # | |
| NoThunks (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → String Source # | |
| NoThunks (VerKeyDSIGN Ed25519DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → String Source # | |
| NoThunks (VerKeyDSIGN Ed448DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → String Source # | |
| NoThunks (VerKeyDSIGN MockDSIGN) Source # | |
| NoThunks (VerKeyDSIGN NeverDSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN NeverDSIGN) → String Source # | |
| NoThunks (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # | |
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → String Source # | |
| NoThunks (Point curve) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (SigKES (CompactSingleKES d)) Source # | |
| KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d)) Source # | |
| NoThunks (SigKES (MockKES t)) Source # | |
| NoThunks (SigKES NeverKES) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (SigKES (SimpleKES d t)) Source # | |
| DSIGNAlgorithm d ⇒ NoThunks (SigKES (SingleKES d)) Source # | |
| KESAlgorithm d ⇒ NoThunks (SigKES (SumKES h d)) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (CompactSingleKES d)) Source # | |
Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (CompactSingleKES d)) → String Source # | |
| NoThunks (SignKeyKES (CompactSumKES h d)) Source # | |
Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (CompactSumKES h d)) → String Source # | |
| NoThunks (SignKeyKES (MockKES t)) Source # | |
| NoThunks (SignKeyKES NeverKES) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SimpleKES d t)) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SingleKES d)) Source # | |
| NoThunks (SignKeyKES (SumKES h d)) Source # | |
| KESAlgorithm v ⇒ NoThunks (SignKeyWithPeriodKES v) Source # | |
Defined in Cardano.Crypto.KES.Class | |
| DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # | |
Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → String Source # | |
| (NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # | |
Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → String Source # | |
| NoThunks (UnsoundPureSignKeyKES (MockKES t)) Source # | |
| NoThunks (UnsoundPureSignKeyKES NeverKES) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SimpleKES d t)) Source # | |
Defined in Cardano.Crypto.KES.Simple | |
| DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SingleKES d)) Source # | |
| (NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (SumKES h d)) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSingleKES d)) Source # | |
| KESAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSumKES h d)) Source # | |
| NoThunks (VerKeyKES (MockKES t)) Source # | |
| NoThunks (VerKeyKES NeverKES) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SimpleKES d t)) Source # | |
| DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SingleKES d)) Source # | |
| KESAlgorithm d ⇒ NoThunks (VerKeyKES (SumKES h d)) Source # | |
| NoThunks (MLockedSizedBytes n) Source # | |
| NoThunks (MLockedSeed n) Source # | |
Defined in Cardano.Crypto.Libsodium.MLockedSeed | |
| NoThunks (MLockedForeignPtr a) Source # | |
Defined in Cardano.Crypto.Libsodium.Memory.Internal | |
| NoThunks (PackedBytes n) Source # | |
Defined in Cardano.Crypto.PackedBytes.Internal | |
| NoThunks (PinnedSizedBytes n) Source # | |
Defined in Cardano.Crypto.PinnedSizedBytes | |
| NoThunks (CertVRF MockVRF) Source # | |
| NoThunks (CertVRF NeverVRF) Source # | |
| NoThunks (CertVRF SimpleVRF) Source # | |
| NoThunks (CertVRF PraosVRF) Source # | |
| NoThunks (CertVRF PraosBatchCompatVRF) Source # | |
| NoThunks (OutputVRF v) Source # | |
| NoThunks (SignKeyVRF MockVRF) Source # | |
| NoThunks (SignKeyVRF NeverVRF) Source # | |
| NoThunks (SignKeyVRF SimpleVRF) Source # | |
| NoThunks (SignKeyVRF PraosVRF) Source # | |
| NoThunks (SignKeyVRF PraosBatchCompatVRF) Source # | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → SignKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF PraosBatchCompatVRF) → String Source # | |
| NoThunks (VerKeyVRF MockVRF) Source # | |
| NoThunks (VerKeyVRF NeverVRF) Source # | |
| NoThunks (VerKeyVRF SimpleVRF) Source # | |
| NoThunks (VerKeyVRF PraosVRF) Source # | |
| NoThunks (VerKeyVRF PraosBatchCompatVRF) Source # | |
| NoThunks a ⇒ NoThunks (AProtocolMagic a) Source # | |
Defined in Cardano.Crypto.ProtocolMagic | |
| NoThunks (Signature a) Source # | |
| NoThunks a ⇒ NoThunks (OSet a) Source # | |
| NoThunks a ⇒ NoThunks (NonEmptySet a) Source # | |
Defined in Data.Set.NonEmpty | |
| (Era era, NoThunks (NativeScript era)) ⇒ NoThunks (AllegraTxAuxData era) Source # | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
| (Era era, NoThunks (NativeScript era)) ⇒ NoThunks (AllegraTxAuxDataRaw era) Source # | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
| (Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (AlonzoBlockBody era) Source # | |
Defined in Cardano.Ledger.Alonzo.BlockBody.Internal | |
| NoThunks (DowngradeAlonzoPParams Identity) Source # | |
| NoThunks (UpgradeAlonzoPParams Identity) Source # | |
| (Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) ⇒ NoThunks (AlonzoScript era) Source # | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
| NoThunks (PlutusScript AlonzoEra) Source # | |
| NoThunks (PlutusScript BabbageEra) Source # | |
Defined in Cardano.Ledger.Babbage.Scripts Methods noThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source # | |
| NoThunks (PlutusScript ConwayEra) Source # | |
| NoThunks (PlutusScript DijkstraEra) Source # | |
Defined in Cardano.Ledger.Dijkstra.Scripts Methods noThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusScript DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PlutusScript DijkstraEra) → String Source # | |
| AlonzoEraScript era ⇒ NoThunks (ScriptIntegrity era) Source # | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| NoThunks (AlonzoTxAuxData era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| NoThunks (AlonzoTxAuxDataRaw era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| NoThunks (AlonzoTxOut era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
| AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| AlonzoEraScript era ⇒ NoThunks (AlonzoTxWitsRaw era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| AlonzoEraScript era ⇒ NoThunks (Redeemers era) Source # | |
| AlonzoEraScript era ⇒ NoThunks (RedeemersRaw era) Source # | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Typeable era ⇒ NoThunks (TxDats era) Source # | |
| Typeable era ⇒ NoThunks (TxDatsRaw era) Source # | |
| (Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source # | |
Defined in Cardano.Ledger.Babbage.TxOut | |
| NoThunks a ⇒ NoThunks (Sized a) Source # | |
| NoThunks a ⇒ NoThunks (ABlockOrBoundaryHdr a) Source # | |
Defined in Cardano.Chain.Block.Block | |
| NoThunks a ⇒ NoThunks (ABlockSignature a) Source # | |
Defined in Cardano.Chain.Block.Header | |
| NoThunks a ⇒ NoThunks (ABoundaryHeader a) Source # | |
Defined in Cardano.Chain.Block.Header | |
| NoThunks a ⇒ NoThunks (AHeader a) Source # | |
| NoThunks h ⇒ NoThunks (Attributes h) Source # | |
Defined in Cardano.Chain.Common.Attributes | |
| NoThunks (MerkleRoot a) Source # | |
Defined in Cardano.Chain.Common.Merkle | |
| NoThunks a ⇒ NoThunks (ACertificate a) Source # | |
Defined in Cardano.Chain.Delegation.Certificate | |
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (ConwayGovState era) Source # | |
Defined in Cardano.Ledger.Conway.Governance | |
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulsingState era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |
| EraPParams era ⇒ NoThunks (PulsingSnapshot era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser | |
| EraPParams era ⇒ NoThunks (EnactState era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Internal | |
| (Typeable era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (RatifyEnv era) Source # | |
| EraPParams era ⇒ NoThunks (RatifyState era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Internal | |
| Era era ⇒ NoThunks (Committee era) Source # | |
| Era era ⇒ NoThunks (Constitution era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EraPParams era ⇒ NoThunks (GovAction era) Source # | |
| EraPParams era ⇒ NoThunks (GovActionState era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks (GovPurposeId p) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| (∀ (p ∷ GovActionPurpose). NoThunks (f (GovPurposeId p))) ⇒ NoThunks (GovRelation f) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EraPParams era ⇒ NoThunks (ProposalProcedure era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks (VotingProcedure era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks (VotingProcedures era) Source # | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| NoThunks a ⇒ NoThunks (PEdges a) Source # | |
| NoThunks a ⇒ NoThunks (PGraph a) Source # | |
| NoThunks a ⇒ NoThunks (PRoot a) Source # | |
| EraPParams era ⇒ NoThunks (Proposals era) Source # | |
| NoThunks (UpgradeConwayPParams StrictMaybe) Source # | |
Defined in Cardano.Ledger.Conway.PParams Methods noThunks ∷ Context → UpgradeConwayPParams StrictMaybe → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UpgradeConwayPParams StrictMaybe → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UpgradeConwayPParams StrictMaybe) → String Source # | |
| NoThunks (UpgradeConwayPParams Identity) Source # | |
| NoThunks (ConwayAccountState era) Source # | |
Defined in Cardano.Ledger.Conway.State.Account | |
| NoThunks (ConwayAccounts era) Source # | |
Defined in Cardano.Ledger.Conway.State.Account | |
| (Era era, NoThunks (Accounts era)) ⇒ NoThunks (ConwayCertState era) Source # | |
Defined in Cardano.Ledger.Conway.State.CertState | |
| NoThunks (ConwayInstantStake era) Source # | |
Defined in Cardano.Ledger.Conway.State.Stake | |
| NoThunks (VState era) Source # | |
| NoThunks (ConwayTxCert era) Source # | |
Defined in Cardano.Ledger.Conway.TxCert | |
| NoThunks a ⇒ NoThunks (Exclusive a) Source # | |
| NoThunks a ⇒ NoThunks (Inclusive a) Source # | |
| NoThunks a ⇒ NoThunks (NonZero a) Source # | |
| NoThunks (CompactForm Coin) Source # | |
| NoThunks (CompactForm DeltaCoin) Source # | |
| NoThunks (CompactForm MaryValue) Source # | |
| NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era) Source # | |
| NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era) Source # | |
Defined in Cardano.Ledger.Core.PParams | |
| NoThunks (PoolCert era) Source # | |
| NoThunks (Credential kr) Source # | |
Defined in Cardano.Ledger.Credential | |
| NoThunks (NoGenesis era) Source # | |
| NoThunks (NoUpdate a) Source # | |
| NoThunks (SafeHash i) Source # | |
| NoThunks (VRFVerKeyHash r) Source # | |
Defined in Cardano.Ledger.Hashes | |
| NoThunks (KeyHash r) Source # | |
| NoThunks (VKey kd) Source # | |
| Typeable kr ⇒ NoThunks (WitVKey kr) Source # | |
| (Typeable t, NoThunks t) ⇒ NoThunks (MemoBytes t) Source # | |
| NoThunks (BinaryData era) Source # | |
Defined in Cardano.Ledger.Plutus.Data | |
| Typeable era ⇒ NoThunks (Data era) Source # | |
| NoThunks (Datum era) Source # | |
| NoThunks (PlutusData era) Source # | |
Defined in Cardano.Ledger.Plutus.Data | |
| NoThunks a ⇒ NoThunks (ExUnits' a) Source # | |
| NoThunks (Plutus l) Source # | |
| Typeable l ⇒ NoThunks (PlutusRunnable l) Source # | |
Defined in Cardano.Ledger.Plutus.Language | |
| NoThunks (CommitteeState era) Source # | |
Defined in Cardano.Ledger.State.CertState | |
| NoThunks (Accounts era) ⇒ NoThunks (DState era) Source # | |
| NoThunks (PState era) Source # | |
| NoThunks (FuturePParams era) Source # | |
Defined in Cardano.Ledger.State.Governance | |
| NoThunks (SnapShots era) Source # | |
| NoThunks (StakePoolParams era) Source # | |
Defined in Cardano.Ledger.State.StakePool | |
| NoThunks (TxOut era) ⇒ NoThunks (UTxO era) Source # | |
| (Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (DijkstraEndorserBlock era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Block.Endorser | |
| NoThunks (Tx 'TopTx era) ⇒ NoThunks (EbTransactions era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Block.Endorser | |
| (Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (DijkstraBlockBodyRaw era) Source # | |
Defined in Cardano.Ledger.Dijkstra.BlockBody.Internal | |
| NoThunks (AccountBalanceInterval era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Scripts | |
| NoThunks (AccountBalanceIntervals era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Scripts | |
| Era era ⇒ NoThunks (DijkstraNativeScript era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Scripts | |
| Era era ⇒ NoThunks (DijkstraNativeScriptRaw era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Scripts | |
| NoThunks (DijkstraTxCert era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxCert | |
| NoThunks tx ⇒ NoThunks (Validated tx) Source # | |
| NoThunks (StAnnTx 'TopTx era) ⇒ NoThunks (ValidatedTx era) Source # | |
Defined in Cardano.Ledger.Shelley.API.Mempool | |
| NoThunks (BlockTransitionError era) Source # | We do not check for thunks in this instance, because |
Defined in Cardano.Ledger.Shelley.API.Validation | |
| (Typeable era, NoThunks (Tx 'TopTx era)) ⇒ NoThunks (ShelleyBlockBody era) Source # | |
Defined in Cardano.Ledger.Shelley.BlockBody.Internal | |
| (NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source # | |
Defined in Cardano.Ledger.Shelley.Governance | |
| (EraTxOut era, NoThunks (GovState era), NoThunks (CertState era), NoThunks (InstantStake era)) ⇒ NoThunks (EpochState era) Source # | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| (EraTxOut era, NoThunks (GovState era), NoThunks (CertState era), NoThunks (InstantStake era)) ⇒ NoThunks (LedgerState era) Source # | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| (Era era, NoThunks (EpochState era), NoThunks (StashedAVVMAddresses era)) ⇒ NoThunks (NewEpochState era) Source # | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| (NoThunks (UTxO era), NoThunks (GovState era), NoThunks (InstantStake era)) ⇒ NoThunks (UTxOState era) Source # | |
| NoThunks (PParamsUpdate era) ⇒ NoThunks (ProposedPPUpdates era) Source # | |
Defined in Cardano.Ledger.Shelley.PParams | |
| NoThunks (PParamsUpdate era) ⇒ NoThunks (Update era) Source # | |
| Typeable era ⇒ NoThunks (MultiSig era) Source # | |
| Typeable era ⇒ NoThunks (MultiSigRaw era) Source # | |
Defined in Cardano.Ledger.Shelley.Scripts | |
| NoThunks (ShelleyAccountState era) Source # | |
Defined in Cardano.Ledger.Shelley.State.Account | |
| NoThunks (ShelleyAccounts era) Source # | |
Defined in Cardano.Ledger.Shelley.State.Account | |
| (Era era, NoThunks (Accounts era)) ⇒ NoThunks (ShelleyCertState era) Source # | |
Defined in Cardano.Ledger.Shelley.State.CertState | |
| NoThunks (ShelleyInstantStake era) Source # | |
Defined in Cardano.Ledger.Shelley.State.Stake | |
| NoThunks (TransitionConfig AllegraEra) Source # | |
Defined in Cardano.Ledger.Allegra.Transition Methods noThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source # | |
| NoThunks (TransitionConfig AlonzoEra) Source # | |
| NoThunks (TransitionConfig BabbageEra) Source # | |
Defined in Cardano.Ledger.Babbage.Transition Methods noThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source # | |
| NoThunks (TransitionConfig ConwayEra) Source # | |
| NoThunks (TransitionConfig DijkstraEra) Source # | |
Defined in Cardano.Ledger.Dijkstra.Transition Methods noThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → String Source # | |
| NoThunks (TransitionConfig MaryEra) Source # | |
| NoThunks (TransitionConfig ShelleyEra) Source # | |
Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source # | |
| NoThunks (ShelleyTxAuxData era) Source # | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
| NoThunks (ShelleyTxAuxDataRaw era) Source # | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
| NoThunks (ShelleyTxCert era) Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| NoThunks (ShelleyTxOut era) Source # | |
Defined in Cardano.Ledger.Shelley.TxOut | |
| EraScript era ⇒ NoThunks (ShelleyTxWits era) Source # | |
Defined in Cardano.Ledger.Shelley.TxWits | |
| EraScript era ⇒ NoThunks (ShelleyTxWitsRaw era) Source # | |
Defined in Cardano.Ledger.Shelley.TxWits | |
| NoThunks (EpochInfo m) Source # | |
| NoThunks t ⇒ NoThunks (WithOrigin t) Source # | |
Defined in Cardano.Slotting.Slot | |
| NoThunks a ⇒ NoThunks (StrictMaybe a) Source # | |
Defined in Data.Maybe.Strict | |
| NoThunks a ⇒ NoThunks (StrictSeq a) Source # | Instance for The internal fingertree in |
| NoThunks a ⇒ NoThunks (IntMap a) Source # | |
| NoThunks a ⇒ NoThunks (Seq a) Source # | Instance for The internal fingertree in |
| NoThunks a ⇒ NoThunks (Set a) Source # | |
| NoThunks (SomeHasFS m) Source # | |
| NoThunks (Handle h) Source # | |
| NoThunks a ⇒ NoThunks (NonEmpty a) Source # | |
| NoThunks a ⇒ NoThunks (TVar a) Source # | |
| NoThunks a ⇒ NoThunks (Identity a) Source # | |
| NoThunks a ⇒ NoThunks (First a) Source # | |
| NoThunks a ⇒ NoThunks (Last a) Source # | |
| NoThunks a ⇒ NoThunks (Dual a) Source # | |
| NoThunks a ⇒ NoThunks (Product a) Source # | |
| NoThunks a ⇒ NoThunks (Sum a) Source # | |
| NoThunks a ⇒ NoThunks (IORef a) Source # | |
| NoThunks a ⇒ NoThunks (MVar a) Source # | |
| NoThunks a ⇒ NoThunks (Ratio a) Source # | |
| NoThunks (IO a) Source # | We do not check IO actions for captured thunks by default See instance for |
| NoThunks a ⇒ NoThunks (MultiSet a) Source # | |
| NoThunks v ⇒ NoThunks (NESet v) Source # | |
| NoThunks (AllowThunk a) Source # | |
Defined in NoThunks.Class | |
| Typeable a ⇒ NoThunks (InspectHeap a) Source # | |
Defined in NoThunks.Class | |
| Typeable a ⇒ NoThunks (OnlyCheckWhnf a) Source # | |
Defined in NoThunks.Class | |
| CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source # | |
| NoThunks (BlockConfig (DualBlock m a)) Source # | |
| CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source # | |
| (NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a)) Source # | |
| CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source # | |
| NoThunks (Header (DualBlock m a)) Source # | |
| CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source # | |
| (NoThunks (StorageConfig m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a)) Source # | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (RealPoint blk) Source # | |
| ConsensusProtocol proto ⇒ NoThunks (SelectViewTentativeState proto) Source # | |
| NoThunks (PerasVotingCommittee blk) ⇒ NoThunks (PerasEpochContext blk) Source # | |
Defined in Ouroboros.Consensus.Block.SupportsPeras | |
| (StandardHash blk, NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (PerasVoteCollection blk) Source # | |
Defined in Ouroboros.Consensus.Block.SupportsPeras | |
| (StandardHash blk, NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (PerasVoteCollectionWithQuorum blk) Source # | |
Defined in Ouroboros.Consensus.Block.SupportsPeras | |
| NoThunks (PerasCert blk) ⇒ NoThunks (ValidatedPerasCert blk) Source # | |
Defined in Ouroboros.Consensus.Block.SupportsPeras | |
| NoThunks (PerasVote blk) ⇒ NoThunks (ValidatedPerasVote blk) Source # | |
Defined in Ouroboros.Consensus.Block.SupportsPeras | |
| NoThunks (BlockchainTime m) Source # | |
Defined in Ouroboros.Consensus.BlockchainTime.API | |
| NoThunks (SystemTime m) Source # | |
| NoThunks a ⇒ NoThunks (WithArrivalTime a) Source # | |
| NoThunks (VRFOutput PerasBLSCrypto) Source # | |
| NoThunks (VoteSignature PerasBLSCrypto) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.BLS Methods noThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VoteSignature PerasBLSCrypto → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VoteSignature PerasBLSCrypto) → String Source # | |
| NoThunks (PrivateKey r) Source # | |
Defined in Ouroboros.Consensus.Committee.Crypto.BLS | |
| NoThunks (PublicKey r) Source # | |
| NoThunks (Signature r) Source # | |
| NoThunks a ⇒ NoThunks (Cumulative a) Source # | |
Defined in Ouroboros.Consensus.Committee.Types | |
| NoThunks a ⇒ NoThunks (ExtWFAStakeDistr a) Source # | |
Defined in Ouroboros.Consensus.Committee.WFA | |
| NoThunks (HeaderHash blk) ⇒ NoThunks (CheckpointsMap blk) Source # | |
Defined in Ouroboros.Consensus.Config | |
| (ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (TopLevelConfig blk) Source # | |
Defined in Ouroboros.Consensus.Config | |
| NoThunks (OneEraPerasError xs) ⇒ NoThunks (HardForkPerasError xs) Source # | |
| CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraEnvelopeErr xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraGenTxId xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraLedgerError xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraPerasCert xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraPerasCrypto xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraPerasError xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraPerasVote xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraPerasVotingCommitteeScheme xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraTentativeHeaderState xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraTiebreakerView xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraValidatedGenTx xs) Source # | |
| CanHardFork xs ⇒ NoThunks (OneEraValidationErr xs) Source # | |
| CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source # | |
| CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source # | |
| CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source # | |
| CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source # | |
| CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source # | |
| CanHardFork xs ⇒ NoThunks (HardForkLedgerConfig xs) Source # | |
| NoThunks (LedgerEraInfo blk) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Info | |
| NoThunks (SingleEraInfo blk) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Info | |
| CanHardFork xs ⇒ NoThunks (HardForkEnvelopeErr xs) Source # | |
| CanHardFork xs ⇒ NoThunks (HardForkLedgerError xs) Source # | |
| NoThunks (PartialConsensusConfig (BlockProtocol blk)) ⇒ NoThunks (WrapPartialConsensusConfig blk) Source # | |
| NoThunks (PartialLedgerConfig blk) ⇒ NoThunks (WrapPartialLedgerConfig blk) Source # | |
| CanHardFork xs ⇒ NoThunks (HardForkTiebreakerView xs) Source # | |
| CanHardFork xs ⇒ NoThunks (HardForkValidationErr xs) Source # | |
| NoThunks (EraTranslation xs) Source # | |
| NoThunks (Shape xs) Source # | |
| NoThunks (Summary xs) Source # | |
| (BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderStateHistory blk) Source # | |
Defined in Ouroboros.Consensus.HeaderStateHistory | |
| (BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderStateWithTime blk) Source # | |
Defined in Ouroboros.Consensus.HeaderStateHistory | |
| HasAnnTip blk ⇒ NoThunks (AnnTip blk) Source # | |
| (ValidateEnvelope blk, Typeable blk) ⇒ NoThunks (HeaderEnvelopeError blk) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
| (BlockSupportsProtocol blk, ValidateEnvelope blk) ⇒ NoThunks (HeaderError blk) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
| (BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderState blk) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
| NoThunks (Header blk) ⇒ NoThunks (HeaderWithTime blk) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
| StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
| CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source # | |
| NoThunks (Validated (GenTx (DualBlock m a))) Source # | |
| (ConsensusProtocol (BlockProtocol blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (LedgerConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (ExtLedgerCfg blk) Source # | |
Defined in Ouroboros.Consensus.Ledger.Extended | |
| (NoThunks (PerasError blk), LedgerSupportsProtocol blk) ⇒ NoThunks (ExtValidationError blk) Source # | |
Defined in Ouroboros.Consensus.Ledger.Extended | |
| NoThunks (PerasVotingCommittee blk) ⇒ NoThunks (PerasState blk) Source # | |
Defined in Ouroboros.Consensus.Ledger.Peras | |
| CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source # | |
| NoThunks (GenTx (DualBlock m a)) Source # | |
| NoThunks a ⇒ NoThunks (IgnoringOverflow a) Source # | |
Defined in Ouroboros.Consensus.Ledger.SupportsMempool | |
| CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source # | |
| NoThunks (TxId (GenTx (DualBlock m a))) Source # | |
| (NoThunks (TxMeasurePhase1 blk), NoThunks (TxMeasurePhase2 blk)) ⇒ NoThunks (TxMeasure blk) Source # | |
| NoThunks v ⇒ NoThunks (Delta v) Source # | |
| NoThunks (Header blk) ⇒ NoThunks (Notification blk) Source # | |
Defined in Ouroboros.Consensus.Leios.NotifyLog | |
| (NoThunks (TxMeasure blk), NoThunks (TxEbMeasure blk)) ⇒ NoThunks (MempoolMeasure blk) Source # | |
Defined in Ouroboros.Consensus.Mempool.API | |
| (NoThunks (Validated (GenTx blk)), NoThunks (GenTxId blk), NoThunks (TickedLedgerState blk DiffMK), NoThunks (TxIn blk), NoThunks (TxOut blk), NoThunks (TxMeasurePhase1 blk), NoThunks (TxMeasurePhase2 blk), NoThunks (TxEbMeasure blk), StandardHash blk, Typeable blk) ⇒ NoThunks (InternalState blk) Source # | |
Defined in Ouroboros.Consensus.Mempool.Impl.Common | |
| (NoThunks (Validated (GenTx blk)), NoThunks (TxIn blk), NoThunks (TxOut blk)) ⇒ NoThunks (ValidatedTxWithDiffs blk) Source # | |
Defined in Ouroboros.Consensus.Mempool.Impl.Common | |
| NoThunks a ⇒ NoThunks (Our a) Source # | |
| NoThunks a ⇒ NoThunks (Their a) Source # | |
| (HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (Instruction blk) Source # | |
| (HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (JumpInstruction blk) Source # | |
| (HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (JumpResult blk) Source # | |
| (HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncJumpingJumperState blk) Source # | |
| (HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncState blk) Source # | |
| (HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (DynamoInitState blk) Source # | |
| LedgerSupportsProtocol blk ⇒ NoThunks (JumpInfo blk) Source # | |
| NoThunks anc ⇒ NoThunks (SeenAnnouncements anc) Source # | |
| NoThunks anc ⇒ NoThunks (State anc) Source # | |
| NoThunks (Header blk) ⇒ NoThunks (AnnouncingHeader blk) Source # | |
| NoThunks (Header blk) ⇒ NoThunks (LeiosNotifyPeerState blk) Source # | |
| NoThunks cert ⇒ NoThunks (PerasCertInclusionRulesDecision cert) Source # | |
Defined in Ouroboros.Consensus.Peras.Cert.Inclusion | |
| NoThunks (PerasCert blk) ⇒ NoThunks (TracePerasCertInclusionEvent blk) Source # | |
| StandardHash blk ⇒ NoThunks (MockPerasCert blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Cert.Mock | |
| NoThunks (PerasCert blk) Source # | |
| NoThunks (PerasEpochContext blk) ⇒ NoThunks (BoundedPerasEpochContext blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Context | |
| NoThunks (PerasEpochContext blk) ⇒ NoThunks (PerasEpochContextResolver blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Context | |
| NoThunks (MockPerasCrypto blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock | |
| NoThunks (MockPerasVotingCommitteeScheme blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock | |
| NoThunks (PerasVotingCommitteeError blk) ⇒ NoThunks (MockPerasError blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Error.Mock | |
| NoThunks (PerasVotingCommitteeError blk) ⇒ NoThunks (PerasError blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Error.V1 | |
| NoThunks a ⇒ NoThunks (PerasEnabled a) Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| NoThunks (PerasParams blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Params | |
| StandardHash blk ⇒ NoThunks (PerasVoteTarget blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Types | |
| NoThunks (VoidPerasCert blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
| NoThunks (VoidPerasCrypto blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
| NoThunks (VoidPerasError blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
| NoThunks (VoidPerasVote blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Void | |
| (StandardHash blk, NoThunks (PerasVote blk), NoThunks (PerasCert blk), NoThunks (PerasVotingCommittee blk)) ⇒ NoThunks (PerasRoundVoteState blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Vote.Aggregation | |
| StandardHash blk ⇒ NoThunks (MockPerasVote blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Vote.Mock | |
| NoThunks (PerasVote blk) Source # | |
| StandardHash blk ⇒ NoThunks (PerasVotingRulesDecision blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Voting.Rules | |
| (StandardHash blk, NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (TracePerasVoteForgingEvent blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Voting.Trace | |
| StandardHash blk ⇒ NoThunks (PerasWeightSnapshot blk) Source # | |
Defined in Ouroboros.Consensus.Peras.Weight | |
| CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source # | |
| BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c)) Source # | |
| ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p t)) Source # | |
Defined in Ouroboros.Consensus.Protocol.ModChainSel Methods noThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p t)) → String Source # | |
| NoThunks (ConsensusConfig (PBft c)) Source # | |
| NoThunks (TiebreakerView p) ⇒ NoThunks (SelectView p) Source # | |
Defined in Ouroboros.Consensus.Protocol.Abstract | |
| PBftCrypto c ⇒ NoThunks (PBftCanBeLeader c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| PBftCrypto c ⇒ NoThunks (PBftCannotForge c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| PBftCrypto c ⇒ NoThunks (PBftIsLeader c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| PBftCrypto c ⇒ NoThunks (PBftLedgerView c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| PBftCrypto c ⇒ NoThunks (PBftValidationErr c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| PBftCrypto c ⇒ NoThunks (PBftSigner c) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT.State | |
| PBftCrypto c ⇒ NoThunks (PBftState c) Source # | |
| NoThunks a ⇒ NoThunks (LoE a) Source # | |
| NoThunks (InvalidBlockPunishment m) Source # | |
| StandardHash blk ⇒ NoThunks (FollowerRollState blk) Source # | |
| (HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (InternalChain blk) Source # | |
| (LedgerSupportsProtocol blk, BlockSupportsPeras blk) ⇒ NoThunks (InvalidBlockInfo blk) Source # | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (StreamFrom blk) Source # | |
Defined in Ouroboros.Consensus.Storage.Common | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (StreamTo blk) Source # | |
| StandardHash blk ⇒ NoThunks (Tip blk) Source # | |
| StandardHash blk ⇒ NoThunks (Entry blk) Source # | |
| NoThunks a ⇒ NoThunks (WithBlockSize a) Source # | |
| NoThunks (SnapshotRequestQueue m) Source # | |
| NoThunks (LeiosDbHandle m) Source # | |
Defined in Ouroboros.Consensus.Storage.LeiosDB.API | |
| NoThunks (LeiosDbReader m) Source # | |
Defined in Ouroboros.Consensus.Storage.LeiosDB.API | |
| NoThunks (LeiosDbWriter m) Source # | |
Defined in Ouroboros.Consensus.Storage.LeiosDB.API | |
| NoThunks cert ⇒ NoThunks (WithBoostedBlockStatus cert) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasCertDB.API | |
| NoThunks (PerasCert blk) ⇒ NoThunks (AddPerasVoteResult blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.API | |
| (NoThunks (PerasVote blk), NoThunks (PerasCert blk)) ⇒ NoThunks (TraceEvent blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.Impl | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (BlockInfo blk) Source # | |
| StandardHash blk ⇒ NoThunks (FileInfo blk) Source # | |
| StandardHash blk ⇒ NoThunks (Index blk) Source # | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (InternalBlockInfo blk) Source # | |
| NoThunks (ChainDepState (BlockProtocol blk)) ⇒ NoThunks (WrapChainDepState blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (OtherHeaderEnvelopeError blk) ⇒ NoThunks (WrapEnvelopeErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (GenTxId blk) ⇒ NoThunks (WrapGenTxId blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (LedgerError blk) ⇒ NoThunks (WrapLedgerErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PerasCert blk) ⇒ NoThunks (WrapPerasCert blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PerasCrypto blk) ⇒ NoThunks (WrapPerasCrypto blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PerasError blk) ⇒ NoThunks (WrapPerasError blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PrivateKey (PerasCrypto blk)) ⇒ NoThunks (WrapPerasPrivateKey blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PerasVote blk) ⇒ NoThunks (WrapPerasVote blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (VotingCommittee (PerasCrypto blk) (PerasVotingCommitteeScheme blk)) ⇒ NoThunks (WrapPerasVotingCommittee blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (PerasVotingCommitteeScheme blk) ⇒ NoThunks (WrapPerasVotingCommitteeScheme blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (TentativeHeaderState blk) ⇒ NoThunks (WrapTentativeHeaderState blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (TiebreakerView (BlockProtocol blk)) ⇒ NoThunks (WrapTiebreakerView blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (TipInfo blk) ⇒ NoThunks (WrapTipInfo blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (TxIn blk) ⇒ NoThunks (WrapTxIn blk) Source # | |
| NoThunks (TxOut blk) ⇒ NoThunks (WrapTxOut blk) Source # | |
| NoThunks (Validated (GenTx blk)) ⇒ NoThunks (WrapValidatedGenTx blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (ValidationErr (BlockProtocol blk)) ⇒ NoThunks (WrapValidationErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
| NoThunks (StrictMVar m ()) ⇒ NoThunks (Fuse m) Source # | |
| NoThunks (m ()) ⇒ NoThunks (Config m) Source # | |
| NoThunks (m ()) ⇒ NoThunks (State m) Source # | |
| StandardHash block ⇒ NoThunks (Anchor block) # | |
| NoThunks a ⇒ NoThunks (WithFingerprint a) # | |
| NoThunks a ⇒ NoThunks (WithBytes a) # | |
| NoThunks (CaserBuiltin uni) Source # | |
Defined in PlutusCore.Builtin.Case | |
| NoThunks (BuiltinSemanticsVariant DefaultFun) Source # | |
Defined in PlutusCore.Default.Builtins Methods noThunks ∷ Context → BuiltinSemanticsVariant DefaultFun → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BuiltinSemanticsVariant DefaultFun → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BuiltinSemanticsVariant DefaultFun) → String Source # | |
| NoThunks (BuiltinRuntime val) Source # | |
Defined in PlutusCore.Builtin.Runtime | |
| AllBF NoThunks f CekMachineCostsBase ⇒ NoThunks (CekMachineCostsBase f) Source # | |
| NoThunks st ⇒ NoThunks (Poisonable st) Source # | |
| NoThunks (Context m) Source # | |
| NoThunks (KnownThreads m) Source # | |
| NoThunks (RegistryState m) Source # | |
| NoThunks (Release m) Source # | |
| NoThunks (ReleaseThread m) Source # | |
| NoThunks (Resource m) Source # | |
| NoThunks (ResourceRegistry m) ⇒ NoThunks (ResourceKey m) Source # | |
Defined in Control.ResourceRegistry | |
| (∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a)) ⇒ NoThunks (ResourceRegistry m) Source # | |
Defined in Control.ResourceRegistry | |
| NoThunks (TransferredTo st) Source # | |
| NoThunks a ⇒ NoThunks (Threshold a) Source # | |
| NoThunks a ⇒ NoThunks (Vector a) Source # | |
| Typeable e ⇒ NoThunks (Vector e) Source # | |
| Typeable e ⇒ NoThunks (Vector e) Source # | |
| NoThunks a ⇒ NoThunks (Vector a) Source # | |
| NoThunks (Vector a) Source # | Unboxed vectors can't contain thunks Implementation note: defined manually rather than using |
| NoThunks a ⇒ NoThunks (Maybe a) Source # | |
| NoThunks a ⇒ NoThunks (Solo a) Source # | |
| NoThunks a ⇒ NoThunks [a] Source # | |
| NoThunks (Fixed p) Source # | TODO: We should upstream instance HasResolution p => NoThunks (Fixed p) into the nothunks package. |
| (NoThunks a, NoThunks b) ⇒ NoThunks (Arg a b) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (Bimap k v) Source # | |
| DSIGNAlgorithm v ⇒ NoThunks (SignedDSIGN v a) Source # | |
Defined in Cardano.Crypto.DSIGN.Class | |
| NoThunks (Hash h a) Source # | |
| KESAlgorithm v ⇒ NoThunks (SignedKES v a) Source # | |
| VRFAlgorithm v ⇒ NoThunks (CertifiedVRF v a) Source # | |
Defined in Cardano.Crypto.VRF.Class | |
| NoThunks (AbstractHash algo a) Source # | |
Defined in Cardano.Crypto.Hashing | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (ListMap k v) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (NonEmptyMap k v) Source # | |
Defined in Data.Map.NonEmpty | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (OMap k v) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (OMap k v) Source # | |
| Era era ⇒ NoThunks (Timelock era) Source # | |
| Era era ⇒ NoThunks (TimelockRaw era) Source # | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| NoThunks (AlonzoPParams StrictMaybe era) Source # | |
Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → AlonzoPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoPParams StrictMaybe era) → String Source # | |
| NoThunks (AlonzoPParams Identity era) Source # | |
| NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) Source # | |
| NoThunks (AlonzoPlutusPurpose AsIx era) Source # | |
| NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsIxItem era) Source # | |
| NoThunks it ⇒ NoThunks (AsItem ix it) Source # | |
| NoThunks ix ⇒ NoThunks (AsIx ix it) Source # | |
| (NoThunks ix, NoThunks it) ⇒ NoThunks (AsIxItem ix it) Source # | |
| NoThunks (AsPurpose ix it) Source # | |
| (Typeable era, Typeable l) ⇒ NoThunks (AlonzoTx l era) Source # | |
| Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) Source # | |
| NoThunks (BabbageForecast t era) Source # | |
Defined in Cardano.Ledger.Babbage.Forecast | |
| NoThunks (BabbagePParams StrictMaybe era) Source # | |
Defined in Cardano.Ledger.Babbage.PParams Methods noThunks ∷ Context → BabbagePParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbagePParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbagePParams StrictMaybe era) → String Source # | |
| NoThunks (BabbagePParams Identity era) Source # | |
| Typeable l ⇒ NoThunks (BabbageTxBodyRaw l BabbageEra) Source # | |
Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks ∷ Context → BabbageTxBodyRaw l BabbageEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BabbageTxBodyRaw l BabbageEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BabbageTxBodyRaw l BabbageEra) → String Source # | |
| (NoThunks b, NoThunks a) ⇒ NoThunks (Annotated b a) Source # | |
| NoThunks (ConwayPParams StrictMaybe era) Source # | |
Defined in Cardano.Ledger.Conway.PParams Methods noThunks ∷ Context → ConwayPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayPParams StrictMaybe era) → String Source # | |
| NoThunks (ConwayPParams Identity era) Source # | |
| (NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsItem era) Source # | |
| NoThunks (ConwayPlutusPurpose AsIx era) Source # | |
| (NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsIxItem era) Source # | |
| Typeable l ⇒ NoThunks (ConwayTxBodyRaw l ConwayEra) Source # | |
| NoThunks a ⇒ NoThunks (Mismatch r a) Source # | |
| (Era era, NoThunks (BlockBody era), NoThunks h) ⇒ NoThunks (Block h era) Source # | |
| Typeable l ⇒ NoThunks (Tx l AlonzoEra) Source # | |
| Typeable l ⇒ NoThunks (Tx l BabbageEra) Source # | |
| Typeable l ⇒ NoThunks (Tx l ConwayEra) Source # | |
| Typeable l ⇒ NoThunks (Tx l DijkstraEra) Source # | |
| Typeable l ⇒ NoThunks (Tx l ShelleyEra) Source # | |
| Typeable t ⇒ NoThunks (Tx t AllegraEra) Source # | |
| Typeable t ⇒ NoThunks (Tx t MaryEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l AllegraEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l AlonzoEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l BabbageEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l ConwayEra) Source # | |
| (Typeable l, Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ NoThunks (TxBody l DijkstraEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l MaryEra) Source # | |
| Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source # | |
| NoThunks (DijkstraForecast t era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Forecast | |
| NoThunks (DijkstraPParams StrictMaybe era) Source # | |
Defined in Cardano.Ledger.Dijkstra.PParams Methods noThunks ∷ Context → DijkstraPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DijkstraPParams StrictMaybe era) → String Source # | |
| NoThunks (DijkstraPParams Identity era) Source # | |
| NoThunks (UpgradeDijkstraPParams Identity era) Source # | |
Defined in Cardano.Ledger.Dijkstra.PParams | |
| (EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsItem era) Source # | |
| (EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIx era) Source # | |
| (EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIxItem era) Source # | |
| (Era era, Typeable l) ⇒ NoThunks (DijkstraTx l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.Tx | |
| (Typeable l, EraTxBody era) ⇒ NoThunks (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody | |
| NoThunks (ShelleyForecast t era) Source # | |
Defined in Cardano.Ledger.Shelley.Forecast | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (InjectionData k v) Source # | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| NoThunks (ShelleyPParams StrictMaybe era) Source # | |
Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams StrictMaybe era) → String Source # | |
| NoThunks (ShelleyPParams Identity era) Source # | |
| (Typeable era, Typeable l) ⇒ NoThunks (ShelleyTx l era) Source # | |
| (Typeable era, Typeable l) ⇒ NoThunks (ShelleyTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Shelley.TxBody | |
| NoThunks a ⇒ NoThunks (StrictFingerTree v a) Source # | |
Defined in Data.FingerTree.Strict | |
| NoThunks (Decoder s a) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (Map k v) Source # | |
| NoThunks (Tracer m ev) Source # | |
| NoThunks a ⇒ NoThunks (Array i a) Source # | |
| (NoThunks a, NoThunks b) ⇒ NoThunks (Either a b) Source # | |
| NoThunks a ⇒ NoThunks (StrictMVar IO a) Source # | |
| NoThunks (StrictMVar m a) ⇒ NoThunks (StrictMVar (WithEarlyExit m) a) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit | |
| NoThunks a ⇒ NoThunks (StrictTMVar IO a) Source # | |
| NoThunks (StrictTMVar m a) ⇒ NoThunks (StrictTMVar (WithEarlyExit m) a) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictTMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTMVar (WithEarlyExit m) a) → String Source # | |
| NoThunks a ⇒ NoThunks (StrictTVar IO a) Source # | |
| NoThunks (StrictTVar m a) ⇒ NoThunks (StrictTVar (WithEarlyExit m) a) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (NEMap k v) Source # | |
| (HasFields s a, Generic a, Typeable a, GWNoThunks s (Rep a)) ⇒ NoThunks (AllowThunksIn s a) Source # | |
Defined in NoThunks.Class | |
| KnownSymbol name ⇒ NoThunks (InspectHeapNamed name a) Source # | |
Defined in NoThunks.Class | |
| KnownSymbol name ⇒ NoThunks (OnlyCheckWhnfNamed name a) Source # | |
Defined in NoThunks.Class | |
| StandardHash blk ⇒ NoThunks (Cert crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock | |
| NoThunks (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock Methods noThunks ∷ Context → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EligibilityWitness crypto (MockPerasVotingCommitteeScheme blk)) → String Source # | |
| StandardHash blk ⇒ NoThunks (Vote crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock | |
| CanHardFork xs ⇒ NoThunks (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee (OneEraPerasCrypto xs) (OneEraPerasVotingCommitteeScheme xs)) → String Source # | |
| NoThunks (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) Source # | |
Defined in Ouroboros.Consensus.Peras.Void Methods noThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee (VoidPerasCrypto blk) VoidPerasVotingCommitteeScheme) → String Source # | |
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto EveryoneVotes) Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee crypto EveryoneVotes) → String Source # | |
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommittee crypto WFALS) Source # | |
| NoThunks (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock Methods noThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) → String Source # | |
| NoThunks (VotingCommitteeError crypto EveryoneVotes) Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommitteeError crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeError crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeError crypto EveryoneVotes) → String Source # | |
| NoThunks (VotingCommitteeError crypto WFALS) Source # | |
| NoThunks (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock Methods noThunks ∷ Context → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeError crypto (MockPerasVotingCommitteeScheme blk)) → String Source # | |
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto EveryoneVotes) Source # | |
Defined in Ouroboros.Consensus.Committee.EveryoneVotes Methods noThunks ∷ Context → VotingCommitteeInput crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeInput crypto EveryoneVotes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeInput crypto EveryoneVotes) → String Source # | |
| NoThunks (PublicKey crypto) ⇒ NoThunks (VotingCommitteeInput crypto WFALS) Source # | |
| NoThunks (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) Source # | |
Defined in Ouroboros.Consensus.Peras.Crypto.Mock Methods noThunks ∷ Context → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VotingCommitteeInput crypto (MockPerasVotingCommitteeScheme blk)) → String Source # | |
| NoThunks (OneEraHash xs) Source # | |
| NoThunks (f blk) ⇒ NoThunks (Current f blk) Source # | |
| (All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ NoThunks (f blk)) ⇒ NoThunks (HardForkState f xs) Source # | |
| (NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source # | |
| NoThunks (LedgerState (DualBlock m a) mk) Source # | |
| NoThunks (DualLedgerConfig m a) Source # | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
| NoThunks (DualLedgerError m a) Source # | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
| (NoThunksMK mk, NoThunks (PerasState blk), LedgerSupportsProtocol blk) ⇒ NoThunks (ExtLedgerState blk mk) Source # | We override This makes debugging a bit easier, as the block gets used to resolve all kinds of type families. |
Defined in Ouroboros.Consensus.Ledger.Extended | |
| NoThunks (mk (TxIn blk) (TxOut blk)) ⇒ NoThunks (LedgerTables blk mk) Source # | |
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (Diff k v) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (DiffMK k v) Source # | |
| NoThunks (EmptyMK k v) Source # | |
| NoThunks k ⇒ NoThunks (KeysMK k v) Source # | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (TrackingMK k v) Source # | |
Defined in Ouroboros.Consensus.Ledger.Tables.MapKind | |
| (NoThunks k, NoThunks v) ⇒ NoThunks (ValuesMK k v) Source # | |
| (NoThunks tx, NoThunks sz) ⇒ NoThunks (TxSeq sz tx) Source # | |
| (NoThunks tx, NoThunks sz) ⇒ NoThunks (TxTicket sz tx) Source # | |
| (IOLike m, HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncStateView m blk) Source # | |
| (IOLike m, HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (Jumping m blk) Source # | |
| (IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncClientHandle m blk) Source # | |
| (IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncJumpingState m blk) Source # | |
| (NoThunks (PerasVoteCollection blk), NoThunks (ValidatedPerasCert blk)) ⇒ NoThunks (PerasTargetVoteState blk status) Source # | |
Defined in Ouroboros.Consensus.Peras.Vote.Aggregation | |
| (BftCrypto c, Typeable toSign) ⇒ NoThunks (BftFields c toSign) Source # | |
| (PBftCrypto c, Typeable toSign) ⇒ NoThunks (PBftFields c toSign) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
| (IOLike m, LedgerSupportsProtocol blk, BlockSupportsPeras blk, BlockSupportsDiffusionPipelining blk) ⇒ NoThunks (ChainDbEnv m blk) Source # | We include |
| (BlockSupportsDiffusionPipelining blk, BlockSupportsPeras blk, LedgerSupportsProtocol blk, IOLike m) ⇒ NoThunks (ChainDbState m blk) Source # | |
| NoThunks (ChainSelQueue m blk) Source # | |
| NoThunks (FollowerHandle m blk) Source # | |
| NoThunks (ImmutableDB m blk) Source # | |
Defined in Ouroboros.Consensus.Storage.ImmutableDB.API | |
| NoThunks (LedgerCfg l blk) ⇒ NoThunks (LedgerDbCfg l blk) Source # | |
Defined in Ouroboros.Consensus.Storage.LedgerDB.API | |
| NoThunks (GetVolatileSuffix m blk) Source # | |
Defined in Ouroboros.Consensus.Storage.LedgerDB.Args | |
| NoThunks (Resources m Mem) Source # | |
| NoThunks (SomeResources m blk) Source # | |
| NoThunks (PerasCertDB m blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasCertDB.API | |
| NoThunks (PerasVoteDB m blk) Source # | |
Defined in Ouroboros.Consensus.Storage.PerasVoteDB.API | |
| NoThunks (VolatileDB m blk) Source # | |
Defined in Ouroboros.Consensus.Storage.VolatileDB.API | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (InternalState blk h) Source # | |
| (StandardHash blk, Typeable blk) ⇒ NoThunks (OpenState blk h) Source # | |
| (∀ a'. NoThunks (m a')) ⇒ NoThunks (WithEarlyExit m a) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit | |
| NoThunks a ⇒ NoThunks (StrictSVar IO a) Source # | |
| NoThunks (StrictSVar m a) ⇒ NoThunks (StrictSVar (WithEarlyExit m) a) Source # | |
Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictSVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictSVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictSVar (WithEarlyExit m) a) → String Source # | |
| NoThunks (Evidence res a) Source # | |
| (StandardHash block, Typeable block) ⇒ NoThunks (ChainHash block) # | |
| StandardHash block ⇒ NoThunks (Point block) # | |
| StandardHash b ⇒ NoThunks (Tip b) # | |
| (NoThunks slot, NoThunks hash) ⇒ NoThunks (Block slot hash) # | |
| (Bounded fun, Enum fun) ⇒ NoThunks (BuiltinsRuntime fun val) Source # | |
Defined in PlutusCore.Builtin.Runtime | |
| (NoThunks p, NoThunks v) ⇒ NoThunks (IntPSQ p v) Source # | |
| (NoThunks (StrictTMVar m (Poisonable st)), NoThunks (StrictMVar m ()), NoThunks (StrictTVar m (Poisonable RAWState))) ⇒ NoThunks (RAWLock m st) Source # | |
| NoThunks (Thread m a) Source # | |
| (NoThunks a, NoThunks b) ⇒ NoThunks (Either a b) Source # | |
| NoThunks (StrictMVar IO a) ⇒ NoThunks (StrictMVar IO a) Source # | |
| NoThunks (StrictTVar IO a) ⇒ NoThunks (StrictTVar IO a) Source # | |
| (NoThunks a, NoThunks b) ⇒ NoThunks (a, b) Source # | |
| NoThunks (a → b) Source # | We do NOT check function closures for captured thunks by default Since we have no type information about the values captured in a thunk, the
only check we could possibly do is By default we therefore only check if the function is in WHNF, and don't
check the captured values at all. If you want a stronger check, you can
use |
| (Typeable era, Typeable ma, Typeable l) ⇒ NoThunks (AllegraTxBodyRaw ma l era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody | |
| (EraPParams era, NoThunks (InstantStake era), NoThunks (Accounts era)) ⇒ NoThunks (DRepPulser era Identity (RatifyState era)) Source # | |
Defined in Cardano.Ledger.Conway.Governance.DRepPulser Methods noThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepPulser era Identity (RatifyState era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepPulser era Identity (RatifyState era)) → String Source # | |
| NoThunks (HKD f a) ⇒ NoThunks (THKD t f a) Source # | |
| NoThunks a ⇒ NoThunks (BoundedRatio b a) Source # | |
| NoThunks (f a) ⇒ NoThunks (Ap f a) Source # | |
| NoThunks (f a) ⇒ NoThunks (Alt f a) Source # | |
| (All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNP name f xs) Source # | |
| (All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNS name f xs) Source # | |
| (IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (STM m ()), NoThunks (Header blk), NoThunks (STM m (Map peer (ChainSyncClientHandle m blk))), NoThunks (STM m (StrictSeq (peer, ChainSyncClientHandle m blk)))) ⇒ NoThunks (ChainSyncClientHandleCollection peer m blk) Source # | |
| StandardHash blk ⇒ NoThunks (FollowerState m blk b) Source # | |
| NoThunks (Iterator m blk b) Source # | |
| NoThunks (Index m blk h) Source # | |
| StandardHash blk ⇒ NoThunks (InternalState m blk h) Source # | |
| StandardHash blk ⇒ NoThunks (OpenState m blk h) Source # | |
| NoThunks (LedgerDB m l blk) Source # | |
| NoThunks (TestInternals m l blk) Source # | |
Defined in Ouroboros.Consensus.Storage.LedgerDB.API | |
| (Typeable l, Typeable m, Typeable blk) ⇒ NoThunks (Forker m l blk) Source # | |
| NoThunks (ReadOnlyForker m l blk) Source # | |
Defined in Ouroboros.Consensus.Storage.LedgerDB.Forker | |
| (IOLike m, NoThunks (l blk EmptyMK), NoThunks (TxIn blk), NoThunks (TxOut blk)) ⇒ NoThunks (ForkerEnv m l blk) Source # | |
| (IOLike m, NoThunks (l blk EmptyMK)) ⇒ NoThunks (LedgerSeq m l blk) Source # | |
| NoThunks (LedgerTablesHandle m l blk) Source # | |
| (IOLike m, NoThunks (l blk EmptyMK)) ⇒ NoThunks (StateRef m l blk) Source # | |
| (NoThunks a, NoThunks b) ⇒ NoThunks (AnchoredSeq v a b) # | |
| NoThunks b ⇒ NoThunks (MeasuredWith v a b) # | |
| (NoThunks machinecosts, Bounded fun, Enum fun) ⇒ NoThunks (MachineParameters machinecosts fun val) Source # | |
| (NoThunks machinecosts, Bounded fun, Enum fun) ⇒ NoThunks (MachineVariantParameters machinecosts fun val) Source # | |
| NoThunks a ⇒ NoThunks (K a b) Source # | |
| All (Compose NoThunks f) xs ⇒ NoThunks (NP f xs) Source # | |
| All (Compose NoThunks f) xs ⇒ NoThunks (NS f xs) Source # | |
| (NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) ⇒ NoThunks (KVVector kv vv (k, v)) Source # | |
| (NoThunks a, NoThunks b, NoThunks c) ⇒ NoThunks (a, b, c) Source # | |
| (All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedMismatch name f g xs) Source # | |
| (All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedTelescope name f g xs) Source # | |
| NoThunks (Ticked LedgerState (DualBlock m a) mk) Source # | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
| (Typeable f, Typeable blk) ⇒ NoThunks (SomeSecond (NestedCtxt f) blk) Source # | We can write a manual instance using the following quantified constraint: forall a. NoThunks (f blk a) However, this constraint would have to be propagated all the way up, which is
rather verbose and annoying (standalone deriving has to be used), hence we
use |
Defined in Ouroboros.Consensus.Block.NestedContent Methods noThunks ∷ Context → SomeSecond (NestedCtxt f) blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SomeSecond (NestedCtxt f) blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SomeSecond (NestedCtxt f) blk) → String Source # | |
| (All (Compose NoThunks f) xs, All (Compose NoThunks g) xs) ⇒ NoThunks (Mismatch f g xs) Source # | |
| (All (Compose NoThunks g) xs, All (Compose NoThunks f) xs) ⇒ NoThunks (Telescope g f xs) Source # | |
| (NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) ⇒ NoThunks (VMap kv vv k v) Source # | |
| (NoThunks a, NoThunks b, NoThunks c, NoThunks d) ⇒ NoThunks (a, b, c, d) Source # | |
| NoThunks (Ticked (f a)) ⇒ NoThunks (((Ticked ∷ Type → Type) :.: f) a) Source # | |
| NoThunks (f y2 x2) ⇒ NoThunks (Flip f x2 y2) Source # | |
| (NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e) ⇒ NoThunks (a, b, c, d, e) Source # | |
| (NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e, NoThunks f) ⇒ NoThunks (a, b, c, d, e, f) Source # | |
| (NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e, NoThunks f, NoThunks g) ⇒ NoThunks (a, b, c, d, e, f, g) Source # | |