This sounds fantastic! I think it is very important to provide sufficient documentation in the source to allow newish users who click through to understand as much as they need.

On Nov 20, 2016 12:47 PM, "Baldur Blöndal" <baldurpet@gmail.com> wrote:

This will look like the original definitions [1]

> newtype State s a = State { runState :: s -> (a, s) }

before they became type synonyms

> type State s = StateT s Identity

by defining pattern synonyms

> pattern State :: (s -> (a, s)) -> State s a

> pattern State {runState} <- S.runState -> runState

>   where State a           = state a

Trac ticket #12767 for further information. [2]

[1] http://book.realworldhaskell.org/read/monads.html#id643643
[2] https://ghc.haskell.org/trac/ghc/ticket/12767

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries