lux.data.log

lux/data/log

Types

Log

Represents a value with an associated 'log' value to record arbitrary information.

(type: (Log l a)
  {# log l
   # value a})

Structs

(Applicative<Log> mon)

(All [a] (-> (lux/control/monoid;Monoid a) (lux/control/applicative;Applicative (Log a))))

Functor<Log>

(All [a] (lux/control/functor;Functor (Log a)))

(LogT Monoid<l> Monad<M>)

(All [a b] (-> (lux/control/monoid;Monoid a) (lux/control/monad;Monad b) (lux/control/monad;Monad (All [c] (b (Log a c))))))

(Monad<Log> mon)

(All [a] (-> (lux/control/monoid;Monoid a) (lux/control/monad;Monad (Log a))))

Values

(lift-log Monoid<l> Monad<M>)

(All [a b c] (-> (lux/control/monoid;Monoid a) (lux/control/monad;Monad b) (b c) (b (Log a c))))

(log l)

Set the log to a particular value.

(All [a] (-> a (Log a lux;Unit)))