Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data StreamT o m r
- data Step s o r
- mapStep :: (i -> o) -> Step s i r -> Step s o r
- runStreamT :: Monad m => StreamT o m r -> m r
- makeSource :: state -> (state -> m (Step state o r)) -> StreamT o m r
- makeSourceWith :: (forall b. (state -> m b) -> m b) -> (state -> m (Step state o r)) -> StreamT o m r
- makeTransformer :: myState -> (forall upState. myState -> upState -> (upState -> m (Step upState i upR)) -> m (Step (myState, upState) o myR)) -> StreamT i m upR -> StreamT o m myR
- makeTransformer' :: (forall upState. upState -> (upState -> m (Step upState i upR)) -> m (Step upState o myR)) -> StreamT i m upR -> StreamT o m myR
- makeSink :: (forall state. state -> (state -> m (Step state i upR)) -> m myR) -> StreamT i m upR -> m myR
Types
Helpers
runStreamT :: Monad m => StreamT o m r -> m r Source
Smart constructros
Source
makeSource :: state -> (state -> m (Step state o r)) -> StreamT o m r Source
makeSourceWith :: (forall b. (state -> m b) -> m b) -> (state -> m (Step state o r)) -> StreamT o m r Source
Transformer
makeTransformer :: myState -> (forall upState. myState -> upState -> (upState -> m (Step upState i upR)) -> m (Step (myState, upState) o myR)) -> StreamT i m upR -> StreamT o m myR Source
makeTransformer' :: (forall upState. upState -> (upState -> m (Step upState i upR)) -> m (Step upState o myR)) -> StreamT i m upR -> StreamT o m myR Source