feat: encode instance + cleaner imports

Author: theobat

src/Data/Morpheus/Server/Deriving/Decode.hs

@@ -29,8 +29,8 @@ import Data.Maybe (Maybe (..))
 
   -- MORPHEUS
 
+import Data.List.NonEmpty (NonEmpty)
 import qualified Data.List.NonEmpty as NonEmpty
-import Data.Maybe (fromMaybe)
 import Data.Morpheus.Error
   ( internalError,
     internalTypeMismatch,
@@ -91,8 +91,11 @@ import Data.Morpheus.Types.Internal.Resolving
   )
 import Data.Proxy (Proxy (..))
 import Data.Semigroup (Semigroup (..))
+import Data.Sequence (Seq)
 import qualified Data.Sequence as Seq
+import Data.Set (Set)
 import qualified Data.Set as Set
+import Data.Vector (Vector)
 import qualified Data.Vector as Vector
 import GHC.Generics
 import Prelude
@@ -132,13 +135,13 @@ instance Decode a => Decode (NonEmpty.NonEmpty a) where
   decode = withRefinedList (maybe (Left "Expected a NonEmpty list") Right . NonEmpty.nonEmpty) decode
 
 -- | Should this instance dedupe silently or fail on dupes ?
-instance (Ord a, Decode a) => Decode (Set.Set a) where
+instance (Ord a, Decode a) => Decode (Set a) where
   decode = (fmap Set.fromList) . (withList decode)
 
-instance (Decode a) => Decode (Seq.Seq a) where
+instance (Decode a) => Decode (Seq a) where
   decode = (fmap Seq.fromList) . (withList decode)
 
-instance (Decode a) => Decode (Vector.Vector a) where
+instance (Decode a) => Decode (Vector a) where
   decode = (fmap Vector.fromList) . (withList decode)
 
 -- | Decode GraphQL type with Specific Kind

src/Data/Morpheus/Server/Deriving/Encode.hs

@@ -23,6 +23,8 @@ import Control.Applicative (Applicative (..))
 import Control.Monad (Monad ((>>=)))
 import Data.Functor (fmap)
 import Data.Functor.Identity (Identity (..))
+import Data.List.NonEmpty (NonEmpty)
+import qualified Data.List.NonEmpty as NonEmpty
 import Data.Map (Map)
 import qualified Data.Map as M
   ( toList,
@@ -92,6 +94,9 @@ import qualified Data.Set as S
   ( toList,
   )
 import Data.Traversable (traverse)
+import Data.Text (pack)
+import Data.Vector (Vector)
+import qualified Data.Vector as Vector
 import GHC.Generics
   ( Generic (..),
   )
@@ -123,6 +128,14 @@ instance (Monad m, Encode o e m a, LiftOperation o) => Encode o e m [a] where
 instance Encode o e m (Pair k v) => Encode o e m (k, v) where
   encode (key, value) = encode (Pair key value)
 
+--  NonEmpty
+instance Encode [a] o e m => Encode (NonEmpty a) o e m where
+  encode = encode . NonEmpty.toList
+
+--  Vector
+instance Encode [a] o e m => Encode (Vector a) o e m where
+  encode = encode . Vector.toList
+
 --  Set
 instance Encode o e m [a] => Encode o e m (Set a) where
   encode = encode . S.toList