-- | 'HandleReader' is like t'Bluefin.Reader.Reader', generalized to
-- work for arbitrary t'Bluefin.Compound.Handle's.  'localHandle'
-- locally overrides the value of a handle in a well-scoped way.  The
-- original handle will be restored when you exit the @localHandle@
-- block regardless of whether the exit was normal or via an
-- exception.
--
-- @HandleReader@ supports functionality similiar to @effectful@'s
-- 'Effectful.Dispatch.Dynamic.interpose' and @polysemy@'s
-- 'Polysemy.intercept', that is, locally augmenting an effect with
-- new behaviors.

module Bluefin.HandleReader
  ( -- * Handle
    HandleReader,

    -- * Handlers
    runHandleReader,

    -- * Effectful operations
    askHandle,
    localHandle,
  )
where

import Bluefin.Internal