module Darcs.Util.English where
import Prelude ()
import Darcs.Prelude
import Data.Char (toUpper)
import Data.List (isSuffixOf)
englishNum :: Countable n => Int -> n -> ShowS
englishNum :: Int -> n -> ShowS
englishNum x :: Int
x = if Int
x Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== 1 then n -> ShowS
forall a. Countable a => a -> ShowS
singular else n -> ShowS
forall a. Countable a => a -> ShowS
plural
class Countable a where
plural :: a -> ShowS
singular :: a -> ShowS
newtype Noun = Noun String
data Pronoun = It
instance Countable Noun where
plural :: Noun -> ShowS
plural (Noun s :: String
s) | "ch" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isSuffixOf` String
s = String -> ShowS
showString String
s ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> ShowS
showString "es"
plural (Noun s :: String
s) | "y" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isSuffixOf` String
s
Bool -> Bool -> Bool
&& String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
s Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> 1
Bool -> Bool -> Bool
&& String -> Char
forall a. [a] -> a
last (ShowS
forall a. [a] -> [a]
init String
s) Char -> String -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`notElem` "aeiou" =
String -> ShowS
showString (ShowS
forall a. [a] -> [a]
init String
s) ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> ShowS
showString "ies"
plural (Noun s :: String
s) = String -> ShowS
showString String
s ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> ShowS
showChar 's'
singular :: Noun -> ShowS
singular (Noun s :: String
s) = String -> ShowS
showString String
s
instance Countable Pronoun where
plural :: Pronoun -> ShowS
plural It = String -> ShowS
showString "them"
singular :: Pronoun -> ShowS
singular It = String -> ShowS
showString "it"
data This = This Noun
instance Countable This where
plural :: This -> ShowS
plural (This s :: Noun
s) = String -> ShowS
showString "these " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Noun -> ShowS
forall a. Countable a => a -> ShowS
plural Noun
s
singular :: This -> ShowS
singular (This s :: Noun
s) = String -> ShowS
showString "this " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Noun -> ShowS
forall a. Countable a => a -> ShowS
singular Noun
s
andClauses, orClauses :: [String] -> String
andClauses :: [String] -> String
andClauses = String -> [String] -> String
itemize "and"
orClauses :: [String] -> String
orClauses = String -> [String] -> String
itemize "or"
itemize :: String -> [String] -> String
itemize :: String -> [String] -> String
itemize _ [] = ""
itemize _ [x :: String
x] = String
x
itemize sep :: String
sep [x :: String
x,x' :: String
x'] = [String] -> String
unwords [String
x, String
sep, String
x']
itemize sep :: String
sep (x :: String
x:x' :: String
x':xs :: [String]
xs) = String -> String -> [String] -> String
itemize' String
x String
x' [String]
xs where
itemize' :: String -> String -> [String] -> String
itemize' y :: String
y y' :: String
y' [] = [String] -> String
unwords [String
y String -> ShowS
forall a. [a] -> [a] -> [a]
++ ",", String
sep, String
y']
itemize' y :: String
y y' :: String
y' (y'' :: String
y'':ys :: [String]
ys) = [String] -> String
unwords [String
y String -> ShowS
forall a. [a] -> [a] -> [a]
++ ",", String -> String -> [String] -> String
itemize' String
y' String
y'' [String]
ys]
presentParticiple :: String -> String
presentParticiple :: ShowS
presentParticiple v :: String
v | String -> Char
forall a. [a] -> a
last String
v Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== 'e' = ShowS
forall a. [a] -> [a]
init String
v String -> ShowS
forall a. [a] -> [a] -> [a]
++ "ing"
| Bool
otherwise = String
v String -> ShowS
forall a. [a] -> [a] -> [a]
++ "ing"
capitalize :: String -> String
capitalize :: ShowS
capitalize [] = []
capitalize (x :: Char
x:xs :: String
xs) = Char -> Char
toUpper Char
x Char -> ShowS
forall a. a -> [a] -> [a]
: String
xs