disco-0.1.5: Functional programming language for teaching discrete math.
Copyrightdisco team and contributors
LicenseBSD-3-Clause
Maintainerbyorgey@gmail.com
Safe HaskellNone
LanguageHaskell2010

Disco.Messages

Description

Message logging framework (e.g. for errors, warnings, etc.) for disco.

Documentation

data MessageType Source #

Constructors

Info 
Warning 
ErrMsg 
Debug 

Instances

Instances details
Bounded MessageType Source # 
Instance details

Defined in Disco.Messages

Enum MessageType Source # 
Instance details

Defined in Disco.Messages

Eq MessageType Source # 
Instance details

Defined in Disco.Messages

Ord MessageType Source # 
Instance details

Defined in Disco.Messages

Read MessageType Source # 
Instance details

Defined in Disco.Messages

Show MessageType Source # 
Instance details

Defined in Disco.Messages

data Message Source #

Constructors

Message 

Instances

Instances details
Show Message Source # 
Instance details

Defined in Disco.Messages

handleMsg :: Member (Embed IO) r => (Message -> Bool) -> Message -> Sem r () Source #

info :: Member (Output Message) r => Sem r Doc -> Sem r () Source #

infoPretty :: (Member (Output Message) r, Pretty t) => t -> Sem r () Source #

warn :: Member (Output Message) r => Sem r Doc -> Sem r () Source #

debug :: Member (Output Message) r => Sem r Doc -> Sem r () Source #

debugPretty :: (Member (Output Message) r, Pretty t) => t -> Sem r () Source #

err :: Member (Output Message) r => Sem r Doc -> Sem r () Source #