Safe Haskell	None
Language	Haskell2010

PlutusCore.Builtin.Emitter

Synopsis

newtype Emitter a = Emitter {
- unEmitter :: Writer (DList Text) a
}
runEmitter :: Emitter a -> (a, DList Text)
emit :: Text -> Emitter ()

Documentation

newtype Emitter a Source #

A monad for logging.

Constructors

Emitter
Fields unEmitter :: Writer (DList Text) a

Instances

Instances details

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 #
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 #
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 #
(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 :: Maybe cause -> val -> ReadKnownM cause (Emitter a) Source #
MakeKnownIn uni val a => MakeKnownIn uni val (Emitter a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods makeKnown :: Maybe cause -> Emitter a -> MakeKnownM cause val Source #
KnownTypeAst uni a => KnownTypeAst uni (Emitter a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst Associated Types type ToHoles (Emitter a) :: [Hole] Source # type ToBinds (Emitter a) :: [Some TyNameRep] Source # Methods toTypeAst :: proxy (Emitter a) -> Type0 TyName uni () Source #
type ToHoles (Emitter a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToHoles (Emitter a :: Type) = '[TypeHole a :: Hole]
type ToBinds (Emitter a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToBinds (Emitter a :: Type) = ToBinds a

runEmitter :: Emitter a -> (a, DList Text) Source #

emit :: Text -> Emitter () Source #