Use Fourmolu 0.11

Author: tchoutri

docs/src/Tutorial.hs

@@ -180,7 +180,7 @@ data AuthorInfo = AuthorInfo
   }
   deriving stock (Eq, Show)
 
-mkAuthor :: MonadIO m => AuthorInfo -> m Author
+mkAuthor :: (MonadIO m) => AuthorInfo -> m Author
 mkAuthor AuthorInfo{name = authorName} = do
   authorId <- liftIO $ AuthorId <$> UUID.nextRandom
   createdAt <- liftIO Time.getCurrentTime

fourmolu.yaml

@@ -8,3 +8,4 @@ haddock-style: multi-line-compact # '--' vs. '{-'
 newlines-between-decls: 1 # number of newlines between top-level declarations
 fixities: []
 function-arrows: leading
+single-constraint-parens: never

src/Database/PostgreSQL/Entity.hs

@@ -352,7 +352,7 @@ deleteByField fs values = void $ execute Delete (_deleteWhere @e fs) values
 
  @since 0.0.1.0
 -}
-_select :: forall e. Entity e => Query
+_select :: forall e. (Entity e) => Query
 _select = textToQuery $ "SELECT " <> expandQualifiedFields @e <> " FROM " <> getTableName @e
 
 {-| Produce a SELECT statement with explicit fields for a given entity
@@ -364,7 +364,7 @@ _select = textToQuery $ "SELECT " <> expandQualifiedFields @e <> " FROM " <> get
 
  @since 0.0.1.0
 -}
-_selectWithFields :: forall e. Entity e => Vector Field -> Query
+_selectWithFields :: forall e. (Entity e) => Vector Field -> Query
 _selectWithFields fs = textToQuery $ "SELECT " <> expandQualifiedFields' fs tn <> " FROM " <> quoteName tn
   where
     tn = getTableName @e
@@ -404,7 +404,7 @@ _where fs' = textToQuery $ " WHERE " <> clauseFields
 
  @since 0.0.1.0
 -}
-_selectWhere :: forall e. Entity e => Vector Field -> Query
+_selectWhere :: forall e. (Entity e) => Vector Field -> Query
 _selectWhere fs = _select @e <> _where fs
 
 {-| Produce a SELECT statement where the provided fields are checked for being non-null.
@@ -415,7 +415,7 @@ _selectWhere fs = _select @e <> _where fs
 
  @since 0.0.1.0
 -}
-_selectWhereNotNull :: forall e. Entity e => Vector Field -> Query
+_selectWhereNotNull :: forall e. (Entity e) => Vector Field -> Query
 _selectWhereNotNull fs = _select @e <> textToQuery (" WHERE " <> isNotNull fs)
 
 {-| Produce a SELECT statement where the provided fields are checked for being null.
@@ -425,7 +425,7 @@ _selectWhereNotNull fs = _select @e <> textToQuery (" WHERE " <> isNotNull fs)
 
  @since 0.0.1.0
 -}
-_selectWhereNull :: forall e. Entity e => Vector Field -> Query
+_selectWhereNull :: forall e. (Entity e) => Vector Field -> Query
 _selectWhereNull fs = _select @e <> textToQuery (" WHERE " <> isNull fs)
 
 {-| Produce a SELECT statement where the given field is checked aginst the provided array of values .
@@ -435,7 +435,7 @@ _selectWhereNull fs = _select @e <> textToQuery (" WHERE " <> isNull fs)
 
  @since 0.0.2.0
 -}
-_selectWhereIn :: forall e. Entity e => Field -> Vector Text -> Query
+_selectWhereIn :: forall e. (Entity e) => Field -> Vector Text -> Query
 _selectWhereIn f values = _select @e <> textToQuery (" WHERE " <> isIn f values)
 
 {-| Produce a "SELECT FROM" over two entities.
@@ -548,7 +548,7 @@ _joinSelectOneByField pivotField whereField =
 
  @since 0.0.1.0
 -}
