Data.Profunctor.Cont

Documentation

helper :: (a -> Bool) -> [a] -> ContT r f (Maybe a)

helper' :: (Monad m, Monoid r) => (a -> Bool) -> [a] -> ContT r m a

helper'' :: (Monad m, Monoid r) => (r -> Bool) -> [r] -> ContT r m r

stopWhen :: (Representable p, Rep p ~ f) => p (Maybe Int) r -> p [Int] r

stopWhen' :: (Monoid r, Monad m, Representable p, Rep p ~ m) => p Int r -> p [Int] r

stopWhen'' :: (Monad m, Representable p, Rep p ~ m) => p [a] [a] -> p [[a]] [a]

withCapture :: (Representable p, Rep p ~ f) => (s -> ContT r f a) -> p a r -> p s r

tester :: [[Int]] -> IO [Int]