• Example Search
• Project Search

• Java
• Python
• JavaScript
• TypeScript
• C++
• Scala
• Blog

• tofu-master
  • .github
    • release-drafter.yml
    • workflows
      • release-drafter.yml
      • scala.yml
  • derivation
    • src
      • main
        • scala
          • tofu
            • higherKind
              • derived
                • derived.scala
            • data
              • derived
                • InitDerivation.scala
                • ContextEmbed.scala
                • package.scala
                • MerkatorFromCats.scala
                • Merge.scala
      • test
        • scala
          • tofu
            • higherKind
              • derived
                • EmbedSuite.scala
                • RepresentableKSuite.scala
            • data
              • derived
                • MergeSuite.scala
  • CONTRIBUTORS.md
  • observable
    • src
      • main
        • scala
          • tofu
            • observable
              • package.scala
              • TakeWhileInclusive.scala
      • test
        • scala
          • tofu
            • observable
              • TakeWhileInclusiveSuite.scala
  • fs2
    • src
      • main
        • scala
          • tofu
            • fs2Instances
              • package.scala
              • fs2Instances.scala
      • test
        • scala
          • tofu
            • fs2Instances
              • Fs2InstancesSuite.scala
  • .publish.xml
  • enums
    • src
      • main
        • scala
          • tofu
            • logging
              • LoggableEnum.scala
  • LICENSE
  • project
    • Dependencies.scala
    • Publish.scala
    • build.properties
    • plugins.sbt
  • memo
    • src
      • main
        • scala
          • tofu
            • memo
              • CacheOperation.scala
              • Memoize.scala
              • CacheMethod.scala
              • CachedFunc.scala
              • Cached.scala
              • CacheVal.scala
              • CacheState.scala
              • CacheControl.scala
              • CacheKeyState.scala
  • config
    • src
      • main
        • scala
          • tofu
            • config
              • ConfigMonad.scala
              • config.scala
              • ConfigItem.scala
              • Configurable.scala
              • Key.scala
              • ConfigArr.scala
              • ConfigError.scala
              • typesafe.scala
            • data
              • instances
                • order.scala
      • test
        • resources
          • suite.conf
        • scala
          • tofu
            • config
              • ConfigSuite.scala
  • website
    • blog
      • 2017-10-29-hello-docs.md
    • pages
      • en
        • users.js
        • help.js
    • project
      • build.properties
    • siteConfig.js
    • sidebars.json
    • README.md
    • package.json
    • core
      • Footer.js
    • static
      • img
        • undraw_monitor.svg
        • undraw_code_review.svg
        • undraw_open_source.svg
        • favicon.ico
        • undraw_online.svg
        • undraw_tweetstorm.svg
        • undraw_operating_system.svg
        • undraw_react.svg
        • undraw_youtube_tutorial.svg
        • undraw_note_list.svg
      • index.html
      • css
        • custom.css
  • doobie
    • src
      • main
        • scala-2.12
          • tofu
            • doobie
              • instances
                • DoobieImplicitsScalaVersionSpecific.scala
        • scala
          • tofu
            • doobie
              • LiftConnectionIO.scala
              • instances
                • implicits.scala
                • package.scala
                • DoobieInstances.scala
              • package.scala
              • log
                • LogHandlerF.scala
                • EmbeddableLogHandler.scala
              • transactor
                • Txr.scala
        • scala-2.13
          • tofu
            • doobie
              • instances
                • DoobieImplicitsScalaVersionSpecific.scala
      • test
        • scala
          • tofu
            • doobie
              • example
                • TofuDoobieExample.scala
              • DoobieInstancesSuite.scala
  • data
    • src
      • main
        • scala
          • tofu
            • data
              • PArray.scala
              • Flux.scala
              • Calc.scala
              • calc
                • CalcMOps.scala
                • CalcMInstances.scala
                • CalcT.scala
                • CalcRunner.scala
                • Continue.scala
                • Translator.scala
                • StepResult.scala
                • CalcM.scala
              • Embedded.scala
              • data.scala
      • test
        • scala
          • tofu
            • data
              • CalcSuite.scala
              • FluxSuite.scala
  • higherKindCore
    • src
      • main
        • scala-2.12
          • tofu
            • compat
              • package.scala
        • scala
          • tofu
            • higherKind
              • derived
                • HigherKindedMacros.scala
                • derived.scala
              • Mid.scala
              • package.scala
              • Function2K.scala
              • Post.scala
              • bi
                • SemigroupalBK.scala
                • RepBK.scala
                • FunBK.scala
                • package.scala
                • BiPoint.scala
                • Fun2BK.scala
                • FunctorBK.scala
                • Tuple2BK.scala
                • EmbedBK.scala
                • BiRepresentableK.scala
                • MonoidalBK.scala
                • PureBK.scala
              • RepresentableK.scala
              • MonoidalK.scala
              • Embed.scala
              • Point.scala
              • Pre.scala
              • PureK.scala
            • syntax
              • embed.scala
              • monoidalK.scala
              • monadic.scala
              • functionK.scala
              • bind.scala
            • control
              • impl
                • BindInstanceChain.scala
              • Bind.scala
        • scala-2.13
          • tofu
            • compat
              • package.scala
      • test
        • scala
          • tofu
            • higherKind
              • MidSuite.scala
  • .travis.yml
  • README.md
  • .scalafmt.conf
  • concurrent
    • src
      • main
        • scala
          • tofu
            • concurrent
              • impl
                • FocusedRef.scala
                • contextt.scala
              • MakeRef.scala
              • Gatekeeper.scala
              • Daemon.scala
              • Agent.scala
              • package.scala
              • QVar.scala
              • Exit.scala
              • MakeDeferred.scala
              • syntax
                • daemon.scala
                • traverse.scala
                • ref.scala
              • MakeMVar.scala
              • ReadWrite.scala
              • Atom.scala
              • MakeSemaphore.scala
              • Mut.scala
              • ContextT.scala
              • MakeConcurrent.scala
      • test
        • scala
          • tofu
            • concurrent
              • SyntaxCheck.scala
              • ReadWriteTests.scala
              • ContextTSummonCheck.scala
              • DaemonTests.scala
  • core
    • src
      • main
        • scala-2.12
          • tofu
            • alias
              • ScalaSpecificDoMonadInstances.scala
        • scala
          • tofu
            • Fire.scala
            • errorInstances
              • package.scala
            • Guarantee.scala
            • package.scala
            • Timeout.scala
            • lift
              • UnliftIO.scala
              • Unlift.scala
              • package.scala
              • IsoK.scala
              • UnsafeExecFuture.scala
            • Context.scala
            • Execute.scala
            • common
              • time.scala
              • Console.scala
            • alias
              • package.scala
              • Do.scala
            • Void.scala
            • syntax
              • time.scala
              • foldable.scala
              • timeout.scala
              • either.scala
              • bracket.scala
              • traverse.scala
              • error.scala
              • fire.scala
              • foption.scala
              • optics.scala
              • unlift.scala
              • selective.scala
              • consume.scala
              • monoid.scala
              • console.scala
              • feither.scala
              • lift.scala
              • timer.scala
              • context.scala
              • monadError.scala
            • streaming.scala
            • internal
              • Newtype1Covariant.scala
              • DataEffectComp.scala
              • FoldableStream.scala
              • NonTofu.scala
              • CachedMatcher.scala
            • bi
              • package.scala
              • BiContext.scala
              • lift
                • BiLift.scala
            • generate
              • GenUUID.scala
              • GenRandom.scala
            • Init.scala
            • control
              • impl
                • FunctorDelegate.scala
                • SelectiveInstances.scala
                • ApplyDelegate.scala
                • ApplicativeDelegate.scala
              • Switch.scala
              • Consume.scala
              • Optional.scala
              • ApplicativeZip.scala
              • ContravariantFilter.scala
              • Selective.scala
              • Partial.scala
            • Errors.scala
        • scala-2.13
          • tofu
            • alias
              • ScalaSpecificDoMonadInstances.scala
      • test
        • scala-2.12
          • tofu
            • syntax
              • FoldableSuite.scala
        • scala
          • examples
            • DoMonadExamples.scala
          • tofu
            • ContextSuite.scala
            • IOSummonChecks.scala
            • ErrorsSuite.scala
            • examples
              • TofuRaiseExamples.scala
            • lift
              • UnliftSuite.scala
            • RaiseSute.scala
            • TimeoutChecks.scala
            • syntax
              • FEitherSuite.scala
              • UnliftSuite.scala
              • FOptionSuite.scala
            • GuaranteeSuite.scala
            • control
              • SelectiveSummon.scala
        • scala-2.13
          • tofu.syntax
            • FoldableSuite.scala
  • CODEOWNERS
  • Dockerfile
  • zio
    • core
      • src
        • main
          • scala
            • tofu
              • zioOptics.scala
              • zioInstances
                • implicits.scala
                • package.scala
                • ZioTofuInstance.scala
                • ZioTofuConcurrentInstance.scala
                • ZioInstances.scala
        • test
          • scala
            • tofu
              • zioInstances
                • ZioInstancesSuite.scala
    • logging
      • src
        • main
          • scala
            • tofu
              • logging
                • zlogs
                  • impl
                    • URIOZLoggingImpl.scala
                    • UIOZLogging.scala
                  • package.scala
                  • ZLogs.scala
                  • ZioHasBuilder.scala
        • test
          • scala
            • tofu
              • logging
                • zlogs
                  • ZLogsSuite.scala
  • build.sbt
  • optics
    • interop
      • src
        • main
          • scala
            • tofu
              • optics
                • interop.scala
    • macro
      • src
        • main
          • scala
            • tofu
              • optics
                • macros
                  • Optics.scala
                  • GenEquivalent.scala
                  • internal
                    • Macro.scala
                  • promote.scala
                  • GenSubset.scala
                  • GenContains.scala
        • test
          • scala
            • tofu
              • optics
                • macros
                  • GenEquivalentSpec.scala
                  • TestDomain.scala
                  • GenSubsetSpec.scala
                  • GenContainsSpec.scala
          • scala-2.13
            • tofu
              • optics
                • macros
                  • TestClassyContains.scala
    • core
      • src
        • main
          • scala
            • tofu
              • optics
                • tags
                  • at.scala
                  • PTagApply.scala
                  • index.scala
                  • field.scala
                  • every.scala
                • Update.scala
                • Repeated.scala
                • functions
                  • functions.scala
                  • CollectionFunctions.scala
                  • ContainerFunctions.scala
                  • TupleFunctions.scala
                • Same.scala
                • classes
                  • Category2.scala
                  • Transform.scala
                  • PChoice.scala
                • package.scala
                • classic.scala
                • Items.scala
                • Extract.scala
                • Property.scala
                • Downcast.scala
                • PBase.scala
                • optics.scala
                • Applied.scala
                • data
                  • package.scala
                  • Constant.scala
                  • Tagged.scala
                • Folded.scala
                • Equivalent.scala
                • Contains.scala
                • Upcast.scala
                • Reduced.scala
                • Subset.scala
        • test
          • scala
            • tofu
              • optics
                • core
                  • ChainSuite.scala
  • .gitignore
  • docs
    • config.md
    • logging.md
    • env.md
    • optics.md
    • typeclasses.md
    • installation.md
    • fork.md
    • errors.md
    • concurrent-makeref.md
    • internal
      • bimonad.md
      • variance-enumeration.md
      • kind-enumeration.md
    • start.md
    • agent.md
    • memo.md
    • console.md
    • hascontext.md
  • .dockerignore
  • docker-compose.yml
  • logging
    • interop
      • refined
        • src
          • main
            • scala
              • tofu
                • logging
                  • refined
                    • refined.scala
          • test
            • scala
              • tofu
                • logging
                  • refined
                    • TofuRefinedIntegrationSpec.scala
      • shapeless
        • src
          • main
            • scala
              • tofu
                • logging
                  • shapeless
                    • implicits.scala
          • test
            • scala
              • tofu
                • logging
                  • shapeless
                    • TofuShapelessIntegrationSpec.scala
    • derivation
      • src
        • main
          • scala
            • tofu
              • logging
                • derivation
                  • package.scala
                  • annotations.scala
                  • loggable.scala
                  • masking.scala
                  • show.scala
        • test
          • scala
            • tofu
              • logging
                • derivation
                  • Disc.scala
                  • DerivedLoggableSuite.scala
    • layout
      • src
        • main
          • scala
            • tofu
              • logging
                • logback
                  • IEventLoggable.scala
                • ELKLayout.scala
    • util
      • src
        • main
          • scala
            • tofu
              • logging
                • atom
                  • AtomLogger.scala
    • structured
      • src
        • main
          • scala-2.12
            • tofu
              • logging
                • LogsVOps.scala
          • scala
            • tofu
              • syntax
                • loggable.scala
              • logging
                • impl
                  • ContextMarker.scala
                  • HiddenLoggable.scala
                  • ContramapLoggable.scala
                  • UniversalEmbedLogs.scala
                  • LoggingImpl.scala
                  • SyncLogging.scala
                  • ContextSyncLoggingImpl.scala
                  • NamedLoggable.scala
                  • FilterLoggable.scala
                  • ContextLoggingImpl.scala
                  • EmptyLoggable.scala
                  • PlusLoggable.scala
                  • CachedLogs.scala
                  • EmbedLogging.scala
                • LogRenderer.scala
                • package.scala
                • Loggable.scala
                • LoggableContext.scala
                • TethysBuilder.scala
                • Logs.scala
                • Logging.scala
                • LogTree.scala
          • scala-2.13
            • tofu
              • logging
                • LogsVOps.scala
        • test
          • scala
            • tofu
              • logging
                • LoggableContextSuite.scala
                • LoggableSuite.scala
                • LoggingSuite.scala
  • env
    • src
      • main
        • scala-2.12
          • tofu
            • env
              • internal
                • CollectionMapperInstances.scala
        • scala
          • tofu
            • env
              • EnvSpecializedFunctions.scala
              • bio
                • EnvBioInstances.scala
                • EnvBio.scala
                • EnvBioSpecializedFunctions.scala
                • package.scala
                • EnvBioFunctions.scala
                • EnvBioProducts.scala
              • EnvSyntax.scala
              • Env.scala
              • EnvInstances.scala
              • Memoization.scala
              • internal
                • collections.scala
              • EnvFunctorstance.scala
              • EnvRacing.scala
              • EnvUnliftTask.scala
              • EnvFunctions.scala
              • EnvProducts.scala
              • EnvTraversing.scala
        • scala-2.13
          • tofu
            • env
              • internal
                • CollectionMapperInstances.scala
      • test
        • scala
          • tofu
            • env
              • EnvSuite.scala
              • bio
                • EnvBioSuite.scala
              • EnvTraverseSuite.scala
              • EnvSummonChecks.scala
              • ParEnvSuite.scala

package tofu

import cats.effect.{Concurrent, ContextShift, IO, Timer}
import simulacrum.typeclass
import tofu.syntax.feither._
import tofu.internal.NonTofu

import scala.concurrent.duration.FiniteDuration

@typeclass
trait Timeout[F[_]] {
  def timeoutTo[A](fa: F[A], after: FiniteDuration, fallback: F[A]): F[A]
}

object Timeout extends LowPriorTimeoutImplicits {
  implicit def io(implicit timer: Timer[IO], cs: ContextShift[IO]): Timeout[IO] = new Timeout[IO] {
    override def timeoutTo[A](fa: IO[A], after: FiniteDuration, fallback: IO[A]): IO[A] = fa.timeoutTo(after, fallback)
  }
}

trait LowPriorTimeoutImplicits { self: Timeout.type =>
  implicit def concurrent[F[_]: NonTofu](implicit F: Concurrent[F], timer: Timer[F]): Timeout[F] =
    new Timeout[F] {
      override def timeoutTo[A](fa: F[A], after: FiniteDuration, fallback: F[A]): F[A] =
        F.race(timer.sleep(after), fa).getOrElseF(fallback)
    }
}