module Control.Effects.List
( module Control.Effects.List
, module ListT ) where
import Interlude hiding (toList, traverse_, fold, foldMaybe, splitAt, head)
import ListT hiding (take)
import Control.Effects
data NonDeterministic
type instance EffectMsg1 NonDeterministic = []
type instance EffectRes1 NonDeterministic = Identity
type instance EffectCon1 NonDeterministic a = ()
instance Monad m => MonadEffect1 NonDeterministic (ListT m) where
effect1 _ = fmap Identity . fromFoldable
choose :: MonadEffect1 NonDeterministic m => [a] -> m a
choose = fmap runIdentity . effect1 (Proxy :: Proxy NonDeterministic)
deadEnd :: MonadEffect1 NonDeterministic m => m a
deadEnd = choose []
evaluateToList :: Monad m => ListT m a -> m [a]
evaluateToList = toList
traverseAllResults :: Monad m => (a -> m ()) -> ListT m a -> m ()
traverseAllResults = traverse_
foldAllResults :: Monad m => (r -> a -> m r) -> r -> ListT m a -> m r
foldAllResults = fold
foldWithEarlyTermination :: Monad m => (r -> a -> m (Maybe r)) -> r -> ListT m a -> m r
foldWithEarlyTermination = foldMaybe
evaluateNResults :: Monad m => Int -> ListT m a -> m [a]
evaluateNResults n = fmap fst . splitAt n
evaluateOneResult :: Monad m => ListT m a -> m (Maybe a)
evaluateOneResult = head