Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Util.IOLike

Contents

Re-exports
Orphan instances

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, Alternative (STM m), MonadCatch (STM m), PrimMonad 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)) ⇒ IOLike m 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
data ExitCase a
- = ExitCaseSuccess a
- | ExitCaseException SomeException
- | ExitCaseAbort
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
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
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 ()
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 ()
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
- type PrimState (m ∷ Type → Type)
- primitive ∷ (State# (PrimState m) → (# State# (PrimState m), a #)) → m a
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 MonadThrow m ⇒ MonadEvaluate (m ∷ Type → Type) where
- evaluate ∷ a → m a
class NoThunks a where
- noThunks ∷ Context → a → IO (Maybe ThunkInfo)
- wNoThunks ∷ Context → a → IO (Maybe ThunkInfo)
- showTypeOf ∷ Proxy a → String

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, Alternative (STM m), MonadCatch (STM m), PrimMonad 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)) ⇒ IOLike m 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

Instances details

IOLike IO Source #
Instance details 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 #
Instance details 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 MyException

The 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 = frontendExceptionFromException

We 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 #

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

Instances

Instances details

Exception AesonException
Instance details Defined in Data.Aeson.Types.Internal Methods toException ∷ AesonException → SomeException # fromException ∷ SomeException → Maybe AesonException # displayException ∷ AesonException → String #
Exception AsyncCancelled
Instance details Defined in Control.Concurrent.Async.Internal Methods toException ∷ AsyncCancelled → SomeException # fromException ∷ SomeException → Maybe AsyncCancelled # displayException ∷ AsyncCancelled → String #
Exception ExceptionInLinkedThread
Instance details Defined in Control.Concurrent.Async.Internal Methods toException ∷ ExceptionInLinkedThread → SomeException # fromException ∷ SomeException → Maybe ExceptionInLinkedThread # displayException ∷ ExceptionInLinkedThread → String #
Exception NestedAtomically	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ NestedAtomically → SomeException # fromException ∷ SomeException → Maybe NestedAtomically # displayException ∷ NestedAtomically → String #
Exception NoMatchingContinuationPrompt	Since: base-4.18
Instance details Defined in Control.Exception.Base Methods toException ∷ NoMatchingContinuationPrompt → SomeException # fromException ∷ SomeException → Maybe NoMatchingContinuationPrompt # displayException ∷ NoMatchingContinuationPrompt → String #
Exception NoMethodError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ NoMethodError → SomeException # fromException ∷ SomeException → Maybe NoMethodError # displayException ∷ NoMethodError → String #
Exception NonTermination	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ NonTermination → SomeException # fromException ∷ SomeException → Maybe NonTermination # displayException ∷ NonTermination → String #
Exception PatternMatchFail	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ PatternMatchFail → SomeException # fromException ∷ SomeException → Maybe PatternMatchFail # displayException ∷ PatternMatchFail → String #
Exception RecConError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ RecConError → SomeException # fromException ∷ SomeException → Maybe RecConError # displayException ∷ RecConError → String #
Exception RecSelError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ RecSelError → SomeException # fromException ∷ SomeException → Maybe RecSelError # displayException ∷ RecSelError → String #
Exception RecUpdError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException ∷ RecUpdError → SomeException # fromException ∷ SomeException → Maybe RecUpdError # displayException ∷ RecUpdError → String #
Exception TypeError	Since: base-4.9.0.0
Instance details Defined in Control.Exception.Base Methods toException ∷ TypeError → SomeException # fromException ∷ SomeException → Maybe TypeError # displayException ∷ TypeError → String #
Exception Void	Since: base-4.8.0.0
Instance details Defined in GHC.Exception.Type Methods toException ∷ Void → SomeException # fromException ∷ SomeException → Maybe Void # displayException ∷ Void → String #
Exception ErrorCall	Since: base-4.0.0.0
Instance details Defined in GHC.Exception Methods toException ∷ ErrorCall → SomeException # fromException ∷ SomeException → Maybe ErrorCall # displayException ∷ ErrorCall → String #
Exception ArithException	Since: base-4.0.0.0
Instance details Defined in GHC.Exception.Type Methods toException ∷ ArithException → SomeException # fromException ∷ SomeException → Maybe ArithException # displayException ∷ ArithException → String #
Exception SomeException	Since: base-3.0
Instance details Defined in GHC.Exception.Type Methods toException ∷ SomeException → SomeException # fromException ∷ SomeException → Maybe SomeException # displayException ∷ SomeException → String #
Exception AllocationLimitExceeded	Since: base-4.8.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ AllocationLimitExceeded → SomeException # fromException ∷ SomeException → Maybe AllocationLimitExceeded # displayException ∷ AllocationLimitExceeded → String #
Exception ArrayException	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ ArrayException → SomeException # fromException ∷ SomeException → Maybe ArrayException # displayException ∷ ArrayException → String #
Exception AssertionFailed	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ AssertionFailed → SomeException # fromException ∷ SomeException → Maybe AssertionFailed # displayException ∷ AssertionFailed → String #
Exception AsyncException	Since: base-4.7.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ AsyncException → SomeException # fromException ∷ SomeException → Maybe AsyncException # displayException ∷ AsyncException → String #
Exception BlockedIndefinitelyOnMVar	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ BlockedIndefinitelyOnMVar → SomeException # fromException ∷ SomeException → Maybe BlockedIndefinitelyOnMVar # displayException ∷ BlockedIndefinitelyOnMVar → String #
Exception BlockedIndefinitelyOnSTM	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ BlockedIndefinitelyOnSTM → SomeException # fromException ∷ SomeException → Maybe BlockedIndefinitelyOnSTM # displayException ∷ BlockedIndefinitelyOnSTM → String #
Exception CompactionFailed	Since: base-4.10.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ CompactionFailed → SomeException # fromException ∷ SomeException → Maybe CompactionFailed # displayException ∷ CompactionFailed → String #
Exception Deadlock	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ Deadlock → SomeException # fromException ∷ SomeException → Maybe Deadlock # displayException ∷ Deadlock → String #
Exception ExitCode	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ ExitCode → SomeException # fromException ∷ SomeException → Maybe ExitCode # displayException ∷ ExitCode → String #
Exception FixIOException	Since: base-4.11.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ FixIOException → SomeException # fromException ∷ SomeException → Maybe FixIOException # displayException ∷ FixIOException → String #
Exception IOException	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ IOException → SomeException # fromException ∷ SomeException → Maybe IOException # displayException ∷ IOException → String #
Exception SomeAsyncException	Since: base-4.7.0.0
Instance details Defined in GHC.IO.Exception Methods toException ∷ SomeAsyncException → SomeException # fromException ∷ SomeException → Maybe SomeAsyncException # displayException ∷ SomeAsyncException → String #
Exception ASCII7_Invalid
Instance details Defined in Basement.String.Encoding.ASCII7 Methods toException ∷ ASCII7_Invalid → SomeException # fromException ∷ SomeException → Maybe ASCII7_Invalid # displayException ∷ ASCII7_Invalid → String #
Exception ISO_8859_1_Invalid
Instance details Defined in Basement.String.Encoding.ISO_8859_1 Methods toException ∷ ISO_8859_1_Invalid → SomeException # fromException ∷ SomeException → Maybe ISO_8859_1_Invalid # displayException ∷ ISO_8859_1_Invalid → String #
Exception UTF16_Invalid
Instance details Defined in Basement.String.Encoding.UTF16 Methods toException ∷ UTF16_Invalid → SomeException # fromException ∷ SomeException → Maybe UTF16_Invalid # displayException ∷ UTF16_Invalid → String #
Exception UTF32_Invalid
Instance details Defined in Basement.String.Encoding.UTF32 Methods toException ∷ UTF32_Invalid → SomeException # fromException ∷ SomeException → Maybe UTF32_Invalid # displayException ∷ UTF32_Invalid → String #
Exception BimapException
Instance details Defined in Data.Bimap Methods toException ∷ BimapException → SomeException # fromException ∷ SomeException → Maybe BimapException # displayException ∷ BimapException → String #
Exception DecoderError
Instance details Defined in Cardano.Binary.FromCBOR Methods toException ∷ DecoderError → SomeException # fromException ∷ SomeException → Maybe DecoderError # displayException ∷ DecoderError → String #
Exception SeedBytesExhausted
Instance details Defined in Cardano.Crypto.Seed Methods toException ∷ SeedBytesExhausted → SomeException # fromException ∷ SomeException → Maybe SeedBytesExhausted # displayException ∷ SeedBytesExhausted → String #
Exception EpochErr
Instance details Defined in Cardano.Ledger.BaseTypes Methods toException ∷ EpochErr → SomeException # fromException ∷ SomeException → Maybe EpochErr # displayException ∷ EpochErr → String #
Exception DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods toException ∷ DeserialiseFailure → SomeException # fromException ∷ SomeException → Maybe DeserialiseFailure # displayException ∷ DeserialiseFailure → String #
Exception CryptoError
Instance details Defined in Crypto.Error.Types Methods toException ∷ CryptoError → SomeException # fromException ∷ SomeException → Maybe CryptoError # displayException ∷ CryptoError → String #
Exception DNSError
Instance details Defined in Network.DNS.Types.Internal Methods toException ∷ DNSError → SomeException # fromException ∷ SomeException → Maybe DNSError # displayException ∷ DNSError → String #
Exception FsError
Instance details Defined in System.FS.API.Types Methods toException ∷ FsError → SomeException # fromException ∷ SomeException → Maybe FsError # displayException ∷ FsError → String #
Exception ExceptionInLinkedThread
Instance details Defined in Control.Monad.Class.MonadAsync Methods toException ∷ ExceptionInLinkedThread → SomeException # fromException ∷ SomeException → Maybe ExceptionInLinkedThread # displayException ∷ ExceptionInLinkedThread → String #
Exception BlockedIndefinitely
Instance details Defined in Control.Monad.Class.MonadSTM.Internal Methods toException ∷ BlockedIndefinitely → SomeException # fromException ∷ SomeException → Maybe BlockedIndefinitely # displayException ∷ BlockedIndefinitely → String #
Exception DataMeasureClassOverflowException
Instance details Defined in Data.Measure.Class Methods toException ∷ DataMeasureClassOverflowException → SomeException # fromException ∷ SomeException → Maybe DataMeasureClassOverflowException # displayException ∷ DataMeasureClassOverflowException → String #
Exception InvalidPosException
Instance details Defined in Text.Megaparsec.Pos Methods toException ∷ InvalidPosException → SomeException # fromException ∷ SomeException → Maybe InvalidPosException # displayException ∷ InvalidPosException → String #
Exception Error
Instance details Defined in Network.Mux.Trace Methods toException ∷ Error → SomeException # fromException ∷ SomeException → Maybe Error # displayException ∷ Error → String #
Exception RuntimeError
Instance details Defined in Network.Mux.Types Methods toException ∷ RuntimeError → SomeException # fromException ∷ SomeException → Maybe RuntimeError # displayException ∷ RuntimeError → String #
Exception SanityCheckIssue Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsSanityCheck Methods toException ∷ SanityCheckIssue → SomeException # fromException ∷ SomeException → Maybe SanityCheckIssue # displayException ∷ SanityCheckIssue → String #
Exception SystemClockMovedBackException Source #
Instance details Defined in Ouroboros.Consensus.BlockchainTime.WallClock.Util Methods toException ∷ SystemClockMovedBackException → SomeException # fromException ∷ SomeException → Maybe SystemClockMovedBackException # displayException ∷ SystemClockMovedBackException → String #
Exception OutsideForecastRange Source #
Instance details Defined in Ouroboros.Consensus.Forecast Methods toException ∷ OutsideForecastRange → SomeException # fromException ∷ SomeException → Maybe OutsideForecastRange # displayException ∷ OutsideForecastRange → String #
Exception HardForkEncoderException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common Methods toException ∷ HardForkEncoderException → SomeException # fromException ∷ SomeException → Maybe HardForkEncoderException # displayException ∷ HardForkEncoderException → String #
Exception PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods toException ∷ PastHorizonException → SomeException # fromException ∷ SomeException → Maybe PastHorizonException # displayException ∷ PastHorizonException → String #
Exception BlockFetchServerException Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.BlockFetch.Server Methods toException ∷ BlockFetchServerException → SomeException # fromException ∷ SomeException → Maybe BlockFetchServerException # displayException ∷ BlockFetchServerException → String #
Exception ChainSyncClientException Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client Methods toException ∷ ChainSyncClientException → SomeException # fromException ∷ SomeException → Maybe ChainSyncClientException # displayException ∷ ChainSyncClientException → String #
Exception HistoricityException Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.HistoricityCheck Methods toException ∷ HistoricityException → SomeException # fromException ∷ SomeException → Maybe HistoricityException # displayException ∷ HistoricityException → String #
Exception HeaderArrivalException Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.InFutureCheck Methods toException ∷ HeaderArrivalException → SomeException # fromException ∷ SomeException → Maybe HeaderArrivalException # displayException ∷ HeaderArrivalException → String #
Exception ChunkAssertionFailure Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods toException ∷ ChunkAssertionFailure → SomeException # fromException ∷ SomeException → Maybe ChunkAssertionFailure # displayException ∷ ChunkAssertionFailure → String #
Exception FuseBlownException Source #
Instance details Defined in Ouroboros.Consensus.Util Methods toException ∷ FuseBlownException → SomeException # fromException ∷ SomeException → Maybe FuseBlownException # displayException ∷ FuseBlownException → String #
Exception VersionError Source #
Instance details Defined in Ouroboros.Consensus.Util.Versioned Methods toException ∷ VersionError → SomeException # fromException ∷ SomeException → Maybe VersionError # displayException ∷ VersionError → String #
Exception FreeVariableError
Instance details Defined in PlutusCore.DeBruijn.Internal Methods toException ∷ FreeVariableError → SomeException # fromException ∷ SomeException → Maybe FreeVariableError # displayException ∷ FreeVariableError → String #
Exception ApplyProgramError
Instance details Defined in PlutusCore.Error Methods toException ∷ ApplyProgramError → SomeException # fromException ∷ SomeException → Maybe ApplyProgramError # displayException ∷ ApplyProgramError → String #
Exception CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods toException ∷ CostModelApplyError → SomeException # fromException ∷ SomeException → Maybe CostModelApplyError # displayException ∷ CostModelApplyError → String #
Exception ScriptDecodeError
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods toException ∷ ScriptDecodeError → SomeException # fromException ∷ SomeException → Maybe ScriptDecodeError # displayException ∷ ScriptDecodeError → String #
Exception LedgerBytesError
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods toException ∷ LedgerBytesError → SomeException # fromException ∷ SomeException → Maybe LedgerBytesError # displayException ∷ LedgerBytesError → String #
Exception RegistryClosedException
Instance details Defined in Control.ResourceRegistry Methods toException ∷ RegistryClosedException → SomeException # fromException ∷ SomeException → Maybe RegistryClosedException # displayException ∷ RegistryClosedException → String #
Exception ResourceRegistryThreadException
Instance details Defined in Control.ResourceRegistry Methods toException ∷ ResourceRegistryThreadException → SomeException # fromException ∷ SomeException → Maybe ResourceRegistryThreadException # displayException ∷ ResourceRegistryThreadException → String #
Exception TempRegistryException
Instance details Defined in Control.ResourceRegistry Methods toException ∷ TempRegistryException → SomeException # fromException ∷ SomeException → Maybe TempRegistryException # displayException ∷ TempRegistryException → String #
Exception InvalidAccess
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods toException ∷ InvalidAccess → SomeException # fromException ∷ SomeException → Maybe InvalidAccess # displayException ∷ InvalidAccess → String #
Exception ResourceCleanupException
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods toException ∷ ResourceCleanupException → SomeException # fromException ∷ SomeException → Maybe ResourceCleanupException # displayException ∷ ResourceCleanupException → String #
Exception AssertionException
Instance details Defined in Control.State.Transition.Extended Methods toException ∷ AssertionException → SomeException # fromException ∷ SomeException → Maybe AssertionException # displayException ∷ AssertionException → String #
(Typeable blk, StandardHash blk) ⇒ Exception (ChainDbError blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Methods toException ∷ ChainDbError blk → SomeException # fromException ∷ SomeException → Maybe (ChainDbError blk) # displayException ∷ ChainDbError blk → String #
(Typeable blk, StandardHash blk) ⇒ Exception (ChainDbFailure blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Methods toException ∷ ChainDbFailure blk → SomeException # fromException ∷ SomeException → Maybe (ChainDbFailure blk) # displayException ∷ ChainDbFailure blk → String #
(StandardHash blk, Typeable blk) ⇒ Exception (ImmutableDBError blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.API Methods toException ∷ ImmutableDBError blk → SomeException # fromException ∷ SomeException → Maybe (ImmutableDBError blk) # displayException ∷ ImmutableDBError blk → String #
(StandardHash blk, Typeable blk) ⇒ Exception (VolatileDBError blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.API Methods toException ∷ VolatileDBError blk → SomeException # fromException ∷ SomeException → Maybe (VolatileDBError blk) # displayException ∷ VolatileDBError blk → String #
Exception (UniqueError SrcSpan)
Instance details Defined in PlutusCore.Error Methods toException ∷ UniqueError SrcSpan → SomeException # fromException ∷ SomeException → Maybe (UniqueError SrcSpan) # displayException ∷ UniqueError SrcSpan → String #
(Show s, Show (Token s), Show e, ShowErrorComponent e, VisualStream s, Typeable s, Typeable e) ⇒ Exception (ParseError s e)
Instance details Defined in Text.Megaparsec.Error Methods toException ∷ ParseError s e → SomeException # fromException ∷ SomeException → Maybe (ParseError s e) # displayException ∷ ParseError s e → String #
(Show s, Show (Token s), Show e, ShowErrorComponent e, VisualStream s, TraversableStream s, Typeable s, Typeable e) ⇒ Exception (ParseErrorBundle s e)
Instance details Defined in Text.Megaparsec.Error Methods toException ∷ ParseErrorBundle s e → SomeException # fromException ∷ SomeException → Maybe (ParseErrorBundle s e) # displayException ∷ ParseErrorBundle s e → String #
(PrettyPlc cause, PrettyPlc err, Typeable cause, Typeable err) ⇒ Exception (ErrorWithCause err cause)
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods toException ∷ ErrorWithCause err cause → SomeException # fromException ∷ SomeException → Maybe (ErrorWithCause err cause) # displayException ∷ ErrorWithCause err cause → String #
(ThrowableBuiltins uni fun, Pretty ann, Typeable ann) ⇒ Exception (Error uni fun ann)
Instance details Defined in PlutusIR.Error Methods toException ∷ Error uni fun ann → SomeException # fromException ∷ SomeException → Maybe (Error uni fun ann) # displayException ∷ Error uni fun ann → String #

data ExitCase a Source #

Used in generalBracket

See exceptions package for discussion and motivation.

Constructors

ExitCaseSuccess a
ExitCaseException SomeException
ExitCaseAbort

Instances

Instances details

Functor ExitCase
Instance details Defined in Control.Monad.Class.MonadThrow Methods fmap ∷ (a → b) → ExitCase a → ExitCase b # (<$) ∷ a → ExitCase b → ExitCase a #
Show a ⇒ Show (ExitCase a)
Instance details Defined in Control.Monad.Class.MonadThrow Methods showsPrec ∷ Int → ExitCase a → ShowS # show ∷ ExitCase a → String # showList ∷ [ExitCase a] → ShowS #

class MonadThrow m ⇒ MonadCatch (m ∷ Type → Type) where Source #

Catching exceptions.

Covers standard utilities to respond to exceptions.

Minimal complete definition

catch

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.

Instances

Instances details

MonadCatch STM
Instance details Defined in Control.Monad.Class.MonadThrow Methods catch ∷ Exception e ⇒ STM a → (e → STM a) → STM a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → STM a → (b → STM a) → STM a Source # try ∷ Exception e ⇒ STM a → STM (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → STM a → STM (Either b a) Source # handle ∷ Exception e ⇒ (e → STM a) → STM a → STM a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → STM a) → STM a → STM a Source # onException ∷ STM a → STM b → STM a Source # bracketOnError ∷ STM a → (a → STM b) → (a → STM c) → STM c Source # generalBracket ∷ STM a → (a → ExitCase b → STM c) → (a → STM b) → STM (b, c) Source #
MonadCatch IO
Instance details Defined in Control.Monad.Class.MonadThrow Methods catch ∷ Exception e ⇒ IO a → (e → IO a) → IO a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → IO a → (b → IO a) → IO a Source # try ∷ Exception e ⇒ IO a → IO (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → IO a → IO (Either b a) Source # handle ∷ Exception e ⇒ (e → IO a) → IO a → IO a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → IO a) → IO a → IO a Source # onException ∷ IO a → IO b → IO a Source # bracketOnError ∷ IO a → (a → IO b) → (a → IO c) → IO c Source # generalBracket ∷ IO a → (a → ExitCase b → IO c) → (a → IO b) → IO (b, c) Source #
MonadCatch m ⇒ MonadCatch (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods catch ∷ Exception e ⇒ WithEarlyExit m a → (e → WithEarlyExit m a) → WithEarlyExit m a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → (b → WithEarlyExit m a) → WithEarlyExit m a Source # try ∷ Exception e ⇒ WithEarlyExit m a → WithEarlyExit m (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → WithEarlyExit m (Either b a) Source # handle ∷ Exception e ⇒ (e → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a Source # onException ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a Source # bracketOnError ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c Source # generalBracket ∷ WithEarlyExit m a → (a → ExitCase b → WithEarlyExit m c) → (a → WithEarlyExit m b) → WithEarlyExit m (b, c) Source #
MonadCatch m ⇒ MonadCatch (Electric m) Source #
Instance details Defined in Ouroboros.Consensus.Util Methods catch ∷ Exception e ⇒ Electric m a → (e → Electric m a) → Electric m a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → Electric m a → (b → Electric m a) → Electric m a Source # try ∷ Exception e ⇒ Electric m a → Electric m (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → Electric m a → Electric m (Either b a) Source # handle ∷ Exception e ⇒ (e → Electric m a) → Electric m a → Electric m a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → Electric m a) → Electric m a → Electric m a Source # onException ∷ Electric m a → Electric m b → Electric m a Source # bracketOnError ∷ Electric m a → (a → Electric m b) → (a → Electric m c) → Electric m c Source # generalBracket ∷ Electric m a → (a → ExitCase b → Electric m c) → (a → Electric m b) → Electric m (b, c) Source #
MonadCatch m ⇒ MonadCatch (WithTempRegistry st m)
Instance details Defined in Control.ResourceRegistry Methods catch ∷ Exception e ⇒ WithTempRegistry st m a → (e → WithTempRegistry st m a) → WithTempRegistry st m a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → WithTempRegistry st m a → (b → WithTempRegistry st m a) → WithTempRegistry st m a Source # try ∷ Exception e ⇒ WithTempRegistry st m a → WithTempRegistry st m (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → WithTempRegistry st m a → WithTempRegistry st m (Either b a) Source # handle ∷ Exception e ⇒ (e → WithTempRegistry st m a) → WithTempRegistry st m a → WithTempRegistry st m a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → WithTempRegistry st m a) → WithTempRegistry st m a → WithTempRegistry st m a Source # onException ∷ WithTempRegistry st m a → WithTempRegistry st m b → WithTempRegistry st m a Source # bracketOnError ∷ WithTempRegistry st m a → (a → WithTempRegistry st m b) → (a → WithTempRegistry st m c) → WithTempRegistry st m c Source # generalBracket ∷ WithTempRegistry st m a → (a → ExitCase b → WithTempRegistry st m c) → (a → WithTempRegistry st m b) → WithTempRegistry st m (b, c) Source #
MonadCatch m ⇒ MonadCatch (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadThrow Methods catch ∷ Exception e ⇒ ReaderT r m a → (e → ReaderT r m a) → ReaderT r m a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → ReaderT r m a → (b → ReaderT r m a) → ReaderT r m a Source # try ∷ Exception e ⇒ ReaderT r m a → ReaderT r m (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → ReaderT r m a → ReaderT r m (Either b a) Source # handle ∷ Exception e ⇒ (e → ReaderT r m a) → ReaderT r m a → ReaderT r m a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → ReaderT r m a) → ReaderT r m a → ReaderT r m a Source # onException ∷ ReaderT r m a → ReaderT r m b → ReaderT r m a Source # bracketOnError ∷ ReaderT r m a → (a → ReaderT r m b) → (a → ReaderT r m c) → ReaderT r m c Source # generalBracket ∷ ReaderT r m a → (a → ExitCase b → ReaderT r m c) → (a → ReaderT r m b) → ReaderT r m (b, c) Source #

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

mask, uninterruptibleMask

Methods

mask ∷ ((∀ a. m a → m a) → m b) → m b Source #

uninterruptibleMask ∷ ((∀ a. m a → m a) → m b) → m b Source #

mask_ ∷ m a → m a Source #

uninterruptibleMask_ ∷ m a → m a Source #

Instances

Instances details

MonadMask IO
Instance details Defined in Control.Monad.Class.MonadThrow Methods mask ∷ ((∀ a. IO a → IO a) → IO b) → IO b Source # uninterruptibleMask ∷ ((∀ a. IO a → IO a) → IO b) → IO b Source # mask_ ∷ IO a → IO a Source # uninterruptibleMask_ ∷ IO a → IO a Source #
MonadMask m ⇒ MonadMask (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods mask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m b) → WithEarlyExit m b Source # uninterruptibleMask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m b) → WithEarlyExit m b Source # mask_ ∷ WithEarlyExit m a → WithEarlyExit m a Source # uninterruptibleMask_ ∷ WithEarlyExit m a → WithEarlyExit m a Source #
MonadMask m ⇒ MonadMask (WithTempRegistry st m)
Instance details Defined in Control.ResourceRegistry Methods mask ∷ ((∀ a. WithTempRegistry st m a → WithTempRegistry st m a) → WithTempRegistry st m b) → WithTempRegistry st m b Source # uninterruptibleMask ∷ ((∀ a. WithTempRegistry st m a → WithTempRegistry st m a) → WithTempRegistry st m b) → WithTempRegistry st m b Source # mask_ ∷ WithTempRegistry st m a → WithTempRegistry st m a Source # uninterruptibleMask_ ∷ WithTempRegistry st m a → WithTempRegistry st m a Source #
MonadMask m ⇒ MonadMask (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadThrow Methods mask ∷ ((∀ a. ReaderT r m a → ReaderT r m a) → ReaderT r m b) → ReaderT r m b Source # uninterruptibleMask ∷ ((∀ a. ReaderT r m a → ReaderT r m a) → ReaderT r m b) → ReaderT r m b Source # mask_ ∷ ReaderT r m a → ReaderT r m a Source # uninterruptibleMask_ ∷ ReaderT r m a → ReaderT r m a Source #

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

throwIO

Methods

throwIO ∷ Exception e ⇒ e → m a Source #

bracket ∷ 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 #

Instances

Instances details

MonadThrow STM
Instance details Defined in Control.Monad.Class.MonadThrow Methods throwIO ∷ Exception e ⇒ e → STM a Source # bracket ∷ STM a → (a → STM b) → (a → STM c) → STM c Source # bracket_ ∷ STM a → STM b → STM c → STM c Source # finally ∷ STM a → STM b → STM a Source #
MonadThrow IO
Instance details Defined in Control.Monad.Class.MonadThrow Methods throwIO ∷ Exception e ⇒ e → IO a Source # bracket ∷ IO a → (a → IO b) → (a → IO c) → IO c Source # bracket_ ∷ IO a → IO b → IO c → IO c Source # finally ∷ IO a → IO b → IO a Source #
MonadCatch m ⇒ MonadThrow (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods throwIO ∷ Exception e ⇒ e → WithEarlyExit m a Source # bracket ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c Source # bracket_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m c → WithEarlyExit m c Source # finally ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a Source #
MonadThrow m ⇒ MonadThrow (Electric m) Source #
Instance details Defined in Ouroboros.Consensus.Util Methods throwIO ∷ Exception e ⇒ e → Electric m a Source # bracket ∷ Electric m a → (a → Electric m b) → (a → Electric m c) → Electric m c Source # bracket_ ∷ Electric m a → Electric m b → Electric m c → Electric m c Source # finally ∷ Electric m a → Electric m b → Electric m a Source #
MonadThrow m ⇒ MonadThrow (WithTempRegistry st m)
Instance details Defined in Control.ResourceRegistry Methods throwIO ∷ Exception e ⇒ e → WithTempRegistry st m a Source # bracket ∷ WithTempRegistry st m a → (a → WithTempRegistry st m b) → (a → WithTempRegistry st m c) → WithTempRegistry st m c Source # bracket_ ∷ WithTempRegistry st m a → WithTempRegistry st m b → WithTempRegistry st m c → WithTempRegistry st m c Source # finally ∷ WithTempRegistry st m a → WithTempRegistry st m b → WithTempRegistry st m a Source #
MonadThrow m ⇒ MonadThrow (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadThrow Methods throwIO ∷ Exception e ⇒ e → ReaderT r m a Source # bracket ∷ ReaderT r m a → (a → ReaderT r m b) → (a → ReaderT r m c) → ReaderT r m c Source # bracket_ ∷ ReaderT r m a → ReaderT r m b → ReaderT r m c → ReaderT r m c Source # finally ∷ ReaderT r m a → ReaderT r m b → ReaderT r m a Source #

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

Instances details

Exception SomeException	Since: base-3.0
Instance details Defined in GHC.Exception.Type Methods toException ∷ SomeException → SomeException # fromException ∷ SomeException → Maybe SomeException # displayException ∷ SomeException → String #
Show SomeException	Since: base-3.0
Instance details Defined in GHC.Exception.Type Methods showsPrec ∷ Int → SomeException → ShowS # show ∷ SomeException → String # showList ∷ [SomeException] → ShowS #

Variables with NoThunks invariants

module Ouroboros.Consensus.Util.MonadSTM.NormalForm

module Ouroboros.Consensus.Util.NormalForm.StrictMVar

module Ouroboros.Consensus.Util.NormalForm.StrictTVar

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

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 #

yield ∷ m () Source #

Instances

Instances details

MonadFork IO
Instance details Defined in Control.Monad.Class.MonadFork Methods forkIO ∷ IO () → IO (ThreadId IO) Source # forkOn ∷ Int → IO () → IO (ThreadId IO) Source # forkIOWithUnmask ∷ ((∀ a. IO a → IO a) → IO ()) → IO (ThreadId IO) Source # forkFinally ∷ IO a → (Either SomeException a → IO ()) → IO (ThreadId IO) Source # throwTo ∷ Exception e ⇒ ThreadId IO → e → IO () Source # killThread ∷ ThreadId IO → IO () Source # yield ∷ IO () Source #
MonadFork m ⇒ MonadFork (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forkIO ∷ WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkOn ∷ Int → WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkIOWithUnmask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m ()) → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkFinally ∷ WithEarlyExit m a → (Either SomeException a → WithEarlyExit m ()) → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # throwTo ∷ Exception e ⇒ ThreadId (WithEarlyExit m) → e → WithEarlyExit m () Source # killThread ∷ ThreadId (WithEarlyExit m) → WithEarlyExit m () Source # yield ∷ WithEarlyExit m () Source #
MonadFork m ⇒ MonadFork (ReaderT e m)
Instance details Defined in Control.Monad.Class.MonadFork Methods forkIO ∷ ReaderT e m () → ReaderT e m (ThreadId (ReaderT e m)) Source # forkOn ∷ Int → ReaderT e m () → ReaderT e m (ThreadId (ReaderT e m)) Source # forkIOWithUnmask ∷ ((∀ a. ReaderT e m a → ReaderT e m a) → ReaderT e m ()) → ReaderT e m (ThreadId (ReaderT e m)) Source # forkFinally ∷ ReaderT e m a → (Either SomeException a → ReaderT e m ()) → ReaderT e m (ThreadId (ReaderT e m)) Source # throwTo ∷ Exception e0 ⇒ ThreadId (ReaderT e m) → e0 → ReaderT e m () Source # killThread ∷ ThreadId (ReaderT e m) → ReaderT e m () Source # yield ∷ ReaderT e m () Source #

class (Monad m, Eq (ThreadId m), Ord (ThreadId m), Show (ThreadId m)) ⇒ MonadThread (m ∷ Type → Type) where Source #

Associated Types

type ThreadId (m ∷ Type → Type) Source #

Methods

myThreadId ∷ m (ThreadId m) Source #

labelThread ∷ ThreadId m → String → m () Source #

Instances

Instances details

MonadThread IO
Instance details Defined in Control.Monad.Class.MonadFork Associated Types type ThreadId IO Source # Methods myThreadId ∷ IO (ThreadId IO) Source # labelThread ∷ ThreadId IO → String → IO () Source #
MonadThread m ⇒ MonadThread (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type ThreadId (WithEarlyExit m) Source # Methods myThreadId ∷ WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # labelThread ∷ ThreadId (WithEarlyExit m) → String → WithEarlyExit m () Source #
MonadThread m ⇒ MonadThread (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadFork Associated Types type ThreadId (ReaderT r m) Source # Methods myThreadId ∷ ReaderT r m (ThreadId (ReaderT r m)) Source # labelThread ∷ ThreadId (ReaderT r m) → String → ReaderT r m () Source #

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

Instances details

Exception ExceptionInLinkedThread
Instance details Defined in Control.Monad.Class.MonadAsync Methods toException ∷ ExceptionInLinkedThread → SomeException # fromException ∷ SomeException → Maybe ExceptionInLinkedThread # displayException ∷ ExceptionInLinkedThread → String #
Show ExceptionInLinkedThread
Instance details Defined in Control.Monad.Class.MonadAsync Methods showsPrec ∷ Int → ExceptionInLinkedThread → ShowS # show ∷ ExceptionInLinkedThread → String # showList ∷ [ExceptionInLinkedThread] → ShowS #

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.

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.

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.

waitEitherSTM_ ∷ Async m a → Async m b → STM m () Source #

See waitEitherSTM_.

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.

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 #

See uninterruptibleCancel.

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.

waitAnyCatchCancel ∷ [Async m a] → m (Async m a, Either SomeException a) Source #

See waitAnyCatchCancel.

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.

waitEitherCatchCancel ∷ Async m a → Async m b → m (Either (Either SomeException a) (Either SomeException b)) Source #

See waitEitherCatchCancel.

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.

withAsyncOnWithUnmask ∷ Int → ((∀ c. m c → m c) → m a) → (Async m a → m b) → m b Source #

See withAsyncOnWithUnmask.

compareAsyncs ∷ Async m a → Async m b → Ordering Source #

See compareAsyncs.

Instances

Instances details

MonadAsync IO
Instance details Defined in Control.Monad.Class.MonadAsync Associated Types type Async IO = (async ∷ Type → Type) Source # Methods async ∷ IO a → IO (Async IO a) Source # asyncBound ∷ IO a → IO (Async IO a) Source # asyncOn ∷ Int → IO a → IO (Async IO a) Source # asyncThreadId ∷ Async IO a → ThreadId IO Source # withAsync ∷ IO a → (Async IO a → IO b) → IO b Source # withAsyncBound ∷ IO a → (Async IO a → IO b) → IO b Source # withAsyncOn ∷ Int → IO a → (Async IO a → IO b) → IO b Source # waitSTM ∷ Async IO a → STM IO a Source # pollSTM ∷ Async IO a → STM IO (Maybe (Either SomeException a)) Source # waitCatchSTM ∷ Async IO a → STM IO (Either SomeException a) Source # waitAnySTM ∷ [Async IO a] → STM IO (Async IO a, a) Source # waitAnyCatchSTM ∷ [Async IO a] → STM IO (Async IO a, Either SomeException a) Source # waitEitherSTM ∷ Async IO a → Async IO b → STM IO (Either a b) Source # waitEitherSTM_ ∷ Async IO a → Async IO b → STM IO () Source # waitEitherCatchSTM ∷ Async IO a → Async IO b → STM IO (Either (Either SomeException a) (Either SomeException b)) Source # waitBothSTM ∷ Async IO a → Async IO b → STM IO (a, b) Source # wait ∷ Async IO a → IO a Source # poll ∷ Async IO a → IO (Maybe (Either SomeException a)) Source # waitCatch ∷ Async IO a → IO (Either SomeException a) Source # cancel ∷ Async IO a → IO () Source # cancelWith ∷ Exception e ⇒ Async IO a → e → IO () Source # uninterruptibleCancel ∷ Async IO a → IO () Source # waitAny ∷ [Async IO a] → IO (Async IO a, a) Source # waitAnyCatch ∷ [Async IO a] → IO (Async IO a, Either SomeException a) Source # waitAnyCancel ∷ [Async IO a] → IO (Async IO a, a) Source # waitAnyCatchCancel ∷ [Async IO a] → IO (Async IO a, Either SomeException a) Source # waitEither ∷ Async IO a → Async IO b → IO (Either a b) Source # waitEitherCatch ∷ Async IO a → Async IO b → IO (Either (Either SomeException a) (Either SomeException b)) Source # waitEitherCancel ∷ Async IO a → Async IO b → IO (Either a b) Source # waitEitherCatchCancel ∷ Async IO a → Async IO b → IO (Either (Either SomeException a) (Either SomeException b)) Source # waitEither_ ∷ Async IO a → Async IO b → IO () Source # waitBoth ∷ Async IO a → Async IO b → IO (a, b) Source # race ∷ IO a → IO b → IO (Either a b) Source # race_ ∷ IO a → IO b → IO () Source # concurrently ∷ IO a → IO b → IO (a, b) Source # concurrently_ ∷ IO a → IO b → IO () Source # asyncWithUnmask ∷ ((∀ b. IO b → IO b) → IO a) → IO (Async IO a) Source # asyncOnWithUnmask ∷ Int → ((∀ b. IO b → IO b) → IO a) → IO (Async IO a) Source # withAsyncWithUnmask ∷ ((∀ c. IO c → IO c) → IO a) → (Async IO a → IO b) → IO b Source # withAsyncOnWithUnmask ∷ Int → ((∀ c. IO c → IO c) → IO a) → (Async IO a → IO b) → IO b Source # compareAsyncs ∷ Async IO a → Async IO b → Ordering Source #
(MonadMask m, MonadAsync m, MonadCatch (STM m)) ⇒ MonadAsync (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type Async (WithEarlyExit m) = (async ∷ Type → Type) Source # Methods async ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncBound ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncOn ∷ Int → WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncThreadId ∷ Async (WithEarlyExit m) a → ThreadId (WithEarlyExit m) Source # withAsync ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncBound ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncOn ∷ Int → WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # waitSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # pollSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe (Either SomeException a)) Source # waitCatchSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Either SomeException a) Source # waitAnySTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, a) Source # waitAnyCatchSTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, Either SomeException a) Source # waitEitherSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either a b) Source # waitEitherSTM_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) () Source # waitEitherCatchSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either (Either SomeException a) (Either SomeException b)) Source # waitBothSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (a, b) Source # wait ∷ Async (WithEarlyExit m) a → WithEarlyExit m a Source # poll ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Maybe (Either SomeException a)) Source # waitCatch ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Either SomeException a) Source # cancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () Source # cancelWith ∷ Exception e ⇒ Async (WithEarlyExit m) a → e → WithEarlyExit m () Source # uninterruptibleCancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () Source # waitAny ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) Source # waitAnyCatch ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) Source # waitAnyCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) Source # waitAnyCatchCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) Source # waitEither ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) Source # waitEitherCatch ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) Source # waitEitherCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) Source # waitEitherCatchCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) Source # waitEither_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m () Source # waitBoth ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (a, b) Source # race ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (Either a b) Source # race_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () Source # concurrently ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (a, b) Source # concurrently_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () Source # asyncWithUnmask ∷ ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncOnWithUnmask ∷ Int → ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) Source # withAsyncWithUnmask ∷ ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncOnWithUnmask ∷ Int → ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # compareAsyncs ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → Ordering Source #
(MonadAsync m, MonadCatch (STM m), MonadFork m, MonadMask m) ⇒ MonadAsync (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadAsync Associated Types type Async (ReaderT r m) = (async ∷ Type → Type) Source # Methods async ∷ ReaderT r m a → ReaderT r m (Async (ReaderT r m) a) Source # asyncBound ∷ ReaderT r m a → ReaderT r m (Async (ReaderT r m) a) Source # asyncOn ∷ Int → ReaderT r m a → ReaderT r m (Async (ReaderT r m) a) Source # asyncThreadId ∷ Async (ReaderT r m) a → ThreadId (ReaderT r m) Source # withAsync ∷ ReaderT r m a → (Async (ReaderT r m) a → ReaderT r m b) → ReaderT r m b Source # withAsyncBound ∷ ReaderT r m a → (Async (ReaderT r m) a → ReaderT r m b) → ReaderT r m b Source # withAsyncOn ∷ Int → ReaderT r m a → (Async (ReaderT r m) a → ReaderT r m b) → ReaderT r m b Source # waitSTM ∷ Async (ReaderT r m) a → STM (ReaderT r m) a Source # pollSTM ∷ Async (ReaderT r m) a → STM (ReaderT r m) (Maybe (Either SomeException a)) Source # waitCatchSTM ∷ Async (ReaderT r m) a → STM (ReaderT r m) (Either SomeException a) Source # waitAnySTM ∷ [Async (ReaderT r m) a] → STM (ReaderT r m) (Async (ReaderT r m) a, a) Source # waitAnyCatchSTM ∷ [Async (ReaderT r m) a] → STM (ReaderT r m) (Async (ReaderT r m) a, Either SomeException a) Source # waitEitherSTM ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → STM (ReaderT r m) (Either a b) Source # waitEitherSTM_ ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → STM (ReaderT r m) () Source # waitEitherCatchSTM ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → STM (ReaderT r m) (Either (Either SomeException a) (Either SomeException b)) Source # waitBothSTM ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → STM (ReaderT r m) (a, b) Source # wait ∷ Async (ReaderT r m) a → ReaderT r m a Source # poll ∷ Async (ReaderT r m) a → ReaderT r m (Maybe (Either SomeException a)) Source # waitCatch ∷ Async (ReaderT r m) a → ReaderT r m (Either SomeException a) Source # cancel ∷ Async (ReaderT r m) a → ReaderT r m () Source # cancelWith ∷ Exception e ⇒ Async (ReaderT r m) a → e → ReaderT r m () Source # uninterruptibleCancel ∷ Async (ReaderT r m) a → ReaderT r m () Source # waitAny ∷ [Async (ReaderT r m) a] → ReaderT r m (Async (ReaderT r m) a, a) Source # waitAnyCatch ∷ [Async (ReaderT r m) a] → ReaderT r m (Async (ReaderT r m) a, Either SomeException a) Source # waitAnyCancel ∷ [Async (ReaderT r m) a] → ReaderT r m (Async (ReaderT r m) a, a) Source # waitAnyCatchCancel ∷ [Async (ReaderT r m) a] → ReaderT r m (Async (ReaderT r m) a, Either SomeException a) Source # waitEither ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m (Either a b) Source # waitEitherCatch ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m (Either (Either SomeException a) (Either SomeException b)) Source # waitEitherCancel ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m (Either a b) Source # waitEitherCatchCancel ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m (Either (Either SomeException a) (Either SomeException b)) Source # waitEither_ ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m () Source # waitBoth ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → ReaderT r m (a, b) Source # race ∷ ReaderT r m a → ReaderT r m b → ReaderT r m (Either a b) Source # race_ ∷ ReaderT r m a → ReaderT r m b → ReaderT r m () Source # concurrently ∷ ReaderT r m a → ReaderT r m b → ReaderT r m (a, b) Source # concurrently_ ∷ ReaderT r m a → ReaderT r m b → ReaderT r m () Source # asyncWithUnmask ∷ ((∀ b. ReaderT r m b → ReaderT r m b) → ReaderT r m a) → ReaderT r m (Async (ReaderT r m) a) Source # asyncOnWithUnmask ∷ Int → ((∀ b. ReaderT r m b → ReaderT r m b) → ReaderT r m a) → ReaderT r m (Async (ReaderT r m) a) Source # withAsyncWithUnmask ∷ ((∀ c. ReaderT r m c → ReaderT r m c) → ReaderT r m a) → (Async (ReaderT r m) a → ReaderT r m b) → ReaderT r m b Source # withAsyncOnWithUnmask ∷ Int → ((∀ c. ReaderT r m c → ReaderT r m c) → ReaderT r m a) → (Async (ReaderT r m) a → ReaderT r m b) → ReaderT r m b Source # compareAsyncs ∷ Async (ReaderT r m) a → Async (ReaderT r m) b → Ordering Source #

link ∷ (MonadAsync m, MonadFork m, MonadMask m) ⇒ Async m a → m () Source #

Like link.

linkTo ∷ (MonadAsync m, MonadFork m, MonadMask m) ⇒ ThreadId m → Async m a → m () Source #

Generalization of link that links an async to an arbitrary thread.

Non standard (not in async library)

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

stToIO

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 #

Deprecated. Use stToIO instead.

Instances

Instances details

MonadST IO
Instance details Defined in Control.Monad.Class.MonadST Methods stToIO ∷ ST (PrimState IO) a → IO a Source # withLiftST ∷ (∀ s. (∀ a. ST s a → IO a) → b) → b Source #
MonadST (ST s)
Instance details Defined in Control.Monad.Class.MonadST Methods stToIO ∷ ST (PrimState (ST s)) a → ST s a Source # withLiftST ∷ (∀ s0. (∀ a. ST s0 a → ST s a) → b) → b Source #
MonadST m ⇒ MonadST (WithEarlyExit m) Source #
Instance details 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)
Instance details Defined in Control.Monad.Class.MonadST Methods stToIO ∷ ST (PrimState (ReaderT r m)) a → ReaderT r m a Source # withLiftST ∷ (∀ s. (∀ a. ST s a → ReaderT r m a) → b) → b Source #

class Monad m ⇒ PrimMonad (m ∷ Type → Type) where Source #

Class of monads which can perform primitive state-transformer actions.

Associated Types

type PrimState (m ∷ Type → Type) Source #

State token type.

Methods

primitive ∷ (State# (PrimState m) → (# State# (PrimState m), a #)) → m a Source #

Execute a primitive operation.

Instances

Instances details

PrimMonad IO
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState IO Source # Methods primitive ∷ (State# (PrimState IO) → (# State# (PrimState IO), a #)) → IO a Source #
PrimMonad (ST s)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ST s) Source # Methods primitive ∷ (State# (PrimState (ST s)) → (# State# (PrimState (ST s)), a #)) → ST s a Source #
PrimMonad (ST s)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ST s) Source # Methods primitive ∷ (State# (PrimState (ST s)) → (# State# (PrimState (ST s)), a #)) → ST s a Source #
PrimMonad m ⇒ PrimMonad (GenT m)
Instance details Defined in Hedgehog.Internal.Gen Associated Types type PrimState (GenT m) Source # Methods primitive ∷ (State# (PrimState (GenT m)) → (# State# (PrimState (GenT m)), a #)) → GenT m a Source #
PrimMonad m ⇒ PrimMonad (PropertyT m)
Instance details Defined in Hedgehog.Internal.Property Associated Types type PrimState (PropertyT m) Source # Methods primitive ∷ (State# (PrimState (PropertyT m)) → (# State# (PrimState (PropertyT m)), a #)) → PropertyT m a Source #
PrimMonad m ⇒ PrimMonad (TestT m)
Instance details Defined in Hedgehog.Internal.Property Associated Types type PrimState (TestT m) Source # Methods primitive ∷ (State# (PrimState (TestT m)) → (# State# (PrimState (TestT m)), a #)) → TestT m a Source #
PrimMonad m ⇒ PrimMonad (TreeT m)
Instance details Defined in Hedgehog.Internal.Tree Associated Types type PrimState (TreeT m) Source # Methods primitive ∷ (State# (PrimState (TreeT m)) → (# State# (PrimState (TreeT m)), a #)) → TreeT m a Source #
PrimMonad m ⇒ PrimMonad (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type PrimState (WithEarlyExit m) Source # Methods primitive ∷ (State# (PrimState (WithEarlyExit m)) → (# State# (PrimState (WithEarlyExit m)), a #)) → WithEarlyExit m a Source #
PrimMonad m ⇒ PrimMonad (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Associated Types type PrimState (ResourceT m) Source # Methods primitive ∷ (State# (PrimState (ResourceT m)) → (# State# (PrimState (ResourceT m)), a #)) → ResourceT m a Source #
PrimMonad m ⇒ PrimMonad (MaybeT m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (MaybeT m) Source # Methods primitive ∷ (State# (PrimState (MaybeT m)) → (# State# (PrimState (MaybeT m)), a #)) → MaybeT m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (AccumT w m)	Since: primitive-0.6.3.0
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (AccumT w m) Source # Methods primitive ∷ (State# (PrimState (AccumT w m)) → (# State# (PrimState (AccumT w m)), a #)) → AccumT w m a Source #
PrimMonad m ⇒ PrimMonad (ExceptT e m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ExceptT e m) Source # Methods primitive ∷ (State# (PrimState (ExceptT e m)) → (# State# (PrimState (ExceptT e m)), a #)) → ExceptT e m a Source #
PrimMonad m ⇒ PrimMonad (IdentityT m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (IdentityT m) Source # Methods primitive ∷ (State# (PrimState (IdentityT m)) → (# State# (PrimState (IdentityT m)), a #)) → IdentityT m a Source #
PrimMonad m ⇒ PrimMonad (ReaderT r m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ReaderT r m) Source # Methods primitive ∷ (State# (PrimState (ReaderT r m)) → (# State# (PrimState (ReaderT r m)), a #)) → ReaderT r m a Source #
PrimMonad m ⇒ PrimMonad (SelectT r m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (SelectT r m) Source # Methods primitive ∷ (State# (PrimState (SelectT r m)) → (# State# (PrimState (SelectT r m)), a #)) → SelectT r m a Source #
PrimMonad m ⇒ PrimMonad (StateT s m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (StateT s m) Source # Methods primitive ∷ (State# (PrimState (StateT s m)) → (# State# (PrimState (StateT s m)), a #)) → StateT s m a Source #
PrimMonad m ⇒ PrimMonad (StateT s m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (StateT s m) Source # Methods primitive ∷ (State# (PrimState (StateT s m)) → (# State# (PrimState (StateT s m)), a #)) → StateT s m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive ∷ (State# (PrimState (WriterT w m)) → (# State# (PrimState (WriterT w m)), a #)) → WriterT w m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive ∷ (State# (PrimState (WriterT w m)) → (# State# (PrimState (WriterT w m)), a #)) → WriterT w m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (WriterT w m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (WriterT w m) Source # Methods primitive ∷ (State# (PrimState (WriterT w m)) → (# State# (PrimState (WriterT w m)), a #)) → WriterT w m a Source #
PrimMonad (CekM uni fun s)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type PrimState (CekM uni fun s) Source # Methods primitive ∷ (State# (PrimState (CekM uni fun s)) → (# State# (PrimState (CekM uni fun s)), a #)) → CekM uni fun s a Source #
PrimMonad m ⇒ PrimMonad (ContT r m)	Since: primitive-0.6.3.0
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (ContT r m) Source # Methods primitive ∷ (State# (PrimState (ContT r m)) → (# State# (PrimState (ContT r m)), a #)) → ContT r m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive ∷ (State# (PrimState (RWST r w s m)) → (# State# (PrimState (RWST r w s m)), a #)) → RWST r w s m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive ∷ (State# (PrimState (RWST r w s m)) → (# State# (PrimState (RWST r w s m)), a #)) → RWST r w s m a Source #
(Monoid w, PrimMonad m) ⇒ PrimMonad (RWST r w s m)
Instance details Defined in Control.Monad.Primitive Associated Types type PrimState (RWST r w s m) Source # Methods primitive ∷ (State# (PrimState (RWST r w s m)) → (# State# (PrimState (RWST r w s m)), a #)) → RWST r w s m a Source #

MonadTime

data DiffTime #

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

Instances details

Data DiffTime
Instance details 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
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods succ ∷ DiffTime → DiffTime # pred ∷ DiffTime → DiffTime # toEnum ∷ Int → DiffTime # fromEnum ∷ DiffTime → Int # enumFrom ∷ DiffTime → [DiffTime] # enumFromThen ∷ DiffTime → DiffTime → [DiffTime] # enumFromTo ∷ DiffTime → DiffTime → [DiffTime] # enumFromThenTo ∷ DiffTime → DiffTime → DiffTime → [DiffTime] #
Num DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods (+) ∷ DiffTime → DiffTime → DiffTime # (-) ∷ DiffTime → DiffTime → DiffTime # (*) ∷ DiffTime → DiffTime → DiffTime # negate ∷ DiffTime → DiffTime # abs ∷ DiffTime → DiffTime # signum ∷ DiffTime → DiffTime # fromInteger ∷ Integer → DiffTime #
Read DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods readsPrec ∷ Int → ReadS DiffTime # readList ∷ ReadS [DiffTime] # readPrec ∷ ReadPrec DiffTime # readListPrec ∷ ReadPrec [DiffTime] #
Fractional DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods (/) ∷ DiffTime → DiffTime → DiffTime # recip ∷ DiffTime → DiffTime # fromRational ∷ Rational → DiffTime #
Real DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods toRational ∷ DiffTime → Rational #
RealFrac DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods properFraction ∷ Integral b ⇒ DiffTime → (b, DiffTime) # truncate ∷ Integral b ⇒ DiffTime → b # round ∷ Integral b ⇒ DiffTime → b # ceiling ∷ Integral b ⇒ DiffTime → b # floor ∷ Integral b ⇒ DiffTime → b #
Show DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods showsPrec ∷ Int → DiffTime → ShowS # show ∷ DiffTime → String # showList ∷ [DiffTime] → ShowS #
NFData DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods rnf ∷ DiffTime → () #
Eq DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods (==) ∷ DiffTime → DiffTime → Bool # (/=) ∷ DiffTime → DiffTime → Bool #
Ord DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods compare ∷ DiffTime → DiffTime → Ordering # (<) ∷ DiffTime → DiffTime → Bool # (<=) ∷ DiffTime → DiffTime → Bool # (>) ∷ DiffTime → DiffTime → Bool # (>=) ∷ DiffTime → DiffTime → Bool # max ∷ DiffTime → DiffTime → DiffTime # min ∷ DiffTime → DiffTime → DiffTime #
NoThunks DiffTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → DiffTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DiffTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DiffTime → String Source #

class MonadMonotonicTimeNSec m ⇒ MonadMonotonicTime (m ∷ Type → Type) where Source #

Minimal complete definition

Nothing

Methods

getMonotonicTime ∷ m Time Source #

Instances

Instances details

MonadMonotonicTime IO
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods getMonotonicTime ∷ IO Time Source #
MonadMonotonicTime m ⇒ MonadMonotonicTime (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods getMonotonicTime ∷ WithEarlyExit m Time Source #
MonadMonotonicTime m ⇒ MonadMonotonicTime (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods getMonotonicTime ∷ ReaderT r m Time Source #

newtype Time Source #

A point in time in a monotonic clock.

The epoch for this clock is arbitrary and does not correspond to any wall clock or calendar, and is not guaranteed to be the same epoch across program runs. It is represented as the DiffTime from this arbitrary epoch.

Constructors

Time DiffTime

Instances

Instances details

Generic Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Associated Types type Rep Time ∷ Type → Type # Methods from ∷ Time → Rep Time x # to ∷ Rep Time x → Time #
Show Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods showsPrec ∷ Int → Time → ShowS # show ∷ Time → String # showList ∷ [Time] → ShowS #
NFData Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods rnf ∷ Time → () #
Eq Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods (==) ∷ Time → Time → Bool # (/=) ∷ Time → Time → Bool #
Ord Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods compare ∷ Time → Time → Ordering # (<) ∷ Time → Time → Bool # (<=) ∷ Time → Time → Bool # (>) ∷ Time → Time → Bool # (>=) ∷ Time → Time → Bool # max ∷ Time → Time → Time # min ∷ Time → Time → Time #
NoThunks Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods noThunks ∷ Context → Time → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Time → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Time → String Source #
Condense Time Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Time → String Source #
type Rep Time
Instance details Defined in Control.Monad.Class.MonadTime.SI type Rep Time = D1 ('MetaData "Time" "Control.Monad.Class.MonadTime.SI" "si-timers-1.5.0.0-f18cb72be7842e7371af550e68d345ff5d74de448f7ee62134ddef41260d475a" 'True) (C1 ('MetaCons "Time" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DiffTime)))

addTime ∷ DiffTime → Time → Time infixr 9 Source #

Add a duration to a point in time, giving another time.

diffTime ∷ Time → Time → DiffTime Source #

The time duration between two points in time (positive or negative).

MonadDelay

class (MonadDelay m, MonadMonotonicTime m) ⇒ MonadDelay (m ∷ Type → Type) where Source #

Methods

threadDelay ∷ DiffTime → m () Source #

Instances

Instances details

MonadDelay IO	Thread delay. This implementation will not over- or underflow. For delay larger than what `Int` can represent (see `diffTimeToMicrosecondsAsInt`), it will recursively call `threadDelay`. For delays smaller than `minBound :: Int` seconds, `minBound :: Int` will be used instead.
Instance details Defined in Control.Monad.Class.MonadTimer.SI Methods threadDelay ∷ DiffTime → IO () Source #
MonadDelay m ⇒ MonadDelay (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay ∷ DiffTime → WithEarlyExit m () Source #
MonadDelay m ⇒ MonadDelay (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadTimer.SI Methods threadDelay ∷ DiffTime → ReaderT r m () Source #

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

Instances details

MonadEventlog IO
Instance details Defined in Control.Monad.Class.MonadEventlog Methods traceEventIO ∷ String → IO () Source # traceMarkerIO ∷ String → IO () Source #
MonadEventlog m ⇒ MonadEventlog (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods traceEventIO ∷ String → WithEarlyExit m () Source # traceMarkerIO ∷ String → WithEarlyExit m () Source #
MonadEventlog m ⇒ MonadEventlog (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadEventlog Methods traceEventIO ∷ String → ReaderT r m () Source # traceMarkerIO ∷ String → ReaderT r m () Source #

MonadEvaluate

class MonadThrow m ⇒ MonadEvaluate (m ∷ Type → Type) where Source #

Monads which can evaluate.

Methods

evaluate ∷ a → m a Source #

Instances

Instances details

MonadEvaluate IO
Instance details Defined in Control.Monad.Class.MonadThrow Methods evaluate ∷ a → IO a Source #
(MonadEvaluate m, MonadCatch m) ⇒ MonadEvaluate (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods evaluate ∷ a → WithEarlyExit m a Source #
MonadEvaluate m ⇒ MonadEvaluate (ReaderT r m)
Instance details Defined in Control.Monad.Class.MonadThrow Methods evaluate ∷ a → ReaderT r m a Source #

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.

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

Instances details

NoThunks All
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → All → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → All → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy All → String Source #
NoThunks Any
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Any → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Any → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Any → String Source #
NoThunks Void
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Void → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Void → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Void → String Source #
NoThunks ThreadId
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → ThreadId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ThreadId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ThreadId → String Source #
NoThunks Int16
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Int16 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Int16 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Int16 → String Source #
NoThunks Int32
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Int32 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Int32 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Int32 → String Source #
NoThunks Int64
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Int64 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Int64 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Int64 → String Source #
NoThunks Int8
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Int8 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Int8 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Int8 → String Source #
NoThunks CallStack	Since CallStacks can't retain application data, we don't want to check them for thunks at all
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → CallStack → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CallStack → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CallStack → String Source #
NoThunks Word16
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Word16 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Word16 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Word16 → String Source #
NoThunks Word32
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Word32 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Word32 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Word32 → String Source #
NoThunks Word64
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Word64 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Word64 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Word64 → String Source #
NoThunks Word8
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Word8 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Word8 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Word8 → String Source #
NoThunks ByteString	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.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → ByteString → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ByteString → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ByteString → String Source #
NoThunks ByteString	Instance for lazy bytestrings Defined manually so that it piggy-backs on the one for strict bytestrings.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → ByteString → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ByteString → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ByteString → String Source #
NoThunks ShortByteString	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.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → ShortByteString → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShortByteString → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ShortByteString → String Source #
NoThunks Seed
Instance details Defined in Cardano.Crypto.Seed Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Seed → String Source #
NoThunks Point
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → Point → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Point → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Point → String Source #
NoThunks Output
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → Output → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Output → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Output → String Source #
NoThunks Proof
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Proof → String Source #
NoThunks Seed
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Seed → String Source #
NoThunks SignKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → SignKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SignKey → String Source #
NoThunks VerKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → VerKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy VerKey → String Source #
NoThunks Output
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → Output → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Output → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Output → String Source #
NoThunks Proof
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Proof → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Proof → String Source #
NoThunks Seed
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Seed → String Source #
NoThunks SignKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → SignKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SignKey → String Source #
NoThunks VerKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → VerKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy VerKey → String Source #
NoThunks ProtocolMagicId
Instance details Defined in Cardano.Crypto.ProtocolMagic Methods noThunks ∷ Context → ProtocolMagicId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ProtocolMagicId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ProtocolMagicId → String Source #
NoThunks RequiresNetworkMagic
Instance details Defined in Cardano.Crypto.ProtocolMagic Methods noThunks ∷ Context → RequiresNetworkMagic → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RequiresNetworkMagic → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RequiresNetworkMagic → String Source #
NoThunks CompactRedeemVerificationKey
Instance details Defined in Cardano.Crypto.Signing.Redeem.Compact Methods noThunks ∷ Context → CompactRedeemVerificationKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactRedeemVerificationKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactRedeemVerificationKey → String Source #
NoThunks RedeemSigningKey
Instance details Defined in Cardano.Crypto.Signing.Redeem.SigningKey Methods noThunks ∷ Context → RedeemSigningKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RedeemSigningKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RedeemSigningKey → String Source #
NoThunks RedeemVerificationKey
Instance details Defined in Cardano.Crypto.Signing.Redeem.VerificationKey Methods noThunks ∷ Context → RedeemVerificationKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RedeemVerificationKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RedeemVerificationKey → String Source #
NoThunks VerificationKey
Instance details Defined in Cardano.Crypto.Signing.VerificationKey Methods noThunks ∷ Context → VerificationKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerificationKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy VerificationKey → String Source #
NoThunks AddrAttributes
Instance details Defined in Cardano.Chain.Common.AddrAttributes Methods noThunks ∷ Context → AddrAttributes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AddrAttributes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AddrAttributes → String Source #
NoThunks HDAddressPayload
Instance details Defined in Cardano.Chain.Common.AddrAttributes Methods noThunks ∷ Context → HDAddressPayload → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HDAddressPayload → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy HDAddressPayload → String Source #
NoThunks AddrType
Instance details Defined in Cardano.Chain.Common.AddrSpendingData Methods noThunks ∷ Context → AddrType → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AddrType → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AddrType → String Source #
NoThunks Address
Instance details Defined in Cardano.Chain.Common.Address Methods noThunks ∷ Context → Address → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Address → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Address → String Source #
NoThunks UnparsedFields
Instance details Defined in Cardano.Chain.Common.Attributes Methods noThunks ∷ Context → UnparsedFields → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnparsedFields → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UnparsedFields → String Source #
NoThunks BlockCount
Instance details Defined in Cardano.Chain.Common.BlockCount Methods noThunks ∷ Context → BlockCount → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockCount → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockCount → String Source #
NoThunks ChainDifficulty
Instance details Defined in Cardano.Chain.Common.ChainDifficulty Methods noThunks ∷ Context → ChainDifficulty → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainDifficulty → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainDifficulty → String Source #
NoThunks CompactAddress
Instance details Defined in Cardano.Chain.Common.Compact Methods noThunks ∷ Context → CompactAddress → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactAddress → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactAddress → String Source #
NoThunks Lovelace
Instance details Defined in Cardano.Chain.Common.Lovelace Methods noThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Lovelace → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Lovelace → String Source #
NoThunks LovelacePortion
Instance details Defined in Cardano.Chain.Common.LovelacePortion Methods noThunks ∷ Context → LovelacePortion → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LovelacePortion → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LovelacePortion → String Source #
NoThunks NetworkMagic
Instance details Defined in Cardano.Chain.Common.NetworkMagic Methods noThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NetworkMagic → String Source #
NoThunks TxFeePolicy
Instance details Defined in Cardano.Chain.Common.TxFeePolicy Methods noThunks ∷ Context → TxFeePolicy → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxFeePolicy → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxFeePolicy → String Source #
NoThunks TxSizeLinear
Instance details Defined in Cardano.Chain.Common.TxSizeLinear Methods noThunks ∷ Context → TxSizeLinear → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxSizeLinear → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxSizeLinear → String Source #
NoThunks ActiveSlotCoeff
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → ActiveSlotCoeff → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ActiveSlotCoeff → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ActiveSlotCoeff → String Source #
NoThunks Anchor
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Anchor → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Anchor → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Anchor → String Source #
NoThunks BlocksMade
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → BlocksMade → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlocksMade → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlocksMade → String Source #
NoThunks CertIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → CertIx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertIx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CertIx → String Source #
NoThunks DnsName
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DnsName → String Source #
NoThunks Globals
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Globals → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Globals → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Globals → String Source #
NoThunks Network
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Network → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Network → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Network → String Source #
NoThunks NonNegativeInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → NonNegativeInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonNegativeInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NonNegativeInterval → String Source #
NoThunks Nonce
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Nonce → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Nonce → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Nonce → String Source #
NoThunks Port
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Port → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Port → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Port → String Source #
NoThunks PositiveInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → PositiveInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PositiveInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PositiveInterval → String Source #
NoThunks PositiveUnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → PositiveUnitInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PositiveUnitInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PositiveUnitInterval → String Source #
NoThunks ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ProtVer → String Source #
NoThunks Relation
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Relation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Relation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Relation → String Source #
NoThunks Seed
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Seed → String Source #
NoThunks TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → TxIx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxIx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxIx → String Source #
NoThunks UnitInterval
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UnitInterval → String Source #
NoThunks Url
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Url → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Url → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Url → String Source #
NoThunks GenDelegPair
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → GenDelegPair → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenDelegPair → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenDelegPair → String Source #
NoThunks GenDelegs
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → GenDelegs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenDelegs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenDelegs → String Source #
NoThunks ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → ScriptHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScriptHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ScriptHash → String Source #
NoThunks TxAuxDataHash
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → TxAuxDataHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxAuxDataHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxAuxDataHash → String Source #
NoThunks BootstrapWitness
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BootstrapWitness → String Source #
NoThunks BootstrapWitnessRaw
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → BootstrapWitnessRaw → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BootstrapWitnessRaw → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BootstrapWitnessRaw → String Source #
NoThunks ChainCode
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainCode → String Source #
NoThunks BlockNo
Instance details Defined in Cardano.Slotting.Block Methods noThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockNo → String Source #
NoThunks EpochInterval
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochInterval → String Source #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochNo → String Source #
NoThunks EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochSize → String Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotNo → String Source #
NoThunks RelativeTime
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → RelativeTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RelativeTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RelativeTime → String Source #
NoThunks SlotLength
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → SlotLength → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotLength → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotLength → String Source #
NoThunks SystemStart
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → SystemStart → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SystemStart → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SystemStart → String Source #
NoThunks FsPath Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → FsPath → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FsPath → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy FsPath → String Source #
NoThunks CRC Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → CRC → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CRC → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CRC → String Source #
NoThunks GenesisWindow Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract Methods noThunks ∷ Context → GenesisWindow → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisWindow → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisWindow → String Source #
NoThunks IsEBB Source #
Instance details Defined in Ouroboros.Consensus.Block.EBB Methods noThunks ∷ Context → IsEBB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IsEBB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy IsEBB → String Source #
NoThunks CurrentSlot Source #
Instance details Defined in Ouroboros.Consensus.BlockchainTime.API Methods noThunks ∷ Context → CurrentSlot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CurrentSlot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CurrentSlot → String Source #
NoThunks SecurityParam Source #
Instance details Defined in Ouroboros.Consensus.Config.SecurityParam Methods noThunks ∷ Context → SecurityParam → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SecurityParam → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SecurityParam → String Source #
NoThunks Past Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Types Methods noThunks ∷ Context → Past → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Past → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Past → String Source #
NoThunks TransitionInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Types Methods noThunks ∷ Context → TransitionInfo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionInfo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TransitionInfo → String Source #
NoThunks EraParams Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.EraParams Methods noThunks ∷ Context → EraParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EraParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EraParams → String Source #
NoThunks SafeZone Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.EraParams Methods noThunks ∷ Context → SafeZone → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SafeZone → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SafeZone → String Source #
NoThunks Bound Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Summary Methods noThunks ∷ Context → Bound → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Bound → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Bound → String Source #
NoThunks EraEnd Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Summary Methods noThunks ∷ Context → EraEnd → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EraEnd → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EraEnd → String Source #
NoThunks EraSummary Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Summary Methods noThunks ∷ Context → EraSummary → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EraSummary → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EraSummary → String Source #
NoThunks TriggerHardFork Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Simple Methods noThunks ∷ Context → TriggerHardFork → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TriggerHardFork → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TriggerHardFork → String Source #
NoThunks ComputeLedgerEvents Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics Methods noThunks ∷ Context → ComputeLedgerEvents → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ComputeLedgerEvents → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ComputeLedgerEvents → String Source #
NoThunks ByteSize32 Source #
Instance details Defined in Ouroboros.Consensus.Ledger.SupportsMempool Methods noThunks ∷ Context → ByteSize32 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ByteSize32 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ByteSize32 → String Source #
NoThunks TicketNo Source #
Instance details Defined in Ouroboros.Consensus.Mempool.TxSeq Methods noThunks ∷ Context → TicketNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TicketNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TicketNo → String Source #
NoThunks DisengagedInitState Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → DisengagedInitState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DisengagedInitState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DisengagedInitState → String Source #
NoThunks JumperInitState Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → JumperInitState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → JumperInitState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy JumperInitState → String Source #
NoThunks ObjectorInitState Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ObjectorInitState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ObjectorInitState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ObjectorInitState → String Source #
NoThunks GsmState Source #
Instance details Defined in Ouroboros.Consensus.Node.GsmState Methods noThunks ∷ Context → GsmState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GsmState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GsmState → String Source #
NoThunks NumCoreNodes Source #
Instance details Defined in Ouroboros.Consensus.Node.ProtocolInfo Methods noThunks ∷ Context → NumCoreNodes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NumCoreNodes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NumCoreNodes → String Source #
NoThunks CoreNodeId Source #
Instance details Defined in Ouroboros.Consensus.NodeId Methods noThunks ∷ Context → CoreNodeId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CoreNodeId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CoreNodeId → String Source #
NoThunks NodeId Source #
Instance details Defined in Ouroboros.Consensus.NodeId Methods noThunks ∷ Context → NodeId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NodeId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NodeId → String Source #
NoThunks BftParams Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → BftParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BftParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BftParams → String Source #
NoThunks BftValidationErr Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → BftValidationErr → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BftValidationErr → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BftValidationErr → String Source #
NoThunks LeaderSchedule Source #
Instance details Defined in Ouroboros.Consensus.Protocol.LeaderSchedule Methods noThunks ∷ Context → LeaderSchedule → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LeaderSchedule → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LeaderSchedule → String Source #
NoThunks PBftParams Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftParams → String Source #
NoThunks PBftSelectView Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftSelectView → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftSelectView → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftSelectView → String Source #
NoThunks PBftSignatureThreshold Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftSignatureThreshold → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftSignatureThreshold → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftSignatureThreshold → String Source #
NoThunks PBftMockVerKeyHash Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.Crypto Methods noThunks ∷ Context → PBftMockVerKeyHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftMockVerKeyHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PBftMockVerKeyHash → String Source #
NoThunks ScheduledGc Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Background Methods noThunks ∷ Context → ScheduledGc → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScheduledGc → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ScheduledGc → String Source #
NoThunks FollowerKey Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → FollowerKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FollowerKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy FollowerKey → String Source #
NoThunks IteratorKey Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → IteratorKey → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IteratorKey → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy IteratorKey → String Source #
NoThunks PrefixLen Source #
Instance details Defined in Ouroboros.Consensus.Storage.Common Methods noThunks ∷ Context → PrefixLen → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrefixLen → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrefixLen → String Source #
NoThunks ChunkInfo Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → ChunkInfo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkInfo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkInfo → String Source #
NoThunks ChunkNo Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → ChunkNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkNo → String Source #
NoThunks ChunkSize Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → ChunkSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkSize → String Source #
NoThunks RelativeSlot Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → RelativeSlot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RelativeSlot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RelativeSlot → String Source #
NoThunks ChunkSlot Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Layout Methods noThunks ∷ Context → ChunkSlot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkSlot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkSlot → String Source #
NoThunks PrimaryIndex Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Primary Methods noThunks ∷ Context → PrimaryIndex → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrimaryIndex → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrimaryIndex → String Source #
NoThunks BlockOffset Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary Methods noThunks ∷ Context → BlockOffset → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockOffset → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockOffset → String Source #
NoThunks BlockSize Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary Methods noThunks ∷ Context → BlockSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockSize → String Source #
NoThunks HeaderOffset Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary Methods noThunks ∷ Context → HeaderOffset → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderOffset → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy HeaderOffset → String Source #
NoThunks HeaderSize Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary Methods noThunks ∷ Context → HeaderSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy HeaderSize → String Source #
NoThunks BlockOrEBB Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types Methods noThunks ∷ Context → BlockOrEBB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockOrEBB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockOrEBB → String Source #
NoThunks DiskPolicy Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.DiskPolicy Methods noThunks ∷ Context → DiskPolicy → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DiskPolicy → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DiskPolicy → String Source #
NoThunks BlockOffset Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods noThunks ∷ Context → BlockOffset → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockOffset → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockOffset → String Source #
NoThunks BlockSize Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods noThunks ∷ Context → BlockSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockSize → String Source #
NoThunks PrettyCallStack Source #
Instance details Defined in Ouroboros.Consensus.Util.CallStack Methods noThunks ∷ Context → PrettyCallStack → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrettyCallStack → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrettyCallStack → String Source #
NoThunks Fingerprint Source #
Instance details Defined in Ouroboros.Consensus.Util.STM Methods noThunks ∷ Context → Fingerprint → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Fingerprint → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Fingerprint → String Source #
NoThunks LedgerStateJudgement
Instance details Defined in Cardano.Network.Types Methods noThunks ∷ Context → LedgerStateJudgement → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerStateJudgement → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LedgerStateJudgement → String Source #
NoThunks MaxSlotNo
Instance details Defined in Ouroboros.Network.Block Methods noThunks ∷ Context → MaxSlotNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaxSlotNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MaxSlotNo → String Source #
NoThunks ChainSelStarvation
Instance details Defined in Ouroboros.Network.BlockFetch.ConsensusInterface Methods noThunks ∷ Context → ChainSelStarvation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSelStarvation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainSelStarvation → String Source #
NoThunks NetworkMagic
Instance details Defined in Ouroboros.Network.Magic Methods noThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NetworkMagic → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NetworkMagic → String Source #
NoThunks AfterSlot
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods noThunks ∷ Context → AfterSlot → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AfterSlot → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AfterSlot → String Source #
NoThunks UseLedgerPeers
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods noThunks ∷ Context → UseLedgerPeers → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UseLedgerPeers → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UseLedgerPeers → String Source #
NoThunks SizeInBytes
Instance details Defined in Ouroboros.Network.SizeInBytes Methods noThunks ∷ Context → SizeInBytes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SizeInBytes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SizeInBytes → String Source #
NoThunks NumTxIdsToAck
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods noThunks ∷ Context → NumTxIdsToAck → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NumTxIdsToAck → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NumTxIdsToAck → String Source #
NoThunks NumTxIdsToReq
Instance details Defined in Ouroboros.Network.Protocol.TxSubmission2.Type Methods noThunks ∷ Context → NumTxIdsToReq → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NumTxIdsToReq → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NumTxIdsToReq → String Source #
NoThunks Data
Instance details Defined in PlutusCore.Data Methods noThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Data → String Source #
NoThunks CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods noThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CostModelApplyError → String Source #
NoThunks ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods noThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExBudget → String Source #
NoThunks ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExCPU → String Source #
NoThunks ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExMemory → String Source #
NoThunks SatInt
Instance details Defined in Data.SatInt Methods noThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SatInt → String Source #
NoThunks EvaluationContext
Instance details Defined in PlutusLedgerApi.Common.Eval Methods noThunks ∷ Context → EvaluationContext → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EvaluationContext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EvaluationContext → String Source #
NoThunks ScriptForEvaluation
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods noThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ScriptForEvaluation → String Source #
NoThunks PlutusLedgerLanguage
Instance details Defined in PlutusLedgerApi.Common.Versions Methods noThunks ∷ Context → PlutusLedgerLanguage → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PlutusLedgerLanguage → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PlutusLedgerLanguage → String Source #
NoThunks Appenders
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → Appenders → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Appenders → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Appenders → String Source #
NoThunks RAWState
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → RAWState → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RAWState → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RAWState → String Source #
NoThunks Readers
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → Readers → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Readers → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Readers → String Source #
NoThunks Writers
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → Writers → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Writers → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Writers → String Source #
NoThunks Age
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → Age → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Age → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Age → String Source #
NoThunks PrettyCallStack
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → PrettyCallStack → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PrettyCallStack → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PrettyCallStack → String Source #
NoThunks RegistryStatus
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → RegistryStatus → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RegistryStatus → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RegistryStatus → String Source #
NoThunks ResourceId
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → ResourceId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ResourceId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ResourceId → String Source #
NoThunks Time
Instance details Defined in Control.Monad.Class.MonadTime.SI Methods noThunks ∷ Context → Time → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Time → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Time → String Source #
NoThunks Text
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Text → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Text → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Text → String Source #
NoThunks Text
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Text → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Text → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Text → String Source #
NoThunks Day
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Day → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Day → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Day → String Source #
NoThunks DiffTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → DiffTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DiffTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DiffTime → String Source #
NoThunks NominalDiffTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → NominalDiffTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NominalDiffTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy NominalDiffTime → String Source #
NoThunks UTCTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → UTCTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTCTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UTCTime → String Source #
NoThunks UniversalTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → UniversalTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UniversalTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UniversalTime → String Source #
NoThunks TimeLocale
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → TimeLocale → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TimeLocale → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TimeLocale → String Source #
NoThunks LocalTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → LocalTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LocalTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy LocalTime → String Source #
NoThunks TimeOfDay
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → TimeOfDay → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TimeOfDay → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TimeOfDay → String Source #
NoThunks TimeZone
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → TimeZone → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TimeZone → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TimeZone → String Source #
NoThunks ZonedTime
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → ZonedTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ZonedTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ZonedTime → String Source #
NoThunks Integer
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Integer → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Integer → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Integer → String Source #
NoThunks Natural
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Natural → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Natural → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Natural → String Source #
NoThunks ()
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → () → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → () → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy () → String Source #
NoThunks Bool
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Bool → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Bool → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Bool → String Source #
NoThunks Char
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Char → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Char → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Char → String Source #
NoThunks Double
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Double → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Double → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Double → String Source #
NoThunks Float
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Float → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Float → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Float → String Source #
NoThunks Int
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Int → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Int → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Int → String Source #
NoThunks Word
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Word → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Word → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Word → String Source #
NoThunks a ⇒ NoThunks (Identity a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Identity a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Identity a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Identity a) → String Source #
NoThunks a ⇒ NoThunks (First a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → First a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → First a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (First a) → String Source #
NoThunks a ⇒ NoThunks (Last a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Last a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Last a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Last a) → String Source #
NoThunks a ⇒ NoThunks (First a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → First a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → First a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (First a) → String Source #
NoThunks a ⇒ NoThunks (Last a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Last a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Last a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Last a) → String Source #
NoThunks a ⇒ NoThunks (Max a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Max a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Max a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Max a) → String Source #
NoThunks a ⇒ NoThunks (Min a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Min a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Min a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Min a) → String Source #
NoThunks a ⇒ NoThunks (WrappedMonoid a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → WrappedMonoid a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrappedMonoid a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrappedMonoid a) → String Source #
NoThunks a ⇒ NoThunks (Dual a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Dual a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Dual a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Dual a) → String Source #
NoThunks a ⇒ NoThunks (Product a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Product a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Product a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Product a) → String Source #
NoThunks a ⇒ NoThunks (Sum a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Sum a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Sum a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Sum a) → String Source #
NoThunks a ⇒ NoThunks (NonEmpty a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → NonEmpty a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonEmpty a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NonEmpty a) → String Source #
NoThunks a ⇒ NoThunks (TVar a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → TVar a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TVar a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TVar a) → String Source #
NoThunks a ⇒ NoThunks (IORef a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → IORef a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IORef a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IORef a) → String Source #
NoThunks a ⇒ NoThunks (MVar a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → MVar a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MVar a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MVar a) → String Source #
NoThunks a ⇒ NoThunks (Ratio a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Ratio a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ratio a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ratio a) → String Source #
NoThunks (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods noThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN EcdsaSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → String Source #
NoThunks (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods noThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed25519DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed25519DSIGN) → String Source #
NoThunks (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods noThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN Ed448DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN Ed448DSIGN) → String Source #
NoThunks (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN MockDSIGN) → String Source #
NoThunks (SigDSIGN NeverDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.NeverUsed Methods noThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN NeverDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN NeverDSIGN) → String Source #
NoThunks (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods noThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigDSIGN SchnorrSecp256k1DSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → String Source #
NoThunks (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyDSIGN MockDSIGN) → String Source #
NoThunks (SignKeyDSIGN NeverDSIGN)
Instance details 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)
Instance details 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)
Instance details 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 EcdsaSecp256k1DSIGN)
Instance details 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)
Instance details 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)
Instance details 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)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods noThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyDSIGN MockDSIGN → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyDSIGN MockDSIGN) → String Source #
NoThunks (VerKeyDSIGN NeverDSIGN)
Instance details 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)
Instance details 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 #
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (CompactSingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (SigKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (CompactSumKES h d)) → String Source #
NoThunks (SigKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (MockKES t)) → String Source #
NoThunks (SigKES NeverKES)
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SigKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SimpleKES d t)) → String Source #
DSIGNAlgorithm d ⇒ NoThunks (SigKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (SigKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SigKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SigKES (SumKES h d)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (CompactSingleKES d))
Instance details 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))
Instance details 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))
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (MockKES t)) → String Source #
NoThunks (SignKeyKES NeverKES)
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SimpleKES d t)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (SignKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SingleKES d)) → String Source #
NoThunks (SignKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyKES (SumKES h d)) → String Source #
KESAlgorithm v ⇒ NoThunks (SignKeyWithPeriodKES v)
Instance details Defined in Cardano.Crypto.KES.Class Methods noThunks ∷ Context → SignKeyWithPeriodKES v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyWithPeriodKES v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyWithPeriodKES v) → String Source #
DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (CompactSingleKES d))
Instance details 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))
Instance details 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))
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → String Source #
NoThunks (UnsoundPureSignKeyKES NeverKES)
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SimpleKES d t)) → String Source #
DSIGNAlgorithm d ⇒ NoThunks (UnsoundPureSignKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → String Source #
(NoThunks (UnsoundPureSignKeyKES d), KESAlgorithm d) ⇒ NoThunks (UnsoundPureSignKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UnsoundPureSignKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods noThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (CompactSingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (CompactSingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (VerKeyKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods noThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (CompactSumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (CompactSumKES h d)) → String Source #
NoThunks (VerKeyKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods noThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (MockKES t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (MockKES t)) → String Source #
NoThunks (VerKeyKES NeverKES)
Instance details Defined in Cardano.Crypto.KES.NeverUsed Methods noThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES NeverKES → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES NeverKES) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods noThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SimpleKES d t) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SimpleKES d t)) → String Source #
DSIGNMAlgorithm d ⇒ NoThunks (VerKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods noThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SingleKES d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SingleKES d)) → String Source #
KESAlgorithm d ⇒ NoThunks (VerKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods noThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyKES (SumKES h d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyKES (SumKES h d)) → String Source #
NoThunks (PackedBytes n)
Instance details Defined in Cardano.Crypto.PackedBytes Methods noThunks ∷ Context → PackedBytes n → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PackedBytes n → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PackedBytes n) → String Source #
NoThunks (PinnedSizedBytes n)
Instance details Defined in Cardano.Crypto.PinnedSizedBytes Methods noThunks ∷ Context → PinnedSizedBytes n → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PinnedSizedBytes n → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PinnedSizedBytes n) → String Source #
NoThunks (CertVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods noThunks ∷ Context → CertVRF MockVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF MockVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF MockVRF) → String Source #
NoThunks (CertVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods noThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF NeverVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF NeverVRF) → String Source #
NoThunks (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF SimpleVRF) → String Source #
NoThunks (CertVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → CertVRF PraosVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF PraosVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF PraosVRF) → String Source #
NoThunks (CertVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → CertVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertVRF PraosBatchCompatVRF) → String Source #
NoThunks (OutputVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods noThunks ∷ Context → OutputVRF v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OutputVRF v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OutputVRF v) → String Source #
NoThunks (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods noThunks ∷ Context → SignKeyVRF MockVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF MockVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF MockVRF) → String Source #
NoThunks (SignKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods noThunks ∷ Context → SignKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF NeverVRF) → String Source #
NoThunks (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF SimpleVRF) → String Source #
NoThunks (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → SignKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignKeyVRF PraosVRF) → String Source #
NoThunks (SignKeyVRF PraosBatchCompatVRF)
Instance details 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)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods noThunks ∷ Context → VerKeyVRF MockVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF MockVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF MockVRF) → String Source #
NoThunks (VerKeyVRF NeverVRF)
Instance details Defined in Cardano.Crypto.VRF.NeverUsed Methods noThunks ∷ Context → VerKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF NeverVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF NeverVRF) → String Source #
NoThunks (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods noThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF SimpleVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF SimpleVRF) → String Source #
NoThunks (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods noThunks ∷ Context → VerKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF PraosVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF PraosVRF) → String Source #
NoThunks (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods noThunks ∷ Context → VerKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VerKeyVRF PraosBatchCompatVRF → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VerKeyVRF PraosBatchCompatVRF) → String Source #
NoThunks a ⇒ NoThunks (AProtocolMagic a)
Instance details Defined in Cardano.Crypto.ProtocolMagic Methods noThunks ∷ Context → AProtocolMagic a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AProtocolMagic a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AProtocolMagic a) → String Source #
NoThunks (Signature a)
Instance details Defined in Cardano.Crypto.Signing.Signature Methods noThunks ∷ Context → Signature a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Signature a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Signature a) → String Source #
NoThunks a ⇒ NoThunks (Sized a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.Sized Methods noThunks ∷ Context → Sized a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Sized a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Sized a) → String Source #
NoThunks h ⇒ NoThunks (Attributes h)
Instance details Defined in Cardano.Chain.Common.Attributes Methods noThunks ∷ Context → Attributes h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Attributes h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Attributes h) → String Source #
NoThunks (MerkleRoot a)
Instance details Defined in Cardano.Chain.Common.Merkle Methods noThunks ∷ Context → MerkleRoot a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MerkleRoot a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MerkleRoot a) → String Source #
NoThunks a ⇒ NoThunks (NonZero a)
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods noThunks ∷ Context → NonZero a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonZero a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NonZero a) → String Source #
NoThunks (NoGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → NoGenesis era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NoGenesis era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NoGenesis era) → String Source #
NoThunks (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KeyHash r) → String Source #
NoThunks (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → SafeHash i → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SafeHash i → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SafeHash i) → String Source #
NoThunks (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VRFVerKeyHash r) → String Source #
NoThunks (VKey kd)
Instance details Defined in Cardano.Ledger.Keys.Internal Methods noThunks ∷ Context → VKey kd → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VKey kd → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VKey kd) → String Source #
Typeable kr ⇒ NoThunks (WitVKey kr)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods noThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WitVKey kr) → String Source #
(Typeable t, NoThunks t) ⇒ NoThunks (MemoBytes t)
Instance details Defined in Cardano.Ledger.MemoBytes.Internal Methods noThunks ∷ Context → MemoBytes t → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MemoBytes t → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MemoBytes t) → String Source #
NoThunks (EpochInfo m)
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods noThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EpochInfo m) → String Source #
NoThunks t ⇒ NoThunks (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithOrigin t) → String Source #
NoThunks a ⇒ NoThunks (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMaybe a) → String Source #
NoThunks a ⇒ NoThunks (StrictSeq a)	Instance for `StrictSeq` checks elements only The internal fingertree in `Seq` might have thunks, which is essential for its asymptotic complexity.
Instance details Defined in Data.Sequence.Strict Methods noThunks ∷ Context → StrictSeq a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictSeq a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictSeq a) → String Source #
NoThunks a ⇒ NoThunks (IntMap a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → IntMap a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IntMap a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IntMap a) → String Source #
NoThunks a ⇒ NoThunks (Seq a)	Instance for `Seq` checks elements only The internal fingertree in `Seq` might have thunks, which is essential for its asymptotic complexity.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Seq a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Seq a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Seq a) → String Source #
NoThunks a ⇒ NoThunks (Set a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Set a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Set a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Set a) → String Source #
NoThunks (SomeHasFS m) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → SomeHasFS m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SomeHasFS m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SomeHasFS m) → String Source #
NoThunks (Handle h) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → Handle h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Handle h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Handle h) → String Source #
NoThunks (IO a)	We do not check IO actions for captured thunks by default See instance for `(a -> b)` for detailed discussion.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IO a) → String Source #
NoThunks a ⇒ NoThunks (MultiSet a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → MultiSet a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MultiSet a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MultiSet a) → String Source #
NoThunks (AllowThunk a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → AllowThunk a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AllowThunk a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AllowThunk a) → String Source #
Typeable a ⇒ NoThunks (InspectHeap a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → InspectHeap a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InspectHeap a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InspectHeap a) → String Source #
Typeable a ⇒ NoThunks (OnlyCheckWhnf a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → OnlyCheckWhnf a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OnlyCheckWhnf a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OnlyCheckWhnf a) → String Source #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods noThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (HardForkBlock xs)) → String Source #
NoThunks (Header (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (DualBlock m a)) → String Source #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (DualBlock m a)) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods noThunks ∷ Context → RealPoint blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RealPoint blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RealPoint blk) → String Source #
ConsensusProtocol proto ⇒ NoThunks (SelectViewTentativeState proto) Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining Methods noThunks ∷ Context → SelectViewTentativeState proto → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SelectViewTentativeState proto → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SelectViewTentativeState proto) → String Source #
NoThunks (BlockchainTime m) Source #
Instance details Defined in Ouroboros.Consensus.BlockchainTime.API Methods noThunks ∷ Context → BlockchainTime m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockchainTime m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockchainTime m) → String Source #
NoThunks (SystemTime m) Source #
Instance details Defined in Ouroboros.Consensus.BlockchainTime.WallClock.Types Methods noThunks ∷ Context → SystemTime m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SystemTime m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SystemTime m) → String Source #
NoThunks (HeaderHash blk) ⇒ NoThunks (CheckpointsMap blk) Source #
Instance details Defined in Ouroboros.Consensus.Config Methods noThunks ∷ Context → CheckpointsMap blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CheckpointsMap blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CheckpointsMap blk) → String Source #
(ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (TopLevelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.Config Methods noThunks ∷ Context → TopLevelConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TopLevelConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TopLevelConfig blk) → String Source #
CanHardFork xs ⇒ NoThunks (MismatchEraInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MismatchEraInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MismatchEraInfo xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraEnvelopeErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraEnvelopeErr xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTx xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTx xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraGenTxId xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraGenTxId xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraGenTxId xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraHeader xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHeader xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHeader xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraLedgerError xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraLedgerError xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraSelectView xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraSelectView xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraSelectView xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraTentativeHeaderState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTentativeHeaderState xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTentativeHeaderState xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraValidatedGenTx xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraValidatedGenTx xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraValidatedGenTx xs) → String Source #
CanHardFork xs ⇒ NoThunks (OneEraValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraValidationErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraValidationErr xs) → String Source #
CanHardFork xs ⇒ NoThunks (PerEraBlockConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraBlockConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraBlockConfig xs) → String Source #
CanHardFork xs ⇒ NoThunks (PerEraCodecConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraCodecConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraCodecConfig xs) → String Source #
CanHardFork xs ⇒ NoThunks (PerEraConsensusConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraConsensusConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraConsensusConfig xs) → String Source #
CanHardFork xs ⇒ NoThunks (PerEraLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraLedgerConfig xs) → String Source #
CanHardFork xs ⇒ NoThunks (PerEraStorageConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerEraStorageConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PerEraStorageConfig xs) → String Source #
CanHardFork xs ⇒ NoThunks (HardForkLedgerConfig xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerConfig xs) → String Source #
NoThunks (LedgerEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods noThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerEraInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerEraInfo blk) → String Source #
NoThunks (SingleEraInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Info Methods noThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SingleEraInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SingleEraInfo blk) → String Source #
CanHardFork xs ⇒ NoThunks (HardForkEnvelopeErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkEnvelopeErr xs) → String Source #
CanHardFork xs ⇒ NoThunks (HardForkLedgerError xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkLedgerError xs) → String Source #
NoThunks (PartialConsensusConfig (BlockProtocol blk)) ⇒ NoThunks (WrapPartialConsensusConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.PartialConfig Methods noThunks ∷ Context → WrapPartialConsensusConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapPartialConsensusConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapPartialConsensusConfig blk) → String Source #
NoThunks (PartialLedgerConfig blk) ⇒ NoThunks (WrapPartialLedgerConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.PartialConfig Methods noThunks ∷ Context → WrapPartialLedgerConfig blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapPartialLedgerConfig blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapPartialLedgerConfig blk) → String Source #
CanHardFork xs ⇒ NoThunks (HardForkSelectView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods noThunks ∷ Context → HardForkSelectView xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkSelectView xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkSelectView xs) → String Source #
CanHardFork xs ⇒ NoThunks (HardForkValidationErr xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol Methods noThunks ∷ Context → HardForkValidationErr xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkValidationErr xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkValidationErr xs) → String Source #
NoThunks (EraTranslation xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Translation Methods noThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EraTranslation xs) → String Source #
NoThunks (Shape xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Summary Methods noThunks ∷ Context → Shape xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Shape xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Shape xs) → String Source #
NoThunks (Summary xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Summary Methods noThunks ∷ Context → Summary xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Summary xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Summary xs) → String Source #
(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderStateHistory blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderStateHistory Methods noThunks ∷ Context → HeaderStateHistory blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderStateHistory blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HeaderStateHistory blk) → String Source #
(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderStateWithTime blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderStateHistory Methods noThunks ∷ Context → HeaderStateWithTime blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderStateWithTime blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HeaderStateWithTime blk) → String Source #
HasAnnTip blk ⇒ NoThunks (AnnTip blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods noThunks ∷ Context → AnnTip blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AnnTip blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AnnTip blk) → String Source #
ValidateEnvelope blk ⇒ NoThunks (HeaderEnvelopeError blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods noThunks ∷ Context → HeaderEnvelopeError blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderEnvelopeError blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HeaderEnvelopeError blk) → String Source #
(BlockSupportsProtocol blk, ValidateEnvelope blk) ⇒ NoThunks (HeaderError blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods noThunks ∷ Context → HeaderError blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderError blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HeaderError blk) → String Source #
(BlockSupportsProtocol blk, HasAnnTip blk) ⇒ NoThunks (HeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods noThunks ∷ Context → HeaderState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HeaderState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HeaderState blk) → String Source #
StandardHash blk ⇒ NoThunks (TipInfoIsEBB blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods noThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TipInfoIsEBB blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TipInfoIsEBB blk) → String Source #
CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #
NoThunks (Validated (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
NoThunks (LedgerState (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (DualBlock m a)) → String Source #
(ConsensusProtocol (BlockProtocol blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (LedgerConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) ⇒ NoThunks (ExtLedgerCfg blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks ∷ Context → ExtLedgerCfg blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExtLedgerCfg blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ExtLedgerCfg blk) → String Source #
LedgerSupportsProtocol blk ⇒ NoThunks (ExtLedgerState blk) Source #	We override `showTypeOf` to show the type of the block This makes debugging a bit easier, as the block gets used to resolve all kinds of type families.
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks ∷ Context → ExtLedgerState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExtLedgerState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ExtLedgerState blk) → String Source #
LedgerSupportsProtocol blk ⇒ NoThunks (ExtValidationError blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods noThunks ∷ Context → ExtValidationError blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExtValidationError blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ExtValidationError blk) → String Source #
CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #
NoThunks (GenTx (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (DualBlock m a)) → String Source #
NoThunks a ⇒ NoThunks (IgnoringOverflow a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.SupportsMempool Methods noThunks ∷ Context → IgnoringOverflow a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IgnoringOverflow a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IgnoringOverflow a) → String Source #
CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods noThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #
NoThunks (TxId (GenTx (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #
(NoThunks (Validated (GenTx blk)), NoThunks (GenTxId blk), NoThunks (Ticked (LedgerState blk)), NoThunks (TxMeasure blk), StandardHash blk, Typeable blk) ⇒ NoThunks (InternalState blk) Source #
Instance details Defined in Ouroboros.Consensus.Mempool.Impl.Common Methods noThunks ∷ Context → InternalState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InternalState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InternalState blk) → String Source #
NoThunks a ⇒ NoThunks (Our a) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client Methods noThunks ∷ Context → Our a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Our a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Our a) → String Source #
NoThunks a ⇒ NoThunks (Their a) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client Methods noThunks ∷ Context → Their a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Their a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Their a) → String Source #
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (Instruction blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping Methods noThunks ∷ Context → Instruction blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Instruction blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Instruction blk) → String Source #
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (JumpInstruction blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping Methods noThunks ∷ Context → JumpInstruction blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → JumpInstruction blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (JumpInstruction blk) → String Source #
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (JumpResult blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping Methods noThunks ∷ Context → JumpResult blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → JumpResult blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (JumpResult blk) → String Source #
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncJumpingJumperState blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ChainSyncJumpingJumperState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncJumpingJumperState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncJumpingJumperState blk) → String Source #
(HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncState blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ChainSyncState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncState blk) → String Source #
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (DynamoInitState blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → DynamoInitState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DynamoInitState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DynamoInitState blk) → String Source #
LedgerSupportsProtocol blk ⇒ NoThunks (JumpInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → JumpInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → JumpInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (JumpInfo blk) → String Source #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) Source #
Instance details 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 #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (Bft c)) → String Source #
ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p s)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel Methods noThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p s)) → String Source #
NoThunks (ConsensusConfig (PBft c)) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (PBft c)) → String Source #
PBftCrypto c ⇒ NoThunks (PBftCanBeLeader c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftCanBeLeader c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftCanBeLeader c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftCanBeLeader c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftCannotForge c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftCannotForge c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftCannotForge c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftCannotForge c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftIsLeader c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftIsLeader c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftIsLeader c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftIsLeader c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftLedgerView c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftLedgerView c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftLedgerView c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftLedgerView c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftValidationErr c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftValidationErr c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftValidationErr c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftValidationErr c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftSigner c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.State Methods noThunks ∷ Context → PBftSigner c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftSigner c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftSigner c) → String Source #
PBftCrypto c ⇒ NoThunks (PBftState c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT.State Methods noThunks ∷ Context → PBftState c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftState c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftState c) → String Source #
NoThunks a ⇒ NoThunks (LoE a) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Methods noThunks ∷ Context → LoE a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LoE a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LoE a) → String Source #
NoThunks (InvalidBlockPunishment m) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API.Types.InvalidBlockPunishment Methods noThunks ∷ Context → InvalidBlockPunishment m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InvalidBlockPunishment m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InvalidBlockPunishment m) → String Source #
StandardHash blk ⇒ NoThunks (FollowerRollState blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → FollowerRollState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FollowerRollState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FollowerRollState blk) → String Source #
LedgerSupportsProtocol blk ⇒ NoThunks (InvalidBlockInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → InvalidBlockInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InvalidBlockInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InvalidBlockInfo blk) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (StreamFrom blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Common Methods noThunks ∷ Context → StreamFrom blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StreamFrom blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StreamFrom blk) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (StreamTo blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Common Methods noThunks ∷ Context → StreamTo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StreamTo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StreamTo blk) → String Source #
StandardHash blk ⇒ NoThunks (Tip blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.API Methods noThunks ∷ Context → Tip blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tip blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tip blk) → String Source #
StandardHash blk ⇒ NoThunks (Entry blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index.Secondary Methods noThunks ∷ Context → Entry blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Entry blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Entry blk) → String Source #
NoThunks a ⇒ NoThunks (WithBlockSize a) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Types Methods noThunks ∷ Context → WithBlockSize a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithBlockSize a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithBlockSize a) → String Source #
NoThunks l ⇒ NoThunks (Checkpoint l) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.LedgerDB Methods noThunks ∷ Context → Checkpoint l → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Checkpoint l → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Checkpoint l) → String Source #
NoThunks l ⇒ NoThunks (LedgerDB l) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.LedgerDB Methods noThunks ∷ Context → LedgerDB l → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerDB l → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerDB l) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (BlockInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.API Methods noThunks ∷ Context → BlockInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockInfo blk) → String Source #
StandardHash blk ⇒ NoThunks (FileInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.FileInfo Methods noThunks ∷ Context → FileInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FileInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FileInfo blk) → String Source #
StandardHash blk ⇒ NoThunks (Index blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Index Methods noThunks ∷ Context → Index blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Index blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Index blk) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (InternalBlockInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.Types Methods noThunks ∷ Context → InternalBlockInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InternalBlockInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InternalBlockInfo blk) → String Source #
CanHardFork xs ⇒ NoThunks (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (HardForkBlock xs)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (HardForkBlock xs))) → String Source #
NoThunks (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a))) → String Source #
NoThunks (ChainDepState (BlockProtocol blk)) ⇒ NoThunks (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapChainDepState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapChainDepState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapChainDepState blk) → String Source #
NoThunks (OtherHeaderEnvelopeError blk) ⇒ NoThunks (WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapEnvelopeErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapEnvelopeErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapEnvelopeErr blk) → String Source #
NoThunks (GenTxId blk) ⇒ NoThunks (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapGenTxId blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapGenTxId blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapGenTxId blk) → String Source #
NoThunks (LedgerError blk) ⇒ NoThunks (WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapLedgerErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapLedgerErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapLedgerErr blk) → String Source #
NoThunks (SelectView (BlockProtocol blk)) ⇒ NoThunks (WrapSelectView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapSelectView blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapSelectView blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapSelectView blk) → String Source #
NoThunks (TentativeHeaderState blk) ⇒ NoThunks (WrapTentativeHeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTentativeHeaderState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTentativeHeaderState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTentativeHeaderState blk) → String Source #
NoThunks (TipInfo blk) ⇒ NoThunks (WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTipInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTipInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTipInfo blk) → String Source #
NoThunks (Validated (GenTx blk)) ⇒ NoThunks (WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapValidatedGenTx blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapValidatedGenTx blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapValidatedGenTx blk) → String Source #
NoThunks (ValidationErr (BlockProtocol blk)) ⇒ NoThunks (WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapValidationErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapValidationErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapValidationErr blk) → String Source #
NoThunks (StrictMVar m ()) ⇒ NoThunks (Fuse m) Source #
Instance details Defined in Ouroboros.Consensus.Util Methods noThunks ∷ Context → Fuse m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Fuse m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Fuse m) → String Source #
NoThunks (m ()) ⇒ NoThunks (Config m) Source #
Instance details Defined in Ouroboros.Consensus.Util.LeakyBucket Methods noThunks ∷ Context → Config m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Config m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Config m) → String Source #
NoThunks (m ()) ⇒ NoThunks (State m) Source #
Instance details Defined in Ouroboros.Consensus.Util.LeakyBucket Methods noThunks ∷ Context → State m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → State m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (State m) → String Source #
NoThunks a ⇒ NoThunks (WithFingerprint a) Source #
Instance details Defined in Ouroboros.Consensus.Util.STM Methods noThunks ∷ Context → WithFingerprint a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithFingerprint a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithFingerprint a) → String Source #
StandardHash block ⇒ NoThunks (Anchor block)
Instance details Defined in Ouroboros.Network.AnchoredFragment Methods noThunks ∷ Context → Anchor block → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Anchor block → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Anchor block) → String Source #
NoThunks (BuiltinSemanticsVariant DefaultFun)
Instance details 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)
Instance details Defined in PlutusCore.Builtin.Runtime Methods noThunks ∷ Context → BuiltinRuntime val → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BuiltinRuntime val → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BuiltinRuntime val) → String Source #
AllBF NoThunks f CekMachineCostsBase ⇒ NoThunks (CekMachineCostsBase f)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods noThunks ∷ Context → CekMachineCostsBase f → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CekMachineCostsBase f → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CekMachineCostsBase f) → String Source #
NoThunks st ⇒ NoThunks (Poisonable st)
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → Poisonable st → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Poisonable st → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Poisonable st) → String Source #
NoThunks (Context m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context0 → Context m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context0 → Context m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Context m) → String Source #
NoThunks (KnownThreads m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → KnownThreads m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KnownThreads m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KnownThreads m) → String Source #
NoThunks (RegistryState m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → RegistryState m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RegistryState m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RegistryState m) → String Source #
NoThunks (Release m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → Release m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Release m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Release m) → String Source #
NoThunks (Resource m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → Resource m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Resource m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Resource m) → String Source #
NoThunks (ResourceRegistry m) ⇒ NoThunks (ResourceKey m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → ResourceKey m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ResourceKey m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ResourceKey m) → String Source #
(∀ a. NoThunks a ⇒ NoThunks (StrictTVar m a)) ⇒ NoThunks (ResourceRegistry m)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → ResourceRegistry m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ResourceRegistry m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ResourceRegistry m) → String Source #
NoThunks (TransferredTo st)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → TransferredTo st → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransferredTo st → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransferredTo st) → String Source #
NoThunks a ⇒ NoThunks (Threshold a)
Instance details Defined in Control.State.Transition.Extended Methods noThunks ∷ Context → Threshold a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Threshold a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Threshold a) → String Source #
NoThunks a ⇒ NoThunks (Vector a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Vector a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Vector a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Vector a) → String Source #
NoThunks (Vector a)	Unboxed vectors can't contain thunks Implementation note: defined manually rather than using `OnlyCheckWhnf` due to ghc limitation in deriving via, making it impossible to use with it with data families.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Vector a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Vector a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Vector a) → String Source #
NoThunks a ⇒ NoThunks (Maybe a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Maybe a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Maybe a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Maybe a) → String Source #
NoThunks a ⇒ NoThunks (a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a) → String Source #
NoThunks a ⇒ NoThunks [a]
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → [a] → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → [a] → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy [a] → String Source #
(NoThunks a, NoThunks b) ⇒ NoThunks (Either a b)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Either a b) → String Source #
(NoThunks a, NoThunks b) ⇒ NoThunks (Arg a b)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Arg a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Arg a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Arg a b) → String Source #
DSIGNAlgorithm v ⇒ NoThunks (SignedDSIGN v a)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods noThunks ∷ Context → SignedDSIGN v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignedDSIGN v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignedDSIGN v a) → String Source #
NoThunks (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods noThunks ∷ Context → Hash h a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Hash h a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Hash h a) → String Source #
KESAlgorithm v ⇒ NoThunks (SignedKES v a)
Instance details Defined in Cardano.Crypto.KES.Class Methods noThunks ∷ Context → SignedKES v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SignedKES v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SignedKES v a) → String Source #
VRFAlgorithm v ⇒ NoThunks (CertifiedVRF v a)
Instance details Defined in Cardano.Crypto.VRF.Class Methods noThunks ∷ Context → CertifiedVRF v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CertifiedVRF v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CertifiedVRF v a) → String Source #
NoThunks (AbstractHash algo a)
Instance details Defined in Cardano.Crypto.Hashing Methods noThunks ∷ Context → AbstractHash algo a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AbstractHash algo a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AbstractHash algo a) → String Source #
(NoThunks b, NoThunks a) ⇒ NoThunks (Annotated b a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.Annotated Methods noThunks ∷ Context → Annotated b a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Annotated b a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Annotated b a) → String Source #
NoThunks a ⇒ NoThunks (BoundedRatio b a)
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → BoundedRatio b a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BoundedRatio b a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BoundedRatio b a) → String Source #
NoThunks a ⇒ NoThunks (Mismatch r a)
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks ∷ Context → Mismatch r a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Mismatch r a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Mismatch r a) → String Source #
NoThunks a ⇒ NoThunks (StrictFingerTree v a)
Instance details Defined in Data.FingerTree.Strict Methods noThunks ∷ Context → StrictFingerTree v a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictFingerTree v a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictFingerTree v a) → String Source #
NoThunks (Decoder s a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → Decoder s a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Decoder s a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Decoder s a) → String Source #
(NoThunks k, NoThunks v) ⇒ NoThunks (Map k v)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Map k v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Map k v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Map k v) → String Source #
NoThunks (Tracer m ev) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → Tracer m ev → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tracer m ev → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tracer m ev) → String Source #
(HasFields s a, Generic a, Typeable a, GWNoThunks s (Rep a)) ⇒ NoThunks (AllowThunksIn s a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → AllowThunksIn s a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AllowThunksIn s a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AllowThunksIn s a) → String Source #
KnownSymbol name ⇒ NoThunks (InspectHeapNamed name a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → InspectHeapNamed name a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InspectHeapNamed name a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InspectHeapNamed name a) → String Source #
KnownSymbol name ⇒ NoThunks (OnlyCheckWhnfNamed name a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → OnlyCheckWhnfNamed name a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OnlyCheckWhnfNamed name a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OnlyCheckWhnfNamed name a) → String Source #
NoThunks (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OneEraHash xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OneEraHash xs) → String Source #
NoThunks (f blk) ⇒ NoThunks (Current f blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods noThunks ∷ Context → Current f blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Current f blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Current f blk) → String Source #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ NoThunks (f blk)) ⇒ NoThunks (HardForkState f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances Methods noThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (HardForkState f xs) → String Source #
NoThunks (DualLedgerConfig m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → DualLedgerConfig m a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DualLedgerConfig m a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DualLedgerConfig m a) → String Source #
NoThunks (DualLedgerError m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → DualLedgerError m a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DualLedgerError m a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DualLedgerError m a) → String Source #
(NoThunks tx, NoThunks sz) ⇒ NoThunks (TxSeq sz tx) Source #
Instance details Defined in Ouroboros.Consensus.Mempool.TxSeq Methods noThunks ∷ Context → TxSeq sz tx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxSeq sz tx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxSeq sz tx) → String Source #
(NoThunks tx, NoThunks sz) ⇒ NoThunks (TxTicket sz tx) Source #
Instance details Defined in Ouroboros.Consensus.Mempool.TxSeq Methods noThunks ∷ Context → TxTicket sz tx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxTicket sz tx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxTicket sz tx) → String Source #
(IOLike m, HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncStateView m blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client Methods noThunks ∷ Context → ChainSyncStateView m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncStateView m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncStateView m blk) → String Source #
(IOLike m, HasHeader blk, NoThunks (Header blk)) ⇒ NoThunks (Jumping m blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.Jumping Methods noThunks ∷ Context → Jumping m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Jumping m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Jumping m blk) → String Source #
(IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncClientHandle m blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ChainSyncClientHandle m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncClientHandle m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncClientHandle m blk) → String Source #
(IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) ⇒ NoThunks (ChainSyncJumpingState m blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ChainSyncJumpingState m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncJumpingState m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncJumpingState m blk) → String Source #
(BftCrypto c, Typeable toSign) ⇒ NoThunks (BftFields c toSign) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → BftFields c toSign → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BftFields c toSign → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BftFields c toSign) → String Source #
(PBftCrypto c, Typeable toSign) ⇒ NoThunks (PBftFields c toSign) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → PBftFields c toSign → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PBftFields c toSign → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PBftFields c toSign) → String Source #
(IOLike m, LedgerSupportsProtocol blk) ⇒ NoThunks (LgrDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.LgrDB Methods noThunks ∷ Context → LgrDB m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LgrDB m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LgrDB m blk) → String Source #
(IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk) ⇒ NoThunks (ChainDbEnv m blk) Source #	We include `blk` in `showTypeOf` because it helps resolving type families (but avoid including `m` because we cannot impose `Typeable m` as a constraint and still have it work with the simulator)
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → ChainDbEnv m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainDbEnv m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainDbEnv m blk) → String Source #
(IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk) ⇒ NoThunks (ChainDbState m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → ChainDbState m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainDbState m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainDbState m blk) → String Source #
NoThunks (ChainSelQueue m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → ChainSelQueue m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSelQueue m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSelQueue m blk) → String Source #
NoThunks (FollowerHandle m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → FollowerHandle m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FollowerHandle m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FollowerHandle m blk) → String Source #
NoThunks (ImmutableDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.API Methods noThunks ∷ Context → ImmutableDB m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ImmutableDB m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ImmutableDB m blk) → String Source #
NoThunks (VolatileDB m blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.API Methods noThunks ∷ Context → VolatileDB m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VolatileDB m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VolatileDB m blk) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (InternalState blk h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.State Methods noThunks ∷ Context → InternalState blk h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InternalState blk h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InternalState blk h) → String Source #
(StandardHash blk, Typeable blk) ⇒ NoThunks (OpenState blk h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.VolatileDB.Impl.State Methods noThunks ∷ Context → OpenState blk h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OpenState blk h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OpenState blk h) → String Source #
(∀ a'. NoThunks (m a')) ⇒ NoThunks (WithEarlyExit m a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → WithEarlyExit m a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithEarlyExit m a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithEarlyExit m a) → String Source #
NoThunks a ⇒ NoThunks (StrictSVar IO a) Source #
Instance details Defined in Ouroboros.Consensus.Util.MonadSTM.StrictSVar Methods noThunks ∷ Context → StrictSVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictSVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictSVar IO a) → String Source #
NoThunks (StrictSVar m a) ⇒ NoThunks (StrictSVar (WithEarlyExit m) a) Source #
Instance details 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 #
(StandardHash block, Typeable block) ⇒ NoThunks (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods noThunks ∷ Context → ChainHash block → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainHash block → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainHash block) → String Source #
StandardHash block ⇒ NoThunks (Point block)
Instance details Defined in Ouroboros.Network.Block Methods noThunks ∷ Context → Point block → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Point block → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Point block) → String Source #
StandardHash b ⇒ NoThunks (Tip b)
Instance details Defined in Ouroboros.Network.Block Methods noThunks ∷ Context → Tip b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tip b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tip b) → String Source #
(NoThunks slot, NoThunks hash) ⇒ NoThunks (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Methods noThunks ∷ Context → Block slot hash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Block slot hash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Block slot hash) → String Source #
(Bounded fun, Enum fun) ⇒ NoThunks (BuiltinsRuntime fun val)
Instance details Defined in PlutusCore.Builtin.Runtime Methods noThunks ∷ Context → BuiltinsRuntime fun val → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BuiltinsRuntime fun val → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BuiltinsRuntime fun val) → String Source #
(NoThunks p, NoThunks v, Ord p) ⇒ NoThunks (IntPSQ p v) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → IntPSQ p v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IntPSQ p v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IntPSQ p v) → String Source #
(NoThunks (StrictTMVar m (Poisonable st)), NoThunks (StrictMVar m ()), NoThunks (StrictTVar m (Poisonable RAWState))) ⇒ NoThunks (RAWLock m st)
Instance details Defined in Control.RAWLock Methods noThunks ∷ Context → RAWLock m st → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RAWLock m st → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RAWLock m st) → String Source #
NoThunks (Thread m a)
Instance details Defined in Control.ResourceRegistry Methods noThunks ∷ Context → Thread m a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Thread m a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Thread m a) → String Source #
NoThunks (StrictMVar IO a) ⇒ NoThunks (StrictMVar IO a) Source #
Instance details Defined in Ouroboros.Consensus.Util.NormalForm.StrictMVar Methods noThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMVar IO a) → String Source #
NoThunks (StrictTVar IO a) ⇒ NoThunks (StrictTVar IO a) Source #
Instance details Defined in Ouroboros.Consensus.Util.NormalForm.StrictTVar Methods noThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTVar IO a) → String Source #
NoThunks a ⇒ NoThunks (StrictMVar IO a) Source #
Instance details Defined in Ouroboros.Consensus.Util.IOLike Methods noThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMVar IO a) → String Source #
NoThunks (StrictMVar m a) ⇒ NoThunks (StrictMVar (WithEarlyExit m) a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMVar (WithEarlyExit m) a) → String Source #
NoThunks a ⇒ NoThunks (StrictTVar IO a) Source #
Instance details Defined in Ouroboros.Consensus.Util.IOLike Methods noThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTVar IO a) → String Source #
NoThunks (StrictTVar m a) ⇒ NoThunks (StrictTVar (WithEarlyExit m) a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictTVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTVar (WithEarlyExit m) a) → String Source #
(NoThunks a, NoThunks b) ⇒ NoThunks (a, b)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b) → String Source #
NoThunks (a → b)	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 `checkContainsThunks`: we can't recursively call `noThunks` on those captured values, which is problematic if any of those captured values requires a custom instance (for example, data types that depend on laziness, such as `Seq`). 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 `InspectHeap (a -> b)` instead.
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a → b) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a → b) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a → b) → String Source #
NoThunks (f a) ⇒ NoThunks (Ap f a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Ap f a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ap f a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ap f a) → String Source #
NoThunks (f a) ⇒ NoThunks (Alt f a)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Alt f a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Alt f a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Alt f a) → String Source #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNP name f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods noThunks ∷ Context → LiftNamedNP name f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LiftNamedNP name f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LiftNamedNP name f xs) → String Source #
(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNS name f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods noThunks ∷ Context → LiftNamedNS name f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LiftNamedNS name f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LiftNamedNS name f xs) → String Source #
NoThunks (f a) ⇒ NoThunks (WithBlockNo f a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel Methods noThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithBlockNo f a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithBlockNo f a) → String 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 #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State Methods noThunks ∷ Context → ChainSyncClientHandleCollection peer m blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainSyncClientHandleCollection peer m blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainSyncClientHandleCollection peer m blk) → String Source #
StandardHash blk ⇒ NoThunks (FollowerState m blk b) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Types Methods noThunks ∷ Context → FollowerState m blk b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FollowerState m blk b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (FollowerState m blk b) → String Source #
NoThunks (Iterator m blk b) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.API Methods noThunks ∷ Context → Iterator m blk b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Iterator m blk b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Iterator m blk b) → String Source #
NoThunks (Index m blk h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.Index Methods noThunks ∷ Context → Index m blk h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Index m blk h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Index m blk h) → String Source #
StandardHash blk ⇒ NoThunks (InternalState m blk h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.State Methods noThunks ∷ Context → InternalState m blk h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → InternalState m blk h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (InternalState m blk h) → String Source #
StandardHash blk ⇒ NoThunks (OpenState m blk h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Impl.State Methods noThunks ∷ Context → OpenState m blk h → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OpenState m blk h → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (OpenState m blk h) → String Source #
NoThunks (LedgerCfg l) ⇒ NoThunks (Complete LedgerDbCfgF l) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.LedgerDB Methods noThunks ∷ Context → Complete LedgerDbCfgF l → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Complete LedgerDbCfgF l → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Complete LedgerDbCfgF l) → String Source #
(NoThunks a, NoThunks b) ⇒ NoThunks (AnchoredSeq v a b)
Instance details Defined in Ouroboros.Network.AnchoredSeq Methods noThunks ∷ Context → AnchoredSeq v a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AnchoredSeq v a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AnchoredSeq v a b) → String Source #
NoThunks b ⇒ NoThunks (MeasuredWith v a b)
Instance details Defined in Ouroboros.Network.AnchoredSeq Methods noThunks ∷ Context → MeasuredWith v a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MeasuredWith v a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MeasuredWith v a b) → String Source #
(NoThunks machinecosts, Bounded fun, Enum fun) ⇒ NoThunks (MachineParameters machinecosts fun val)
Instance details Defined in PlutusCore.Evaluation.Machine.MachineParameters Methods noThunks ∷ Context → MachineParameters machinecosts fun val → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MachineParameters machinecosts fun val → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MachineParameters machinecosts fun val) → String Source #
NoThunks a ⇒ NoThunks (K a b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods noThunks ∷ Context → K a b → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → K a b → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (K a b) → String Source #
All (Compose NoThunks f) xs ⇒ NoThunks (NP f xs)
Instance details Defined in Data.SOP.Strict.NP Methods noThunks ∷ Context → NP f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NP f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NP f xs) → String Source #
All (Compose NoThunks f) xs ⇒ NoThunks (NS f xs)
Instance details Defined in Data.SOP.Strict.NS Methods noThunks ∷ Context → NS f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NS f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NS f xs) → String Source #
(NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) ⇒ NoThunks (KVVector kv vv (k, v))
Instance details Defined in Data.VMap.KVVector Methods noThunks ∷ Context → KVVector kv vv (k, v) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KVVector kv vv (k, v) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KVVector kv vv (k, v)) → String Source #
(NoThunks a, NoThunks b, NoThunks c) ⇒ NoThunks (a, b, c)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b, c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b, c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b, c) → String 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods noThunks ∷ Context → LiftNamedMismatch name f g xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LiftNamedMismatch name f g xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LiftNamedMismatch name f g xs) → String 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 #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Lifting Methods noThunks ∷ Context → LiftNamedTelescope name f g xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LiftNamedTelescope name f g xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LiftNamedTelescope name f g xs) → String Source #
(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 `InspectHeap` for convenience.
Instance details 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)
Instance details Defined in Data.SOP.Match Methods noThunks ∷ Context → Mismatch f g xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Mismatch f g xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Mismatch f g xs) → String Source #
(All (Compose NoThunks g) xs, All (Compose NoThunks f) xs) ⇒ NoThunks (Telescope g f xs)
Instance details Defined in Data.SOP.Telescope Methods noThunks ∷ Context → Telescope g f xs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Telescope g f xs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Telescope g f xs) → String Source #
(NoThunks (kv k), NoThunks (vv v), Typeable kv, Typeable vv, Typeable k, Typeable v) ⇒ NoThunks (VMap kv vv k v)
Instance details Defined in Data.VMap Methods noThunks ∷ Context → VMap kv vv k v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VMap kv vv k v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VMap kv vv k v) → String Source #
(NoThunks a, NoThunks b, NoThunks c, NoThunks d) ⇒ NoThunks (a, b, c, d)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b, c, d) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b, c, d) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b, c, d) → String Source #
NoThunks (Ticked (f a)) ⇒ NoThunks ((Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ((Ticked :.: f) a) → String Source #
NoThunks (f y2 x2) ⇒ NoThunks (Flip f x2 y2)
Instance details Defined in Data.SOP.Functors Methods noThunks ∷ Context → Flip f x2 y2 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Flip f x2 y2 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Flip f x2 y2) → String Source #
(NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e) ⇒ NoThunks (a, b, c, d, e)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b, c, d, e) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b, c, d, e) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b, c, d, e) → String Source #
(NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e, NoThunks f) ⇒ NoThunks (a, b, c, d, e, f)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b, c, d, e, f) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b, c, d, e, f) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b, c, d, e, f) → String Source #
(NoThunks a, NoThunks b, NoThunks c, NoThunks d, NoThunks e, NoThunks f, NoThunks g) ⇒ NoThunks (a, b, c, d, e, f, g)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → (a, b, c, d, e, f, g) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (a, b, c, d, e, f, g) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (a, b, c, d, e, f, g) → String Source #

Orphan instances

NoThunks a ⇒ NoThunks (StrictMVar IO a) Source #
Instance details Methods noThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMVar IO a) → String Source #
NoThunks a ⇒ NoThunks (StrictTVar IO a) Source #
Instance details Methods noThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTVar IO a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTVar IO a) → String Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result