module Darcs.Patch.RegChars ( regChars,
) where
import Prelude ()
import Darcs.Prelude
(&&&) :: (a -> Bool) -> (a -> Bool) -> a -> Bool
&&& :: (a -> Bool) -> (a -> Bool) -> a -> Bool
(&&&) a :: a -> Bool
a b :: a -> Bool
b c :: a
c = a -> Bool
a a
c Bool -> Bool -> Bool
&& a -> Bool
b a
c
(|||) :: (a -> Bool) -> (a -> Bool) -> a -> Bool
||| :: (a -> Bool) -> (a -> Bool) -> a -> Bool
(|||) a :: a -> Bool
a b :: a -> Bool
b c :: a
c = a -> Bool
a a
c Bool -> Bool -> Bool
|| a -> Bool
b a
c
{-# INLINE regChars #-}
regChars :: String -> Char -> Bool
regChars :: String -> Char -> Bool
regChars ('^':cs :: String
cs) = Bool -> Bool
not (Bool -> Bool) -> (Char -> Bool) -> Char -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Char -> Bool
normalRegChars (String -> String
unescapeChars String
cs)
regChars ('\\':'^':cs :: String
cs) = String -> Char -> Bool
normalRegChars (String -> Char -> Bool) -> String -> Char -> Bool
forall a b. (a -> b) -> a -> b
$ String -> String
unescapeChars (String -> String) -> String -> String
forall a b. (a -> b) -> a -> b
$ '^'Char -> String -> String
forall a. a -> [a] -> [a]
:String
cs
regChars cs :: String
cs = String -> Char -> Bool
normalRegChars (String -> Char -> Bool) -> String -> Char -> Bool
forall a b. (a -> b) -> a -> b
$ String -> String
unescapeChars String
cs
{-# INLINE unescapeChars #-}
unescapeChars :: String -> String
unescapeChars :: String -> String
unescapeChars ('\\':'n':cs :: String
cs) = '\n' Char -> String -> String
forall a. a -> [a] -> [a]
: String -> String
unescapeChars String
cs
unescapeChars ('\\':'t':cs :: String
cs) = '\t' Char -> String -> String
forall a. a -> [a] -> [a]
: String -> String
unescapeChars String
cs
unescapeChars ('\\':'^':cs :: String
cs) = '^' Char -> String -> String
forall a. a -> [a] -> [a]
: String -> String
unescapeChars String
cs
unescapeChars (c :: Char
c:cs :: String
cs) = Char
c Char -> String -> String
forall a. a -> [a] -> [a]
: String -> String
unescapeChars String
cs
unescapeChars [] = []
{-# INLINE normalRegChars #-}
normalRegChars :: String -> Char -> Bool
normalRegChars :: String -> Char -> Bool
normalRegChars ('\\':'.':cs :: String
cs) = (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
=='.') (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
||| String -> Char -> Bool
normalRegChars String
cs
normalRegChars ('\\':'-':cs :: String
cs) = (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
=='-') (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
||| String -> Char -> Bool
normalRegChars String
cs
normalRegChars ('\\':'\\':cs :: String
cs) = (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
=='\\') (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
||| String -> Char -> Bool
normalRegChars String
cs
normalRegChars ('\\':c :: Char
c:_) = String -> Char -> Bool
forall a. HasCallStack => String -> a
error (String -> Char -> Bool) -> String -> Char -> Bool
forall a b. (a -> b) -> a -> b
$ "'\\"String -> String -> String
forall a. [a] -> [a] -> [a]
++[Char
c]String -> String -> String
forall a. [a] -> [a] -> [a]
++"' not supported."
normalRegChars (c1 :: Char
c1:'-':c2 :: Char
c2:cs :: String
cs) = ((Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
>= Char
c1) (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
&&& (Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
<= Char
c2)) (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
||| String -> Char -> Bool
normalRegChars String
cs
normalRegChars (c :: Char
c:cs :: String
cs) = (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== Char
c) (Char -> Bool) -> (Char -> Bool) -> Char -> Bool
forall a. (a -> Bool) -> (a -> Bool) -> a -> Bool
||| String -> Char -> Bool
normalRegChars String
cs
normalRegChars [] = \_ -> Bool
False