-_insert :: forall e. Entity e => Query
+_insert :: forall e. (Entity e) => Query
 _insert = textToQuery $ "INSERT INTO " <> getTableName @e <> " " <> fs <> " VALUES " <> ps
   where
     fs = inParens (expandFields @e)
@@ -590,7 +590,7 @@ _onConflictDoUpdate conflictTarget fieldsToReplace =
 
  @since 0.0.1.0
 -}
-_update :: forall e. Entity e => Query
+_update :: forall e. (Entity e) => Query
 _update = _updateBy @e (primaryKey @e)
 
 {-| Produce an UPDATE statement for the given entity by the given field.
@@ -602,7 +602,7 @@ _update = _updateBy @e (primaryKey @e)
 
  @since 0.0.1.0
 -}
-_updateBy :: forall e. Entity e => Field -> Query
+_updateBy :: forall e. (Entity e) => Field -> Query
 _updateBy f = _updateFieldsBy @e (fields @e) f
 
 {-| Produce an UPDATE statement for the given entity and fields, by primary key.
@@ -612,7 +612,7 @@ _updateBy f = _updateFieldsBy @e (fields @e) f
 
  @since 0.0.1.0
 -}
-_updateFields :: forall e. Entity e => Vector Field -> Query
+_updateFields :: forall e. (Entity e) => Vector Field -> Query
 _updateFields fs = _updateFieldsBy @e fs (primaryKey @e)
 
 {-| Produce an UPDATE statement for the given entity and fields, by the specified field.
@@ -627,7 +627,7 @@ _updateFields fs = _updateFieldsBy @e fs (primaryKey @e)
 -}
 _updateFieldsBy
   :: forall e
-   . Entity e
+   . (Entity e)
   => Vector Field
   -- ^ Field names to update
   -> Field
@@ -659,7 +659,7 @@ _updateFieldsBy fs' f =
 
  @since 0.0.1.0
 -}
-_delete :: forall e. Entity e => Query
+_delete :: forall e. (Entity e) => Query
 _delete = textToQuery ("DELETE FROM " <> getTableName @e) <> _where [primaryKey @e]
 
 {-| Produce a DELETE statement for the given entity and fields
@@ -671,7 +671,7 @@ _delete = textToQuery ("DELETE FROM " <> getTableName @e) <> _where [primaryKey
 
  @since 0.0.1.0
 -}
-_deleteWhere :: forall e. Entity e => Vector Field -> Query
+_deleteWhere :: forall e. (Entity e) => Vector Field -> Query
 _deleteWhere fs = textToQuery ("DELETE FROM " <> (getTableName @e)) <> _where fs
 
 {-| Produce an ORDER BY clause with one field and a sorting keyword

src/Database/PostgreSQL/Entity/Internal.hs

@@ -112,7 +112,7 @@ literal n = "\'" <> escapeSingleQuotes n <> "\'"
 
  @since 0.0.1.0
 -}
-getTableName :: forall e. Entity e => Text
+getTableName :: forall e. (Entity e) => Text
 getTableName = prefix (schema @e) <> quoteName (tableName @e)
 
 {-| Safe getter that quotes a table's primary key
@@ -126,7 +126,7 @@ getTableName = prefix (schema @e) <> quoteName (tableName @e)
 
  @since 0.0.2.0
 -}
-getPrimaryKey :: forall e. Entity e => Text
+getPrimaryKey :: forall e. (Entity e) => Text
 getPrimaryKey = getFieldName $ primaryKey @e
 
 prefix :: Maybe Text -> Text
@@ -151,7 +151,7 @@ getFieldName = quoteName . fieldName
 
  @since 0.0.1.0
 -}
-expandFields :: forall e. Entity e => Text
+expandFields :: forall e. (Entity e) => Text
 expandFields = V.foldl1' (\element acc -> element <> ", " <> acc) (getFieldName <$> fields @e)
 
 {-| Produce a comma-separated list of an entity's fields, qualified with the table name
@@ -163,7 +163,7 @@ expandFields = V.foldl1' (\element acc -> element <> ", " <> acc) (getFieldName
 
  @since 0.0.1.0
 -}
