Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Stuff for streaming search results.
Synopsis
- chooseWith :: (Foldable f, Alternative m) => f a -> (a -> m b) -> m b
- choose :: (Foldable f, Alternative m) => f a -> m a
- data Stream r s a
- streamAll :: Stream r s a -> r -> s -> [a]
Documentation
chooseWith :: (Foldable f, Alternative m) => f a -> (a -> m b) -> m b Source #
Choose one of many alteratives and process it with the given function.
choose :: (Foldable f, Alternative m) => f a -> m a Source #
Choose one of many alteratives.
A stream of results. Just a wrapper around LogicT
to keep things tidy.
Instances
MonadReader r (Stream r s) Source # | |
MonadState s (Stream r s) Source # | |
Alternative (Stream r s) Source # | |
Applicative (Stream r s) Source # | |
Functor (Stream r s) Source # | |
Monad (Stream r s) Source # | |
MonadPlus (Stream r s) Source # | |
MonadLogic (Stream r s) Source # | |
Defined in Overeasy.Streams msplit :: Stream r s a -> Stream r s (Maybe (a, Stream r s a)) # interleave :: Stream r s a -> Stream r s a -> Stream r s a # (>>-) :: Stream r s a -> (a -> Stream r s b) -> Stream r s b # once :: Stream r s a -> Stream r s a # lnot :: Stream r s a -> Stream r s () # ifte :: Stream r s a -> (a -> Stream r s b) -> Stream r s b -> Stream r s b # | |
Monoid (Stream r s a) Source # | |
Semigroup (Stream r s a) Source # | |