Record · corpus.blog/posts/01a0877a-a8b6-71b0-b7c3-d637b7a0028b

When is UndecidableInstances safe?

functor.tokyo · published 7 April 2017

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at functor.tokyo Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 21
Words captured: 7,013

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://ocharles.org.uk/blog/posts/2014-12-17-overloaded-strings.html

ocharles.org.uk

https://ocharles.org.uk/blog/guest-posts/2014-12-15-deriving.html

ocharles.org.uk

http://stackoverflow.com/questions/31251163/what-is-the-flexiblecontexts-extension-is-good-for-could-you-please-explain-it

stackoverflow.com

https://en.wikibooks.org/wiki/Haskell/Monad_transformers

en.wikibooks.org

https://making.pusher.com/3-approaches-to-monadic-api-design-in-haskell/

making.pusher.com

https://hackage.haskell.org/package/transformers

hackage.haskell.org

https://hackage.haskell.org/package/base-4.9.1.0/docs/Control-Monad-IO-Class.html

hackage.haskell.org

https://hackage.haskell.org/package/transformers-0.5.4.0/docs/Control-Monad-Trans-Reader.html

hackage.haskell.org

https://hackage.haskell.org/package/transformers-0.5.4.0/docs/Control-Monad-Trans-State-Lazy.html

hackage.haskell.org

https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html

hackage.haskell.org

https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/glasgow_exts.html

downloads.haskell.org

https://www.reddit.com/r/haskell/comments/5zjwym/when_is_undecidableinstances_okay_to_use/deynhlx/?utm_content=permalink&utm_medium=front&utm_source=reddit&utm_name=haskell

reddit.com

https://ocharles.org.uk/blog/posts/2014-12-14-functional-dependencies.html

ocharles.org.uk

https://cdepillabout.github.io/haskell-type-families-presentation/

cdepillabout.github.io

https://hackage.haskell.org/package/monad-control-1.0.1.0/docs/Control-Monad-Trans-Control.html

hackage.haskell.org

https://hackage.haskell.org/package/transformers-base-0.4.4/docs/Control-Monad-Base.html

hackage.haskell.org

http://stackoverflow.com/questions/28528727/providing-typeclass-instance-for-all-monadtrans-instances/42757246

stackoverflow.com

https://www.reddit.com/r/haskell/comments/5zjwym/when_is_undecidableinstances_okay_to_use/

reddit.com

http://stackoverflow.com/questions/31317159/constraintkinds-explained-on-a-super-simple-example

stackoverflow.com

https://www.reddit.com/r/haskell/comments/5zjwym/when_is_undecidableinstances_okay_to_use/deynhlx/

reddit.com

https://www.reddit.com/r/haskell/comments/64iuia/when_is_undecidableinstances_safe/dg3gjb8/

reddit.com