isomorphism-class-0.3: library/IsomorphismClass/Relations/BoxedVectorAndSeq.hs

{-# OPTIONS_GHC -Wno-orphans #-}

module IsomorphismClass.Relations.BoxedVectorAndSeq where

import qualified Data.Sequence
import qualified Data.Vector
import IsomorphismClass.Classes
import IsomorphismClass.Prelude

instance IsomorphicTo (Vector a) (Seq a) where
  to = Data.Vector.fromList . toList

instance IsomorphicTo (Seq a) (Vector a) where
  to = Data.Sequence.fromList . Data.Vector.toList