{-|
  Copyright   :  (C) 2019,2021, QBayLogic B.V
  License     :  BSD2 (see the file LICENSE)
  Maintainer  :  QBayLogic B.V <devops@qbaylogic.com>

  Convenience functions for "Data.Set.Ordered" from the package
  "ordered-containers".
-}

module Data.Set.Ordered.Extra
  ( OLSet
  , toListL
  ) where

import           Data.Coerce                 (coerce)
import           Data.Foldable               (toList)
import qualified Data.Set.Ordered as OSet

type OLSet a = OSet.Bias OSet.L (OSet.OSet a)

toListL :: forall a. OLSet a -> [a]
toListL :: OLSet a -> [a]
toListL = OSet a -> [a]
forall (t :: Type -> Type) a. Foldable t => t a -> [a]
toList (OSet a -> [a]) -> (OLSet a -> OSet a) -> OLSet a -> [a]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Coercible (OLSet a) (OSet a) => OLSet a -> OSet a
coerce @(OLSet a) @(OSet.OSet a)