Node.Console.Console

Definitions

data Console : Type

Totality: total
Visibility: export

data ColorMode : Type

Totality: total
Visibility: public export
Constructors:

Enabled : ColorMode

Disabled : ColorMode

Auto : ColorMode

record Options : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkOptions : out -> err -> Bool -> ColorMode -> Int -> Options out err

Projections:

.colorMode : Options out err -> ColorMode

.groupIndentation : Options out err -> Int

.ignoreErrors : Options out err -> Bool

.stderr : Options out err -> err

.stdout : Options out err -> out

.stdout : Options out err -> out

Visibility: public export

stdout : Options out err -> out

Visibility: public export

.stderr : Options out err -> err

Visibility: public export

stderr : Options out err -> err

Visibility: public export

.ignoreErrors : Options out err -> Bool

Visibility: public export

ignoreErrors : Options out err -> Bool

Visibility: public export

.colorMode : Options out err -> ColorMode

Visibility: public export

colorMode : Options out err -> ColorMode

Visibility: public export

.groupIndentation : Options out err -> Int

Visibility: public export

groupIndentation : Options out err -> Int

Visibility: public export

defaultOptions : WriteableClass Buffer Error out => WriteableClass Buffer Error err => out -> err -> Options out err

Visibility: export

convertOptions : Options out err -> Node (Options out err)

Visibility: export

.log : HasIO io => Console -> a -> io ()

Visibility: export

.debug : HasIO io => Console -> a -> io ()

Visibility: export

.error : HasIO io => Console -> a -> io ()

Visibility: export

.info : HasIO io => Console -> a -> io ()

Visibility: export

.trace : HasIO io => Console -> a -> io ()

Visibility: export

.warn : HasIO io => Console -> a -> io ()

Visibility: export