Safe Haskell	None
Language	Haskell2010

Plutus.Trace

Documentation

module Plutus.Trace.Emulator

module Plutus.Trace.Emulator.Extract

data SchedulerLog Source #

Instances

Instances details

Eq SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Methods (==) :: SchedulerLog -> SchedulerLog -> Bool Source # (/=) :: SchedulerLog -> SchedulerLog -> Bool Source #
Show SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Methods showsPrec :: Int -> SchedulerLog -> ShowS Source # show :: SchedulerLog -> String Source # showList :: [SchedulerLog] -> ShowS Source #
Generic SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Associated Types type Rep SchedulerLog :: Type -> Type Source # Methods from :: SchedulerLog -> Rep SchedulerLog x Source # to :: Rep SchedulerLog x -> SchedulerLog Source #
FromJSON SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Methods parseJSON :: Value -> Parser SchedulerLog parseJSONList :: Value -> Parser [SchedulerLog]
ToJSON SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Methods toJSON :: SchedulerLog -> Value toEncoding :: SchedulerLog -> Encoding toJSONList :: [SchedulerLog] -> Value toEncodingList :: [SchedulerLog] -> Encoding
Pretty SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler Methods pretty :: SchedulerLog -> Doc ann prettyList :: [SchedulerLog] -> Doc ann
type Rep SchedulerLog Source #
Instance details Defined in Plutus.Trace.Scheduler type Rep SchedulerLog = D1 ('MetaData "SchedulerLog" "Plutus.Trace.Scheduler" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "SchedulerLog" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slEvent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ThreadEvent) :: S1 ('MetaSel ('Just "slThread") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ThreadId)) :: (S1 ('MetaSel ('Just "slTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tag) :*: S1 ('MetaSel ('Just "slPrio") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Priority))))

data ThreadEvent Source #

Instances

Instances details

Eq ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods (==) :: ThreadEvent -> ThreadEvent -> Bool Source # (/=) :: ThreadEvent -> ThreadEvent -> Bool Source #
Ord ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods compare :: ThreadEvent -> ThreadEvent -> Ordering Source # (<) :: ThreadEvent -> ThreadEvent -> Bool Source # (<=) :: ThreadEvent -> ThreadEvent -> Bool Source # (>) :: ThreadEvent -> ThreadEvent -> Bool Source # (>=) :: ThreadEvent -> ThreadEvent -> Bool Source # max :: ThreadEvent -> ThreadEvent -> ThreadEvent Source # min :: ThreadEvent -> ThreadEvent -> ThreadEvent Source #
Show ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods showsPrec :: Int -> ThreadEvent -> ShowS Source # show :: ThreadEvent -> String Source # showList :: [ThreadEvent] -> ShowS Source #
Generic ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Associated Types type Rep ThreadEvent :: Type -> Type Source # Methods from :: ThreadEvent -> Rep ThreadEvent x Source # to :: Rep ThreadEvent x -> ThreadEvent Source #
FromJSON ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods parseJSON :: Value -> Parser ThreadEvent parseJSONList :: Value -> Parser [ThreadEvent]
ToJSON ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods toJSON :: ThreadEvent -> Value toEncoding :: ThreadEvent -> Encoding toJSONList :: [ThreadEvent] -> Value toEncodingList :: [ThreadEvent] -> Encoding
Pretty ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler Methods pretty :: ThreadEvent -> Doc ann prettyList :: [ThreadEvent] -> Doc ann
type Rep ThreadEvent Source #
Instance details Defined in Plutus.Trace.Scheduler type Rep ThreadEvent = D1 ('MetaData "ThreadEvent" "Plutus.Trace.Scheduler" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) ((C1 ('MetaCons "Stopped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Resumed" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Suspended" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Started" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Thawed" 'PrefixI 'False) (U1 :: Type -> Type))))