Synthesizer.Filter.MonadFix

Documentation

type T filter t a v x = StateT ChannelId (Writer [Channel filter t a v]) x

If you find T still inconvenient, and if you don't care about portability, you can also use the following monad with the mdo notation.

mdo
  v <- a(u + dw)
  w <- b(v + ey)
  y <- c w

makeChannel :: [(ChannelId, filter t a v)] -> T filter t a v ChannelId

run :: T filter t a v x -> [Channel filter t a v]

toGraph :: T filter t a v x -> T filter Int t a v