fix: Formatting and linting errors.

Author: mchav

dataframe-fastcsv/tests/Main.hs

@@ -7,9 +7,7 @@ import Test.HUnit
 import qualified Operations.ReadCsv
 
 tests :: Test
-tests =
-    TestList $
-        Operations.ReadCsv.tests
+tests = TestList Operations.ReadCsv.tests
 
 main :: IO ()
 main = do

src/DataFrame/Typed/Lazy.hs

@@ -4,7 +4,6 @@
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE TypeApplications #-}
 
 {- |

src/DataFrame/Typed/Schema.hs

@@ -122,9 +122,18 @@ type family ExcludeSchema (names :: [Symbol]) (cols :: [Type]) :: [Type] where
     ExcludeSchema names (Column n a ': rest) =
         ExcludeSchemaHelper (IsElem n names) n a names rest
 
-type family ExcludeSchemaHelper (found :: Bool) (n :: Symbol) (a :: Type) (names :: [Symbol]) (rest :: [Type]) :: [Type] where
-    ExcludeSchemaHelper 'True  n a names rest = ExcludeSchema names rest
-    ExcludeSchemaHelper 'False n a names rest = Column n a ': ExcludeSchema names rest
+type family
+    ExcludeSchemaHelper
+        (found :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (names :: [Symbol])
+        (rest :: [Type]) ::
+        [Type]
+    where
+    ExcludeSchemaHelper 'True n a names rest = ExcludeSchema names rest
+    ExcludeSchemaHelper 'False n a names rest =
+        Column n a ': ExcludeSchema names rest
 
 -- | Type-level elem for Symbols
 type family IsElem (x :: Symbol) (xs :: [Symbol]) :: Bool where
@@ -200,10 +209,18 @@ type family AssertAllPresent (name :: [Symbol]) (cols :: [Type]) :: Constraint w
         AssertAllPresentHelper (HasName name cols) name rest cols
     AssertAllPresent '[] cols = ()
 
-type family AssertAllPresentHelper (found :: Bool) (name :: Symbol) (rest :: [Symbol]) (cols :: [Type]) :: Constraint where
-    AssertAllPresentHelper 'True  name rest cols = AssertAllPresent rest cols
+type family
+    AssertAllPresentHelper
+        (found :: Bool)
+        (name :: Symbol)
+        (rest :: [Symbol])
+        (cols :: [Type]) ::
+        Constraint
+    where
+    AssertAllPresentHelper 'True name rest cols = AssertAllPresent rest cols
     AssertAllPresentHelper 'False name rest cols =
-        TypeError ('Text "Column '" ':<>: 'Text name ':<>: 'Text "' not found in schema")
+        TypeError
+            ('Text "Column '" ':<>: 'Text name ':<>: 'Text "' not found in schema")
 
 {- | Strip 'Maybe' from all columns. Used by 'filterAllJust'.
 
@@ -234,8 +251,15 @@ type family SharedNames (left :: [Type]) (right :: [Type]) :: [Symbol] where
     SharedNames (Column n _ ': rest) right =
         SharedNamesHelper (HasName n right) n rest right
 
-type family SharedNamesHelper (found :: Bool) (n :: Symbol) (rest :: [Type]) (right :: [Type]) :: [Symbol] where
-    SharedNamesHelper 'True  n rest right = n ': SharedNames rest right
+type family
+    SharedNamesHelper
+        (found :: Bool)
+        (n :: Symbol)
+        (rest :: [Type])
+        (right :: [Type]) ::
+        [Symbol]
+    where
+    SharedNamesHelper 'True n rest right = n ': SharedNames rest right
     SharedNamesHelper 'False n rest right = SharedNames rest right
 
 -- | Columns from @left@ whose names do NOT appear in @right@.
@@ -244,8 +268,16 @@ type family UniqueLeft (left :: [Type]) (rightNames :: [Symbol]) :: [Type] where
     UniqueLeft (Column n a ': rest) rn =
         UniqueLeftHelper (IsElem n rn) n a rest rn
 
-type family UniqueLeftHelper (found :: Bool) (n :: Symbol) (a :: Type) (rest :: [Type]) (rn :: [Symbol]) :: [Type] where
-    UniqueLeftHelper 'True  n a rest rn = UniqueLeft rest rn
+type family
+    UniqueLeftHelper
+        (found :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (rest :: [Type])
+        (rn :: [Symbol]) ::
+        [Type]
+    where
+    UniqueLeftHelper 'True n a rest rn = UniqueLeft rest rn
     UniqueLeftHelper 'False n a rest rn = Column n a ': UniqueLeft rest rn
 
 -- | Wrap column types in Maybe.
@@ -259,24 +291,55 @@ type family WrapMaybeColumns (names :: [Symbol]) (cols :: [Type]) :: [Type] wher
     WrapMaybeColumns names (Column n a ': rest) =
         WrapMaybeColumnsHelper (IsElem n names) n a names rest
 
-type family WrapMaybeColumnsHelper (found :: Bool) (n :: Symbol) (a :: Type) (names :: [Symbol]) (rest :: [Type]) :: [Type] where
-    WrapMaybeColumnsHelper 'True  n a names rest = Column n (Maybe a) ': WrapMaybeColumns names rest
-    WrapMaybeColumnsHelper 'False n a names rest = Column n a ': WrapMaybeColumns names rest
+type family
+    WrapMaybeColumnsHelper
+        (found :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (names :: [Symbol])
+        (rest :: [Type]) ::
+        [Type]
+    where
+    WrapMaybeColumnsHelper 'True n a names rest =
+        Column n (Maybe a) ': WrapMaybeColumns names rest
+    WrapMaybeColumnsHelper 'False n a names rest =
+        Column n a ': WrapMaybeColumns names rest
 
 -- | Columns in left whose names collide with right (excluding keys).
 type family CollidingColumns (left :: [Type]) (right :: [Type]) (keys :: [Symbol]) :: [Type] where
     CollidingColumns '[] _ _ = '[]
     CollidingColumns (Column n a ': rest) right keys =
         CollidingColumnsHelper1 (IsElem n keys) n a rest right keys
 
-type family CollidingColumnsHelper1 (isKey :: Bool) (n :: Symbol) (a :: Type) (rest :: [Type]) (right :: [Type]) (keys :: [Symbol]) :: [Type] where
-    CollidingColumnsHelper1 'True  n a rest right keys = CollidingColumns rest right keys
+type family
+    CollidingColumnsHelper1
+        (isKey :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (rest :: [Type])
+        (right :: [Type])
+        (keys :: [Symbol]) ::
+        [Type]
+    where
+    CollidingColumnsHelper1 'True n a rest right keys =
+        CollidingColumns rest right keys
     CollidingColumnsHelper1 'False n a rest right keys =
         CollidingColumnsHelper2 (HasName n right) n a rest right keys
 
-type family CollidingColumnsHelper2 (inRight :: Bool) (n :: Symbol) (a :: Type) (rest :: [Type]) (right :: [Type]) (keys :: [Symbol]) :: [Type] where
-    CollidingColumnsHelper2 'True  n a rest right keys = Column n (These a (Lookup n right)) ': CollidingColumns rest right keys
-    CollidingColumnsHelper2 'False n a rest right keys = CollidingColumns rest right keys
+type family
+    CollidingColumnsHelper2
+        (inRight :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (rest :: [Type])
+        (right :: [Type])
+        (keys :: [Symbol]) ::
+        [Type]
+    where
+    CollidingColumnsHelper2 'True n a rest right keys =
+        Column n (These a (Lookup n right)) ': CollidingColumns rest right keys
+    CollidingColumnsHelper2 'False n a rest right keys =
+        CollidingColumns rest right keys
 
 -- | Inner join result schema.
 type family InnerJoinSchema (keys :: [Symbol]) (left :: [Type]) (right :: [Type]) :: [Type] where
@@ -339,8 +402,17 @@ type family GroupKeyColumns (keys :: [Symbol]) (cols :: [Type]) :: [Type] where
     GroupKeyColumns keys (Column n a ': rest) =
         GroupKeyColumnsHelper (IsElem n keys) n a keys rest
 
-type family GroupKeyColumnsHelper (found :: Bool) (n :: Symbol) (a :: Type) (keys :: [Symbol]) (rest :: [Type]) :: [Type] where
-    GroupKeyColumnsHelper 'True  n a keys rest = Column n a ': GroupKeyColumns keys rest
+type family
+    GroupKeyColumnsHelper
+        (found :: Bool)
+        (n :: Symbol)
+        (a :: Type)
+        (keys :: [Symbol])
+        (rest :: [Type]) ::
+        [Type]
+    where
+    GroupKeyColumnsHelper 'True n a keys rest =
+        Column n a ': GroupKeyColumns keys rest
     GroupKeyColumnsHelper 'False n a keys rest = GroupKeyColumns keys rest
 
 -- | Provides runtime evidence of a schema: a list of (name, TypeRep) pairs.