Haskell Quiz/PP Pascal/Solution Ltriant: Difference between revisions

From HaskellWiki
No edit summary
 
mNo edit summary
Line 2: Line 2:


Works...kind of; adds a space or two (or three) to the end of each line.
Works...kind of; adds a space or two (or three) to the end of each line.
Edit: doesn't add spaces to the end anymore :)


<haskell>
<haskell>
Line 8: Line 10:
import System.Environment ( getArgs )
import System.Environment ( getArgs )


fac :: Integer -> Integer
fac n = product [1..n]
fac n = product [1..n]
nck :: Integer -> Integer -> Integer
nck n k = (fac n) `div` ((fac $ n - k) * (fac k))
nck n k = (fac n) `div` ((fac $ n - k) * (fac k))
rstrip :: Eq a => a -> [a] -> [a]
rstrip n t = reverse $ dropWhile (== n) $ reverse t
space_len :: Integer -> Integer
space_len n = mylength $ show $ (n-1) `nck` ((n-1) `div` 2)
space_len n = mylength $ show $ (n-1) `nck` ((n-1) `div` 2)
mylength :: [a] -> Integer
mylength = toInteger . length
mylength = toInteger . length


indent :: Integer -> [String] -> [String]
indent n t =
indent n t =
     (concat $ replicate (fromInteger $ (n-p) * space_len n)  " "):t
     (concat $ replicate (fromInteger $ (n-p) * space_len n)  " "):t
     where p = mylength t
     where p = mylength t


space_out :: Integer -> [Integer] -> [String]
space_out n t =
space_out n t =
     map (\x -> show x ++ (concat $ replicate (num_spaces x) " ")) t
     map (\x -> show x ++ (concat $ replicate (num_spaces x) " ")) t
     where num_spaces x = fromInteger $ (2 * space_len n) - (mylength $ show x)
     where num_spaces x = fromInteger $ (2 * space_len n) - (mylength $ show x)


pp_pascal :: Integer -> [String]
pp_pascal n =
pp_pascal n =
     map (concat . indent n . space_out n) $ f 0 n
     map (rstrip ' ' . concat . indent n . space_out n) $ f 0 n
     where f acc n | acc == n  = []
     where f acc n | acc == n  = []
                   | otherwise = (map (nck acc) [0..acc]):(f (acc+1) n)
                   | otherwise = (map (nck acc) [0..acc]):(f (acc+1) n)


main :: IO ()
main =
main =
     do args <- getArgs
     do args <- getArgs

Revision as of 02:54, 2 November 2006


Works...kind of; adds a space or two (or three) to the end of each line.

Edit: doesn't add spaces to the end anymore :)

module Main where

import System.Environment ( getArgs )

fac :: Integer -> Integer
fac n = product [1..n]

nck :: Integer -> Integer -> Integer
nck n k = (fac n) `div` ((fac $ n - k) * (fac k))

rstrip :: Eq a => a -> [a] -> [a]
rstrip n t = reverse $ dropWhile (== n) $ reverse t

space_len :: Integer -> Integer
space_len n = mylength $ show $ (n-1) `nck` ((n-1) `div` 2)

mylength :: [a] -> Integer
mylength = toInteger . length

indent :: Integer -> [String] -> [String]
indent n t =
    (concat $ replicate (fromInteger $ (n-p) * space_len n)  " "):t
    where p = mylength t

space_out :: Integer -> [Integer] -> [String]
space_out n t =
    map (\x -> show x ++ (concat $ replicate (num_spaces x) " ")) t
    where num_spaces x = fromInteger $ (2 * space_len n) - (mylength $ show x)

pp_pascal :: Integer -> [String]
pp_pascal n =
    map (rstrip ' ' . concat . indent n . space_out n) $ f 0 n
    where f acc n | acc == n  = []
                  | otherwise = (map (nck acc) [0..acc]):(f (acc+1) n)

main :: IO ()
main =
    do args <- getArgs
       case args of
         [v] -> mapM_ putStrLn $ pp_pascal (read v :: Integer)
         _   -> error "No argument specified."