{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.ListAndSeq where

import qualified Data.Sequence
import LawfulConversions.Classes
import LawfulConversions.Prelude

instance IsSome [a] (Seq a) where
  to :: Seq a -> [a]
to = Seq a -> [a]
Seq a -> [Item (Seq a)]
forall l. IsList l => l -> [Item l]
toList

instance IsSome (Seq a) [a] where
  to :: [a] -> Seq a
to = [a] -> Seq a
forall a. [a] -> Seq a
Data.Sequence.fromList

instance IsMany [a] (Seq a)

instance IsMany (Seq a) [a]

instance Is [a] (Seq a)

instance Is (Seq a) [a]