plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Builtin.Emitter

Synopsis

Documentation

newtype Emitter a Source #

A monad for logging.

Constructors

Emitter 

Fields

Instances

Instances details
Applicative Emitter Source # 
Instance details

Defined in PlutusCore.Builtin.Emitter

Methods

pure ∷ a → Emitter a Source #

(<*>)Emitter (a → b) → Emitter a → Emitter b Source #

liftA2 ∷ (a → b → c) → Emitter a → Emitter b → Emitter c Source #

(*>)Emitter a → Emitter b → Emitter b Source #

(<*)Emitter a → Emitter b → Emitter a Source #

Functor Emitter Source # 
Instance details

Defined in PlutusCore.Builtin.Emitter

Methods

fmap ∷ (a → b) → Emitter a → Emitter b Source #

(<$) ∷ a → Emitter b → Emitter a Source #

Monad Emitter Source # 
Instance details

Defined in PlutusCore.Builtin.Emitter

Methods

(>>=)Emitter a → (a → Emitter b) → Emitter b Source #

(>>)Emitter a → Emitter b → Emitter b Source #

return ∷ a → Emitter a Source #

MonadEmitter Emitter Source # 
Instance details

Defined in PlutusCore.Builtin.Emitter

Methods

emit ∷ Text → Emitter () Source #

KnownTypeAst tyname uni a ⇒ KnownTypeAst tyname uni (Emitter a ∷ Type) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownTypeAst

Associated Types

type IsBuiltin uni (Emitter a) ∷ Bool Source #

type ToHoles uni (Emitter a) ∷ [Hole] Source #

type ToBinds uni acc (Emitter a) ∷ [Some TyNameRep] Source #

Methods

typeAstType0 tyname uni () Source #

MakeKnownIn uni val a ⇒ MakeKnownIn uni val (Emitter a) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownType

Methods

makeKnownEmitter a → BuiltinResult val Source #

(TypeError ('Text "\8216Emitter\8217 cannot appear in the type of an argument") ∷ Constraint, uni ~ UniOf val) ⇒ ReadKnownIn uni val (Emitter a) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownType

Methods

readKnown ∷ val → ReadKnownM (Emitter a) Source #

type ToBinds uni acc (Emitter a ∷ Type) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownTypeAst

type ToBinds uni acc (Emitter a ∷ Type) = ToBinds uni acc a
type IsBuiltin uni (Emitter a ∷ Type) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownTypeAst

type IsBuiltin uni (Emitter a ∷ Type) = 'False
type ToHoles uni (Emitter a ∷ Type) Source # 
Instance details

Defined in PlutusCore.Builtin.KnownTypeAst

type ToHoles uni (Emitter a ∷ Type) = '[TypeHole a ∷ Hole]

runEmitterEmitter a → (a, DList Text) Source #

class MonadEmitter m where Source #

A type class for "this monad supports logging".

Methods

emit ∷ Text → m () Source #

Instances

Instances details
MonadEmitter Emitter Source # 
Instance details

Defined in PlutusCore.Builtin.Emitter

Methods

emit ∷ Text → Emitter () Source #

MonadEmitter BuiltinResult Source # 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

emit ∷ Text → BuiltinResult () Source #