plutus-contract-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Trace.Tag

Synopsis

Documentation

newtype Tag Source #

A human-readable piece of data, used to identify threads and contract instances. See note [Thread Tag]

Constructors

Tag 

Fields

Instances

Instances details
Eq Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Methods

(==) :: Tag -> Tag -> Bool Source #

(/=) :: Tag -> Tag -> Bool Source #

Ord Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Methods

compare :: Tag -> Tag -> Ordering Source #

(<) :: Tag -> Tag -> Bool Source #

(<=) :: Tag -> Tag -> Bool Source #

(>) :: Tag -> Tag -> Bool Source #

(>=) :: Tag -> Tag -> Bool Source #

max :: Tag -> Tag -> Tag Source #

min :: Tag -> Tag -> Tag Source #

Show Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

IsString Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Generic Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Associated Types

type Rep Tag :: Type -> Type Source #

Methods

from :: Tag -> Rep Tag x Source #

to :: Rep Tag x -> Tag Source #

ToJSON Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

FromJSON Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Pretty Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

Methods

pretty :: Tag -> Doc ann Source #

prettyList :: [Tag] -> Doc ann Source #

type Rep Tag Source # 
Instance details

Defined in Plutus.Trace.Tag

type Rep Tag = D1 ('MetaData "Tag" "Plutus.Trace.Tag" "plutus-contract-0.1.0.0-2DbvKQdtEvHK4UkDq1ndDW" 'True) (C1 ('MetaCons "Tag" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))