Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- type Cask r s = Tap r (Maybe s)
- type Still p q r s m = Cask r s (Drinker (Cask p q) m)
- type Pipe a b m = forall r. (Monoid r, Semigroup r) => Still r a r b m
- scan :: Monad m => (b -> a -> b) -> b -> Pipe a b m
- reserve :: (Monoid r, MonadDrunk (Cask r s) m) => (s -> Barman r (Maybe t) m ()) -> Barman r (Maybe t) m ()
- map :: (Functor t, Monad m) => (a -> b) -> Distiller (Tap r (t a)) r (t b) m
- mapMaybe :: Monad m => (a -> Maybe b) -> Pipe a b m
- filter :: Monad m => (a -> Bool) -> Pipe a a m
- mapAccum :: Monad m => (s -> a -> (s, b)) -> s -> Pipe a b m
- drinkUp :: (Monoid r, Semigroup r, MonadDrunk (Tap r (Maybe s)) m) => m [s]
- sip :: (Monoid r, Alternative m, MonadDrunk (Tap r (Maybe s)) m) => m s
Documentation
reserve :: (Monoid r, MonadDrunk (Cask r s) m) => (s -> Barman r (Maybe t) m ()) -> Barman r (Maybe t) m () Source #
drinkUp :: (Monoid r, Semigroup r, MonadDrunk (Tap r (Maybe s)) m) => m [s] Source #
Consume all the content of a Tap
and return the elements as a list.
sip :: (Monoid r, Alternative m, MonadDrunk (Tap r (Maybe s)) m) => m s Source #