git.iko.soy/effectful
on master help sign in
Enable NoStarIsType
fcfd87eAndrzej Rybczak
bench/FileSizes.hs+2−2
compare with master
unifiedsplit
@@ -335,7 +335,7 @@ mtl_calculateFileSizesDeep
335
335
336#ifdef VERSION_polysemy
336#ifdef VERSION_polysemy
337
337
338−data Poly_File (m :: * -> *) a where
338+data Poly_File :: E.Effect where
339 Poly_tryFileSize :: FilePath -> Poly_File m (Maybe Int)
339 Poly_tryFileSize :: FilePath -> Poly_File m (Maybe Int)
340
340
341poly_tryFileSize :: P.Member Poly_File es => FilePath -> P.Sem es (Maybe Int)
341poly_tryFileSize :: P.Member Poly_File es => FilePath -> P.Sem es (Maybe Int)
@@ -345,7 +345,7 @@ poly_runFile :: P.Member (P.Embed IO) es => P.Sem (Poly_File : es) a -> P.Sem es
345poly_runFile = P.interpret \case
345poly_runFile = P.interpret \case
346 Poly_tryFileSize path -> P.embed $ tryGetFileSize path
346 Poly_tryFileSize path -> P.embed $ tryGetFileSize path
347
347
348−data Poly_Logging (m :: * -> *) a where
348+data Poly_Logging :: E.Effect where
349 Poly_logMsg :: String -> Poly_Logging m ()
349 Poly_logMsg :: String -> Poly_Logging m ()
350
350
351poly_logMsg :: P.Member Poly_Logging es => String -> P.Sem es ()
351poly_logMsg :: P.Member Poly_Logging es => String -> P.Sem es ()
effectful.cabal+1
@@ -36,6 +36,7 @@ common language
36 GeneralizedNewtypeDeriving
36 GeneralizedNewtypeDeriving
37 LambdaCase
37 LambdaCase
38 MultiParamTypeClasses
38 MultiParamTypeClasses
39+ NoStarIsType
39 RankNTypes
40 RankNTypes
40 RecordWildCards
41 RecordWildCards
41 RoleAnnotations
42 RoleAnnotations