search

k0001 / di

Easy and powerful typeful logging without monad towers, in Haskell.
26 stars 5 forks source link

Is it possible to remove IO from the Di's logging function? #11

Closed k0001 closed 7 years ago

k0001 commented 7 years ago

cc @shlevy

shlevy commented 7 years ago

The idea would be to make Di either a pure data structure or, if needed for efficiency, an associated datatype of the MonadDi class, and have log :: Di path msg -> Level -> msg -> m () be part of that class (and similar for log' but possibly in a different class).

k0001 commented 7 years ago

I'm closing this in favor of #1

In general: We need IO for the goals di targets, so doing this is not really possible.