-expandQualifiedFields :: forall e. Entity e => Text
+expandQualifiedFields :: forall e. (Entity e) => Text
 expandQualifiedFields = expandQualifiedFields' (fields @e) prefixName
   where
     prefixName = tableName @e
@@ -193,7 +193,7 @@ expandQualifiedFields' fs prefixName = V.foldl1' (\element acc -> element <> ",
 
  @since 0.0.2.0
 -}
-qualifyField :: forall e. Entity e => Field -> Text
+qualifyField :: forall e. (Entity e) => Field -> Text
 qualifyField f = (\(Field fName _) -> p <> "." <> quoteName fName) f
   where
     p = tableName @e
@@ -241,7 +241,7 @@ placeholder (Field f (Just t)) = quoteName f <> " = ?::" <> t
 
  @since 0.0.2.0
 -}
-placeholder' :: forall e. Entity e => Field -> Text
+placeholder' :: forall e. (Entity e) => Field -> Text
 placeholder' f@(Field _ (Just t)) = qualifyField @e f <> " = ?::" <> t
 placeholder' f = qualifyField @e f <> " = ?"
 

src/Database/PostgreSQL/Entity/Internal/BlogPost.hs

@@ -56,7 +56,7 @@ data Author = Author
     (Entity)
     via (GenericEntity '[PrimaryKey "author_id", TableName "authors"] Author)
 
-instance HasField x Author a => IsLabel x (Author -> a) where
+instance (HasField x Author a) => IsLabel x (Author -> a) where
   fromLabel = getField @x
 
 -- | Wrapper around the UUID type
@@ -99,7 +99,7 @@ data BlogPost = BlogPost
   deriving stock (Eq, Generic, Ord, Show)
   deriving anyclass (FromRow, ToRow)
 
-instance HasField x BlogPost a => IsLabel x (BlogPost -> a) where
+instance (HasField x BlogPost a) => IsLabel x (BlogPost -> a) where
   fromLabel = getField @x
 
 instance Entity BlogPost where

src/Database/PostgreSQL/Entity/Types.hs

@@ -130,10 +130,10 @@ instance (TypeError ('Text "You can't derive an Entity for a type constructor's
 instance (TypeError ('Text "You don't have to derive GetTableName for a product type")) => GetTableName (e :*: f) where
   getTableName _opts = error "You don't have to derive GetTableName for a product type"
 
-instance GetTableName e => GetTableName (M1 C _1 e) where
+instance (GetTableName e) => GetTableName (M1 C _1 e) where
   getTableName opts = getTableName @e opts
 
-instance GetTableName e => GetTableName (M1 S _1 e) where
+instance (GetTableName e) => GetTableName (M1 S _1 e) where
   getTableName opts = getTableName @e opts
 
 instance
@@ -161,10 +161,10 @@ instance (TypeError ('Text "You can't derive Entity for a a type constructor's f
 instance (GetFields e, GetFields f) => GetFields (e :*: f) where
   getField opts = getField @e opts <> getField @f opts
 
-instance GetFields e => GetFields (M1 C _1 e) where
+instance (GetFields e) => GetFields (M1 C _1 e) where
   getField opts = getField @e opts
 
-instance GetFields e => GetFields (M1 D ('MetaData _1 _2 _3 _4) e) where
+instance (GetFields e) => GetFields (M1 D ('MetaData _1 _2 _3 _4) e) where
   getField opts = getField @e opts
 
 instance (KnownSymbol name) => GetFields (M1 S ('MetaSel ('Just name) _1 _2 _3) _4) where
@@ -320,7 +320,7 @@ newtype UpdateRow a = UpdateRow {getUpdate :: a}
   deriving stock (Eq, Show)
   deriving newtype (Entity)
 
-instance ToRow a => ToRow (UpdateRow a) where
+instance (ToRow a) => ToRow (UpdateRow a) where
   toRow = (drop <> take) 1 . toRow . getUpdate
 
 {-|

test/Utils.hs

@@ -77,19 +77,19 @@ assertEqual expected actual = liftIO $ Test.assertEqual "" expected actual
 
 --
 
-genAuthorId :: MonadGen m => m AuthorId
+genAuthorId :: (MonadGen m) => m AuthorId
 genAuthorId = AuthorId <$> genUUID
 
-genUUID :: MonadGen m => m UUID
+genUUID :: (MonadGen m) => m UUID
 genUUID = UUID.fromWords <$> genWord32 <*> genWord32 <*> genWord32 <*> genWord32
   where
-    genWord32 :: MonadGen m => m Word32
+    genWord32 :: (MonadGen m) => m Word32
     genWord32 = H.word32 (Range.constant minBound maxBound)
 
-genUUIDList :: MonadGen m => m UUIDList
+genUUIDList :: (MonadGen m) => m UUIDList
 genUUIDList = UUIDList . V.fromList <$> H.list (Range.linear 1 10) genUUID
 
-genUTCTime :: MonadGen m => m UTCTime
+genUTCTime :: (MonadGen m) => m UTCTime
 genUTCTime = do
   year <- toInteger <$> H.int (Range.constant 2000 2022)
   month <- H.int (Range.constant 1 12)
@@ -98,10 +98,10 @@ genUTCTime = do
   secs <- toInteger <$> H.int (Range.constant 0 86401)
   pure $ UTCTime date (secondsToDiffTime secs)
 
-genName :: MonadGen m => m Text
+genName :: (MonadGen m) => m Text
 genName = H.text (Range.constant 3 25) H.unicode
 
-genAuthor :: MonadGen m => m Author
+genAuthor :: (MonadGen m) => m Author
 genAuthor = do
   authorId <- genAuthorId
   name <- genName
@@ -115,15 +115,15 @@ data RandomAuthorTemplate m = RandomAuthorTemplate
   }
   deriving stock (Generic)
 
-randomAuthorTemplate :: MonadIO m => RandomAuthorTemplate m
+randomAuthorTemplate :: (MonadIO m) => RandomAuthorTemplate m
 randomAuthorTemplate =
   RandomAuthorTemplate
     { generateAuthorId = H.sample genAuthorId
     , generateName = H.sample genName
     , generateCreatedAt = H.sample genUTCTime
     }
 
-randomAuthor :: MonadIO m => RandomAuthorTemplate m -> m Author
+randomAuthor :: (MonadIO m) => RandomAuthorTemplate m -> m Author
 randomAuthor RandomAuthorTemplate{..} = do
   authorId <- generateAuthorId
   name <- generateName
@@ -141,7 +141,7 @@ instantiateRandomAuthor RandomAuthorTemplate{..} = do
 
 --
 
-genBlogPost :: MonadGen m => m BlogPost
+genBlogPost :: (MonadGen m) => m BlogPost
 genBlogPost = do
   blogPostId <- genBlogPostId
   authorId <- genAuthorId
@@ -151,7 +151,7 @@ genBlogPost = do
   createdAt <- genUTCTime
   pure BlogPost{..}
 
-genBlogPostId :: MonadGen m => m BlogPostId
+genBlogPostId :: (MonadGen m) => m BlogPostId
 genBlogPostId = BlogPostId <$> genUUID
 
 data RandomBlogPostTemplate m = RandomBlogPostTemplate
@@ -164,7 +164,7 @@ data RandomBlogPostTemplate m = RandomBlogPostTemplate
   }
   deriving stock (Generic)
 
-randomBlogPostTemplate :: MonadIO m => RandomBlogPostTemplate m
+randomBlogPostTemplate :: (MonadIO m) => RandomBlogPostTemplate m
 randomBlogPostTemplate =
   RandomBlogPostTemplate
     { generateBlogPostId = H.sample genBlogPostId
@@ -175,7 +175,7 @@ randomBlogPostTemplate =
     , generateCreatedAt = H.sample genUTCTime
     }
 
-randomBlogPost :: MonadIO m => RandomBlogPostTemplate m -> m BlogPost
+randomBlogPost :: (MonadIO m) => RandomBlogPostTemplate m -> m BlogPost
 randomBlogPost RandomBlogPostTemplate{..} = do
   blogPostId <- generateBlogPostId
   authorId <- generateAuthorId