Safe Haskell	Safe-Inferred
Language	GHC2021

Navi.Data.NaviLog

Description

Provides the types for logging.

Synopsis

Documentation

Data for file logging.

Since: 0.1

Constructors

MkLogFile
Fields handle :: !Handle File handle. Since: 0.1 finalizer :: IO ()

Instances details

(k ~ A_Lens, a ~ IO (), b ~ IO ()) => LabelOptic "finalizer" k LogFile LogFile a b Source #
Instance details Defined in Navi.Data.NaviLog Methods labelOptic :: Optic k NoIx LogFile LogFile a b Source #
(k ~ A_Lens, a ~ Handle, b ~ Handle) => LabelOptic "handle" k LogFile LogFile a b Source #	Since: 0.1
Instance details Defined in Navi.Data.NaviLog Methods labelOptic :: Optic k NoIx LogFile LogFile a b Source #

Holds logging env data.

Since: 0.1

Constructors

MkLogEnv
Fields logFile :: !(Maybe LogFile) Data for file logging. Since: 0.1 logLevel :: !LogLevel Level in which to log. Since: 0.1 logNamespace :: !Namespace The current logging namespace. Since: 0.1

Instances details

(k ~ A_Lens, a ~ Maybe LogFile, b ~ Maybe LogFile) => LabelOptic "logFile" k LogEnv LogEnv a b Source #
Instance details Defined in Navi.Data.NaviLog Methods labelOptic :: Optic k NoIx LogEnv LogEnv a b Source #
(k ~ A_Lens, a ~ LogLevel, b ~ LogLevel) => LabelOptic "logLevel" k LogEnv LogEnv a b Source #
Instance details Defined in Navi.Data.NaviLog Methods labelOptic :: Optic k NoIx LogEnv LogEnv a b Source #
(k ~ A_Lens, a ~ Namespace, b ~ Namespace) => LabelOptic "logNamespace" k LogEnv LogEnv a b Source #	Since: 0.1
Instance details Defined in Navi.Data.NaviLog Methods labelOptic :: Optic k NoIx LogEnv LogEnv a b Source #