grisette-0.3.1.1: src/Grisette/Lib/Mtl.hs

{-# LANGUAGE Trustworthy #-}

-- |
-- Module      :   Grisette.Lib.Mtl
-- Copyright   :   (c) Sirui Lu 2021-2023
-- License     :   BSD-3-Clause (see the LICENSE file)
--
-- Maintainer  :   siruilu@cs.washington.edu
-- Stability   :   Experimental
-- Portability :   GHC only
module Grisette.Lib.Mtl
  ( -- * Symbolic or mrg* variants for the operations in the mtl (and transformers) package

    -- ** mrg* variants for operations in "Control.Monad.Except"
    mrgThrowError,
    mrgCatchError,

    -- ** mrg* variants for operations in "Control.Monad.Trans"
    mrgLift,

    -- ** mrg* variants for operations in "Control.Monad.Trans.Cont"
    mrgRunContT,
    mrgEvalContT,
    mrgResetT,
  )
where

import Grisette.Lib.Control.Monad.Except
  ( mrgCatchError,
    mrgThrowError,
  )
import Grisette.Lib.Control.Monad.Trans (mrgLift)
import Grisette.Lib.Control.Monad.Trans.Cont
  ( mrgEvalContT,
    mrgResetT,
    mrgRunContT,
  )