Refinery.Future

Things that belong in the future release of refinery v5.

Documentation

runStreamingTacticT :: MonadExtract meta ext err s m => TacticT jdg ext err s m () -> jdg -> s -> ListT m (Either err (Proof s meta jdg ext))

hoistListT :: Functor m => (forall x. m x -> n x) -> ListT m a -> ListT n a

consume :: Monad m => ListT m a -> (a -> m ()) -> m ()