danidiaz / dep-t-advice

Giving good advice to functions in records-of-functions.

danidiaz/dep-t-advice Issues

Limitations of `Dep.SimpleAdvice`
Closed 2 years ago
Add `ReaderAdvice` and `IOAdvice` modules.
Closed 2 years ago1
Add a version of runFromDep which wraps the function result in ExceptT?
Updated 2 years ago1
Should `Dep.Advice.Basic `re-export generalized versions of the functions in `Dep.SimpleAdvice.Basic`?
Closed 2 years ago1
Export `MonadCallStack`.
Closed 2 years ago1
`SyntheticCallStackException` should contain `NonEmpty` stack frames.
Closed 2 years ago1
`component` doesn't work with multi-level components.
Closed 2 years ago1
Add runFromDep-like function to SimpleAdvice
Updated 2 years ago
Create advices for defining "synthetic" call stacks.
Closed 3 years ago1
Is "Advice ca e m r" an instance of Functor, or Contravariant?
Closed 3 years ago1
`Control.Monad.Dep.SimpleAdvice` module that works well with `coercible`.
Closed 3 years ago1
Should "adviseRecord" receive a NonEmpty, instead a list?
Closed 3 years ago1
Should `makeAdvice` really take that existential type?
Closed 3 years ago1
Rename `component` to `askForEnv`
Closed 3 years ago2
Can Multicurryable be extended to work with functions ending in IO?
Closed 3 years ago1
Helper to convert purely `Has`-based constructors into `MonadDep`-using components.
Closed 3 years ago1
Link to "variadic-function" in the README
Closed 3 years ago2
Add helper function for environments which are "rank-2 bifunctors"
Closed 3 years ago2
Support Data.Functor.Identity wrappers for adviseRecord and deceiveRecord
Closed 3 years ago1
Add a version of runFromEnv that uses Has
Closed 3 years ago1
Write a Kleisli-like newtype for multi-curried functions?
Updated 3 years ago
How much runtime overhead to advices induce?
Updated 3 years ago1
The Monad constraint in runFromEnv seems to be superfluous.
Closed 3 years ago1
Add a "doLocally" advice.
Closed 3 years ago1
Is the Advice type too complex with all those Constraint parameters?
Closed 3 years ago1