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 #