{-| Tail files in Unix, using types from the @pipes@ package. 

 -}

{-# language RankNTypes #-}
module System.IO.TailFile.Pipes where

import qualified Data.ByteString
import Pipes
import Streaming.Eversion.Pipes
import qualified System.IO.TailFile.Foldl

{-| Tail a file with a function that consumes a 'Producer'.
-}
tailFile :: FilePath -- ^ 
         -> (forall t r. (MonadTrans t, MonadIO (t IO)) => Producer Data.ByteString.ByteString (t IO) r -> t IO (void, r)) -- ^ Scary type, but any resonably polymorphic (say, over 'MonadIO') function that consumes a 'Producer' can go here.
         -> IO void
tailFile path consumer = System.IO.TailFile.Foldl.tailFile path (evertMIO consumer)