Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Anyone have a good implementation of reifyInstances on hand?
looking to not need to chase the instance graph
Info doc says that it contains visible instances in ClassI
Info
ClassI
yes but it is not helpful :)
it returns the instance dec
eg if i reify looking for the instance Monoid (Identity Int)
Monoid (Identity Int)
it will give me back instance Monoid a => Monoid (Identity a)
instance Monoid a => Monoid (Identity a)
https://hackage.haskell.org/package/th-instance-reification-0.1.4/docs/THInstanceReification.html aha
Anyone have a good implementation of reifyInstances on hand?
looking to not need to chase the instance graph
Info
doc says that it contains visible instances inClassI
yes but it is not helpful :)
it returns the instance dec
eg if i reify looking for the instance
Monoid (Identity Int)
it will give me back
instance Monoid a => Monoid (Identity a)
https://hackage.haskell.org/package/th-instance-reification-0.1.4/docs/THInstanceReification.html aha