Copyright	disco team and contributors
License	BSD-3-Clause
Maintainer	byorgey@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

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 Methods minBound :: MessageType # maxBound :: MessageType #
Enum MessageType Source #
Instance details Defined in Disco.Messages Methods succ :: MessageType -> MessageType # pred :: MessageType -> MessageType # toEnum :: Int -> MessageType # fromEnum :: MessageType -> Int # enumFrom :: MessageType -> [MessageType] # enumFromThen :: MessageType -> MessageType -> [MessageType] # enumFromTo :: MessageType -> MessageType -> [MessageType] # enumFromThenTo :: MessageType -> MessageType -> MessageType -> [MessageType] #
Read MessageType Source #
Instance details Defined in Disco.Messages Methods readsPrec :: Int -> ReadS MessageType # readList :: ReadS [MessageType] # readPrec :: ReadPrec MessageType # readListPrec :: ReadPrec [MessageType] #
Show MessageType Source #
Instance details Defined in Disco.Messages Methods showsPrec :: Int -> MessageType -> ShowS # show :: MessageType -> String # showList :: [MessageType] -> ShowS #
Eq MessageType Source #
Instance details Defined in Disco.Messages Methods (==) :: MessageType -> MessageType -> Bool # (/=) :: MessageType -> MessageType -> Bool #
Ord MessageType Source #
Instance details Defined in Disco.Messages Methods compare :: MessageType -> MessageType -> Ordering # (<) :: MessageType -> MessageType -> Bool # (<=) :: MessageType -> MessageType -> Bool # (>) :: MessageType -> MessageType -> Bool # (>=) :: MessageType -> MessageType -> Bool # max :: MessageType -> MessageType -> MessageType # min :: MessageType -> MessageType -> MessageType #

data Message ann Source #

Constructors

Message
Fields _messageType :: MessageType _message :: Doc ann

Instances

Instances details

Show (Message ann) Source #
Instance details Defined in Disco.Messages Methods showsPrec :: Int -> Message ann -> ShowS # show :: Message ann -> String # showList :: [Message ann] -> ShowS #

messageType :: forall ann. Lens' (Message ann) MessageType Source #

message :: forall ann ann. Lens (Message ann) (Message ann) (Doc ann) (Doc ann) Source #

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

printMsg :: Member (Embed IO) r => Message ann -> Sem r () Source #

msg :: Member (Output (Message ann)) r => MessageType -> Sem r (Doc ann) -> Sem r () Source #

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

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

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

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

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

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