turion / rhine

Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
117 stars 21 forks source link

Make ClSF a newtype #268

Open turion opened 6 months ago

turion commented 6 months ago

The error messages would be better. Currently the messages for typed holes are:

    • Found hole:
        _ :: MSF
               (transformers-0.5.6.2:Control.Monad.Trans.Reader.ReaderT
                  (TimeInfo EverySecond) IO)
               Int
               String

With a newtype, they could be:

    • Found hole:
        _ :: ClSF IO EverySecond Int String

The downside is that a lot of re-exports would have to be done then, and some docs would be invalidated.