8 Oct
2011
8 Oct
'11
8:27 p.m.
On Sat, Oct 8, 2011 at 4:28 PM, Captain Freako
17 newtype Filter e a = F { * 18 runFilter :: EitherT e (State FilterState) a ** * 19 } deriving (Monad, MonadState FilterState)
it compiles, but I can't figure out how I'd feed the input to the filter, in that case.
Input to Filter would be modeled with: 'a -> Filter e b'. I would rename your 'runFilter' to 'unFilter', then define a function 'runFilter' accepting an initial FilterState. Regards, - db