add role annotations

.gitignore

@@ -1,3 +1,4 @@
 *.stack-work
+/dist-newstyle
 *.graphula
 test.db

graphula.cabal

@@ -3,8 +3,6 @@ cabal-version: 1.12
 -- This file has been generated from package.yaml by hpack version 0.36.0.
 --
 -- see: https://github.com/sol/hpack
---
--- hash: 77f36204ab2afc392bf0f4eb7413aaf8ff36c25b86f28dde5747f3ed9121f0d4
 
 name:           graphula
 version:        2.1.0.0
@@ -46,6 +44,8 @@ library
       Paths_graphula
   hs-source-dirs:
       src
+  default-extensions:
+      RoleAnnotations
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-implicit-prelude -Wno-missing-import-lists -Wno-safe -Wno-unsafe
   build-depends:
       HUnit
@@ -77,6 +77,8 @@ test-suite readme
       Paths_graphula
   hs-source-dirs:
       test
+  default-extensions:
+      RoleAnnotations
   ghc-options: -Weverything -Wno-all-missed-specialisations -Wno-implicit-prelude -Wno-missing-import-lists -Wno-safe -Wno-unsafe -pgmL markdown-unlit
   build-depends:
       QuickCheck

package.yaml

@@ -34,6 +34,9 @@ when:
 dependencies:
   - base < 5
 
+default-extensions:
+  - RoleAnnotations
+
 library:
   source-dirs:
     - src

src/Graphula.hs

@@ -191,12 +191,18 @@ data Args backend n m = Args
   , gen :: IORef QCGen
   }
 
+type role Args representational representational representational
+
 newtype RunDB backend n m = RunDB (forall b. ReaderT backend n b -> m b)
 
+type role RunDB representational representational representational
+
 newtype GraphulaT n m a = GraphulaT {runGraphulaT' :: ReaderT (Args SqlBackend n m) m a}
   deriving newtype
     (Functor, Applicative, Monad, MonadIO, MonadReader (Args SqlBackend n m))
 
+type role GraphulaT representational representational nominal
+
 instance MonadTrans (GraphulaT n) where
   lift = GraphulaT . lift
 

src/Graphula/Dependencies.hs

@@ -127,6 +127,8 @@ class HasDependencies a where
 newtype Only a = Only {fromOnly :: a}
   deriving stock (Eq, Show, Ord, Generic, Functor, Foldable, Traversable)
 
+type role Only representational
+
 only :: a -> Only a
 only = Only
 
@@ -142,8 +144,12 @@ data KeySourceType
 
 newtype Required a = Required a
 
+type role Required representational
+
 newtype Optional a = Optional (Maybe a)
 
+type role Optional representational
+
 -- | When a user of Graphula inserts, this wraps the key they provide.
 --   For 'SourceExternal' a key is required; for others it's optional.
 type family KeySourceTypeM (t :: KeySourceType) :: Type -> Type where

src/Graphula/Dependencies/Generic.hs

@@ -22,6 +22,8 @@ data Match t
   = NoMatch t
   | Match t
 
+type role Match representational
+
 type family DependenciesTypeInstance nodeTy depsTy where
   DependenciesTypeInstance nodeTy depsTy =
     'Text "‘type Dependencies "

src/Graphula/Idempotent.hs

@@ -43,6 +43,8 @@ newtype GraphulaIdempotentT m a = GraphulaIdempotentT
     , MonadReader (IORef (m ()))
     )
 
+type role GraphulaIdempotentT representational nominal
+
 instance MonadUnliftIO m => MonadUnliftIO (GraphulaIdempotentT m) where
   {-# INLINE withRunInIO #-}
   withRunInIO inner = GraphulaIdempotentT $ withRunInIO $ \run ->

src/Graphula/Logged.hs

@@ -56,6 +56,8 @@ newtype GraphulaLoggedT m a = GraphulaLoggedT
     , MonadReader (IORef (Seq Text))
     )
 
+type role GraphulaLoggedT representational nominal
+
 instance MonadUnliftIO m => MonadUnliftIO (GraphulaLoggedT m) where
   {-# INLINE withRunInIO #-}
   withRunInIO inner =

src/Graphula/Node.hs

@@ -68,6 +68,8 @@ newtype NodeOptions a = NodeOptions
   }
   deriving stock (Generic)
 
+type role NodeOptions nominal
+
 instance Semigroup (NodeOptions a) where
   (<>) = gmappend
   {-# INLINE (<>) #-}
@@ -80,6 +82,8 @@ instance Monoid (NodeOptions a) where
 newtype Kendo m a = Kendo {appKendo :: a -> m a}
   deriving stock (Generic)
 
+type role Kendo representational nominal
+
 instance Monad m => Semigroup (Kendo m a) where
   Kendo f <> Kendo g = Kendo $ f <=< g
   {-# INLINE (<>) #-}