blob: 4ffdf3bb8d1483ff490859c8dfd45f17e0188c0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
module Utils where
import Control.Monad.Except
import qualified Data.Bifunctor as B
(.>) = flip (.)
($>) = flip ($)
infixr 6 $>
countCond :: (a -> Bool) -> [a] -> Int
countCond cond list = filter cond list $> length
occursTimes :: Eq a => a -> [a] -> Int
occursTimes needle = countCond (== needle)
readMaybe :: (Read a) => String -> Maybe a
readMaybe s = case reads s of
[(x, "")] -> Just x
_ -> Nothing
isFloatStr str =
let ir = readMaybe str :: Maybe Double
in case ir of
Just _ -> True
Nothing -> False
isIntStr str =
let ir = readMaybe str :: Maybe Integer
in case ir of
Just _ -> True
Nothing -> False
isCharStr str =
case str of
['\'', c, '\''] -> True
_ -> False
breakOn :: (a -> Bool) -> [a] -> ([a], [a])
breakOn cond xs = break cond xs $> B.second (drop 1)
mix :: [a] -> [a] -> [a]
mix (x : xs) (y : ys) = x : y : mix xs ys
mix x [] = x
mix [] y = y
safeBreak cond ex = safeBreak' cond ex []
safeBreak' _ ex _ [] = throwError ex
safeBreak' cond ex acc lst@(x : xs)
| cond x = pure (acc, lst)
| otherwise = safeBreak' cond ex (x : acc) xs
|
