Data.Log

LOG

DATA LOG

data Log s v

Instances

(Show s, Show v) => Show (Log s v)

Defined in Data.Log

Methods

showsPrec :: Int -> Log s v -> ShowS

show :: Log s v -> String

showList :: [Log s v] -> ShowS

IsString s => IsString (Log s v)

Defined in Data.Log

Methods

fromString :: String -> Log s v

Semigroup (Log s v)

Defined in Data.Log

Methods

(<>) :: Log s v -> Log s v -> Log s v

sconcat :: NonEmpty (Log s v) -> Log s v

stimes :: Integral b => b -> Log s v -> Log s v

Monoid (Log s v)

Defined in Data.Log

Methods

mempty :: Log s v

mappend :: Log s v -> Log s v -> Log s v

mconcat :: [Log s v] -> Log s v

(Outputable s, Outputable v) => Outputable (Log s v)

Defined in Data.Log

Methods

ppr :: Log s v -> SDoc

pprPrec :: Rational -> Log s v -> SDoc

IsSDoc s => IsSDoc (Log s v)

Defined in Data.Log

Methods

fromSDoc :: SDoc -> Log s v

(Message s, Show v) => Message (Log s v)

Defined in Data.Log

Methods

message :: Log s v -> String

messageList :: [Log s v] -> String

logVar :: v -> Log s v

(.+.) :: Log s v -> Log s v -> Log s v infixr 7

intersperse :: Log s v -> [Log s v] -> Log s v

unwords :: IsString s => [Log s v] -> Log s v

CLASS

class Loggable s v a where

Methods

log :: a -> Log s v

Instances

IsString s => Loggable s v (Wanted v)

Defined in Data.Derivation.CanDerive

Methods

log :: Wanted v -> Log s v

IsString s => Loggable s v (Givens v)

Defined in Data.Derivation.CanDerive

Methods

log :: Givens v -> Log s v

IsString s => Loggable s v (Exp v t)

Defined in Data.Derivation.Expression.Internal

Methods

log :: Exp v t -> Log s v

class Message s where

Minimal complete definition

message

Methods

message :: s -> String

messageList :: [s] -> String

Instances

Message Char

Defined in Data.Log

Methods

message :: Char -> String

messageList :: [Char] -> String

Message s => Message [s]

Defined in Data.Log

Methods

message :: [s] -> String

messageList :: [[s]] -> String

(Message s, Show v) => Message (Log s v)

Defined in Data.Log

Methods

message :: Log s v -> String

messageList :: [Log s v] -> String

SDOC

class IsSDoc s where

Methods

fromSDoc :: SDoc -> s

Instances

IsSDoc SDocStr

Defined in Data.Log

Methods

fromSDoc :: SDoc -> SDocStr

IsSDoc s => IsSDoc (Log s v)

Defined in Data.Log

Methods

fromSDoc :: SDoc -> Log s v

data SDocStr

Instances

IsString SDocStr

Defined in Data.Log

Methods

fromString :: String -> SDocStr

Semigroup SDocStr

Defined in Data.Log

Methods

(<>) :: SDocStr -> SDocStr -> SDocStr

sconcat :: NonEmpty SDocStr -> SDocStr

stimes :: Integral b => b -> SDocStr -> SDocStr

Monoid SDocStr

Defined in Data.Log

Methods

mempty :: SDocStr

mappend :: SDocStr -> SDocStr -> SDocStr

mconcat :: [SDocStr] -> SDocStr

Outputable SDocStr

Defined in Data.Log

Methods

ppr :: SDocStr -> SDoc

pprPrec :: Rational -> SDocStr -> SDoc

IsSDoc SDocStr

Defined in Data.Log

Methods

fromSDoc :: SDoc -> SDocStr