content: {-# OPTIONS_GHC -Wno-missing-import-lists #-}
  
  -- |
  -- Module      :   Grisette.Internal.Core.Data.Class.Mergeable
  -- 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.Internal.Core.Data.Class.Mergeable
    ( -- * Merging strategy
      MergingStrategy (..),
  
      -- * Mergeable
      Mergeable (..),
      Mergeable1 (..),
      rootStrategy1,
      Mergeable2 (..),
      rootStrategy2,
      Mergeable3 (..),
      rootStrategy3,
  
      -- * Generic 'Mergeable'
      MergeableArgs (..),
      GMergeable (..),
      genericRootStrategy,
      genericLiftRootStrategy,
  
      -- * Combinators for manually building merging strategies
      wrapStrategy,
      product2Strategy,
      DynamicSortedIdx (..),
      StrategyList (..),
      buildStrategyList,
      resolveStrategy,
      resolveStrategy',
      resolveMergeable1,
    )
  where
  
  import Grisette.Internal.Internal.Decl.Core.Data.Class.Mergeable
  import Grisette.Internal.Internal.Impl.Core.Data.Class.Mergeable ()
  