plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Trace

Documentation

data SchedulerLog Source #

Instances

Instances details
Eq SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Show SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Generic SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Associated Types

type Rep SchedulerLog :: Type -> Type Source #

ToJSON SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

FromJSON SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Pretty SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

type Rep SchedulerLog Source # 
Instance details

Defined in Plutus.Trace.Scheduler

type Rep SchedulerLog = D1 ('MetaData "SchedulerLog" "Plutus.Trace.Scheduler" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" '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

Show ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Generic ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Associated Types

type Rep ThreadEvent :: Type -> Type Source #

ToJSON ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

FromJSON ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

Pretty ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

type Rep ThreadEvent Source # 
Instance details

Defined in Plutus.Trace.Scheduler

type Rep ThreadEvent = D1 ('MetaData "ThreadEvent" "Plutus.Trace.Scheduler" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'False) ((C1 ('MetaCons "Stopped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StopReason)) :+: 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))))