stylish-haskell-0.12.2.0: tests/Language/Haskell/Stylish/Step/SimpleAlign/Tests.hs
--------------------------------------------------------------------------------
{-# LANGUAGE OverloadedLists #-}
module Language.Haskell.Stylish.Step.SimpleAlign.Tests
( tests
) where
--------------------------------------------------------------------------------
import Test.Framework (Test, testGroup)
import Test.Framework.Providers.HUnit (testCase)
import Test.HUnit (Assertion)
--------------------------------------------------------------------------------
import Language.Haskell.Stylish.Step.SimpleAlign
import Language.Haskell.Stylish.Tests.Util
--------------------------------------------------------------------------------
tests :: Test
tests = testGroup "Language.Haskell.Stylish.Step.SimpleAlign.Tests"
[ testCase "case 01" case01
, testCase "case 02" case02
, testCase "case 03" case03
, testCase "case 04" case04
, testCase "case 05" case05
, testCase "case 06" case06
, testCase "case 07" case07
, testCase "case 08" case08
, testCase "case 09" case09
, testCase "case 10" case10
, testCase "case 11" case11
, testCase "case 12" case12
, testCase "case 13" case13
, testCase "case 13b" case13b
, testCase "case 14" case14
, testCase "case 15" case15
, testCase "case 16" case16
, testCase "case 17" case17
]
--------------------------------------------------------------------------------
case01 :: Assertion
case01 = assertSnippet (step (Just 80) defaultConfig)
[ "eitherToMaybe e = case e of"
, " Left _ -> Nothing"
, " Right x -> Just x"
]
[ "eitherToMaybe e = case e of"
, " Left _ -> Nothing"
, " Right x -> Just x"
]
--------------------------------------------------------------------------------
case02 :: Assertion
case02 = assertSnippet (step (Just 80) defaultConfig)
[ "eitherToMaybe (Left _) = Nothing"
, "eitherToMaybe (Right x) = Just x"
]
[ "eitherToMaybe (Left _) = Nothing"
, "eitherToMaybe (Right x) = Just x"
]
--------------------------------------------------------------------------------
case03 :: Assertion
case03 = assertSnippet (step (Just 80) defaultConfig)
[ "heady def [] = def"
, "heady _ (x : _) = x"
]
[ "heady def [] = def"
, "heady _ (x : _) = x"
]
--------------------------------------------------------------------------------
case04 :: Assertion
case04 = assertSnippet (step (Just 80) defaultConfig)
[ "data Foo = Foo"
, " { foo :: Int"
, " , barqux :: String"
, " } deriving (Show)"
]
[ "data Foo = Foo"
, " { foo :: Int"
, " , barqux :: String"
, " } deriving (Show)"
]
--------------------------------------------------------------------------------
case05 :: Assertion
case05 = assertSnippet (step (Just 80) defaultConfig) input input
where
-- Don't attempt to align this since a field spans multiple lines
input =
[ "data Foo = Foo"
, " { foo :: Int"
, " , barqux"
, " :: String"
, " } deriving (Show)"
]
--------------------------------------------------------------------------------
case06 :: Assertion
case06 = assertSnippet
-- 22 max columns is /just/ enough to align this stuff.
(step (Just 22) defaultConfig)
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
--------------------------------------------------------------------------------
case07 :: Assertion
case07 = assertSnippet
-- 21 max columns is /just NOT/ enough to align this stuff.
(step (Just 21) defaultConfig)
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
--------------------------------------------------------------------------------
case08 :: Assertion
case08 = assertSnippet (step (Just 80) defaultConfig)
[ "canDrink mbAge = case mbAge of"
, " Just age | age > 18 -> True"
, " _ -> False"
]
[ "canDrink mbAge = case mbAge of"
, " Just age | age > 18 -> True"
, " _ -> False"
]
--------------------------------------------------------------------------------
case09 :: Assertion
case09 = assertSnippet (step Nothing defaultConfig)
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: Int"
, " }"
]
--------------------------------------------------------------------------------
case10 :: Assertion
case10 = assertSnippet (step Nothing defaultConfig)
[ "padQual = case align' of"
, " Global -> True"
, " File -> fileAlign"
, " Group -> anyQual"
]
[ "padQual = case align' of"
, " Global -> True"
, " File -> fileAlign"
, " Group -> anyQual"
]
--------------------------------------------------------------------------------
case11 :: Assertion
case11 = assertSnippet (step Nothing defaultConfig)
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: !Int"
, " }"
]
[ "data Foo = Foo"
, " { foo :: String"
, " , barqux :: !Int"
, " }"
]
--------------------------------------------------------------------------------
case12 :: Assertion
case12 = assertSnippet (step Nothing defaultConfig { cCases = Never }) input input
where
input =
[ "case x of"
, " Just y -> 1"
, " Nothing -> 2"
]
--------------------------------------------------------------------------------
case13 :: Assertion
case13 = assertSnippet (step Nothing defaultConfig)
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " | otherwise -> 2"
]
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " | otherwise -> 2"
]
case13b :: Assertion
case13b = assertSnippet (step Nothing defaultConfig {cMultiWayIf = Never})
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " | otherwise -> 2"
]
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " | otherwise -> 2"
]
--------------------------------------------------------------------------------
case14 :: Assertion
case14 = assertSnippet (step (Just 80) defaultConfig { cCases = Adjacent })
[ "catch e = case e of"
, " Left GoodError -> 1"
, " Left BadError -> 2"
, " -- otherwise"
, " Right [] -> 0"
, " Right (x:_) -> x"
]
[ "catch e = case e of"
, " Left GoodError -> 1"
, " Left BadError -> 2"
, " -- otherwise"
, " Right [] -> 0"
, " Right (x:_) -> x"
]
--------------------------------------------------------------------------------
case15 :: Assertion
case15 = assertSnippet (step (Just 80) defaultConfig { cTopLevelPatterns = Adjacent })
[ "catch (Left GoodError) = 1"
, "catch (Left BadError) = 2"
, "-- otherwise"
, "catch (Right []) = 0"
, "catch (Right (x:_)) = x"
]
[ "catch (Left GoodError) = 1"
, "catch (Left BadError) = 2"
, "-- otherwise"
, "catch (Right []) = 0"
, "catch (Right (x:_)) = x"
]
--------------------------------------------------------------------------------
case16 :: Assertion
case16 = assertSnippet (step (Just 80) defaultConfig { cRecords = Adjacent })
[ "data Foo = Foo"
, " { foo :: Int"
, " , foo2 :: String"
, " -- a comment"
, " , barqux :: String"
, " , baz :: String"
, " , baz2 :: Bool"
, " } deriving (Show)"
]
[ "data Foo = Foo"
, " { foo :: Int"
, " , foo2 :: String"
, " -- a comment"
, " , barqux :: String"
, " , baz :: String"
, " , baz2 :: Bool"
, " } deriving (Show)"
]
--------------------------------------------------------------------------------
case17 :: Assertion
case17 = assertSnippet (step Nothing defaultConfig { cMultiWayIf = Adjacent })
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " -- comment"
, " | otherwise -> 2"
]
[ "cond n = if"
, " | n < 10, x <- 1 -> x"
, " -- comment"
, " | otherwise -> 2"
]