Rename Fold.Async to Fold.Time

This commit is contained in:
Harendra Kumar 2024-02-12 23:50:37 +05:30
parent fdf2684cc2
commit ad435f8ffd
3 changed files with 5 additions and 5 deletions

View File

@ -8,12 +8,12 @@
--
module Streamly.Internal.Data.Fold.Prelude
(
module Streamly.Internal.Data.Fold.Async
module Streamly.Internal.Data.Fold.Time
, module Streamly.Internal.Data.Fold.Concurrent
, module Streamly.Internal.Data.Fold.SVar
)
where
import Streamly.Internal.Data.Fold.Async
import Streamly.Internal.Data.Fold.Time
import Streamly.Internal.Data.Fold.Concurrent
import Streamly.Internal.Data.Fold.SVar

View File

@ -1,12 +1,12 @@
-- |
-- Module : Streamly.Internal.Data.Fold.Async
-- Module : Streamly.Internal.Data.Fold.Time
-- Copyright : (c) 2019 Composewell Technologies
-- License : BSD-3-Clause
-- Maintainer : streamly@composewell.com
-- Stability : experimental
-- Portability : GHC
--
module Streamly.Internal.Data.Fold.Async
module Streamly.Internal.Data.Fold.Time
(
-- * Trimming
takeInterval

View File

@ -465,7 +465,7 @@ library
, Streamly.Internal.Data.Stream.Time
, Streamly.Internal.Data.Stream.Lifted
, Streamly.Internal.Data.Fold.Async
, Streamly.Internal.Data.Fold.Time
, Streamly.Internal.Data.Fold.Concurrent.Channel.Type
, Streamly.Internal.Data.Fold.Concurrent.Channel
, Streamly.Internal.Data.Fold.Concurrent