module Sound.Tidal.Utils where

{-
    Utils.hs - A library of handy Haskell utility functions
    Copyright (C) 2020, Alex McLean and contributors

    This library is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this library.  If not, see <http://www.gnu.org/licenses/>.
-}

import Data.List (delete)
import System.IO (hPutStrLn, stderr)

writeError :: String -> IO ()
writeError :: String -> IO ()
writeError = Handle -> String -> IO ()
hPutStrLn Handle
stderr

mapBoth :: (a -> a) -> (a,a) -> (a,a)
mapBoth :: (a -> a) -> (a, a) -> (a, a)
mapBoth a -> a
f (a
a,a
b) = (a -> a
f a
a, a -> a
f a
b)

mapPartTimes :: (a -> a) -> ((a,a),(a,a)) -> ((a,a),(a,a))
mapPartTimes :: (a -> a) -> ((a, a), (a, a)) -> ((a, a), (a, a))
mapPartTimes a -> a
f = ((a, a) -> (a, a)) -> ((a, a), (a, a)) -> ((a, a), (a, a))
forall a. (a -> a) -> (a, a) -> (a, a)
mapBoth ((a -> a) -> (a, a) -> (a, a)
forall a. (a -> a) -> (a, a) -> (a, a)
mapBoth a -> a
f)

mapFst :: (a -> b) -> (a, c) -> (b, c)
mapFst :: (a -> b) -> (a, c) -> (b, c)
mapFst a -> b
f (a
x,c
y) = (a -> b
f a
x,c
y)

mapSnd :: (a -> b) -> (c, a) -> (c, b)
mapSnd :: (a -> b) -> (c, a) -> (c, b)
mapSnd a -> b
f (c
x,a
y) = (c
x,a -> b
f a
y)

delta :: Num a => (a, a) -> a
delta :: (a, a) -> a
delta (a
a,a
b) = a
ba -> a -> a
forall a. Num a => a -> a -> a
-a
a

-- | The midpoint of two values
mid :: Fractional a => (a,a) -> a
mid :: (a, a) -> a
mid (a
a,a
b) = a
a a -> a -> a
forall a. Num a => a -> a -> a
+ ((a
b a -> a -> a
forall a. Num a => a -> a -> a
- a
a) a -> a -> a
forall a. Fractional a => a -> a -> a
/ a
2)

removeCommon :: Eq a => [a] -> [a] -> ([a],[a])
removeCommon :: [a] -> [a] -> ([a], [a])
removeCommon [] [a]
bs = ([],[a]
bs)
removeCommon [a]
as [] = ([a]
as,[])
removeCommon (a
a:[a]
as) [a]
bs | a
a a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [a]
bs = [a] -> [a] -> ([a], [a])
forall a. Eq a => [a] -> [a] -> ([a], [a])
removeCommon [a]
as (a -> [a] -> [a]
forall a. Eq a => a -> [a] -> [a]
delete a
a [a]
bs)
                       | Bool
otherwise = (a
aa -> [a] -> [a]
forall a. a -> [a] -> [a]
:[a]
as',[a]
bs')
                      where ([a]
as',[a]
bs') = [a] -> [a] -> ([a], [a])
forall a. Eq a => [a] -> [a] -> ([a], [a])
removeCommon [a]
as [a]
bs

readMaybe :: (Read a) => String -> Maybe a
readMaybe :: String -> Maybe a
readMaybe String
s = case [a
x | (a
x,String
t) <- ReadS a
forall a. Read a => ReadS a
reads String
s, (String
"",String
"") <- ReadS String
lex String
t] of
                   [a
x] -> a -> Maybe a
forall a. a -> Maybe a
Just a
x
                   [a]
_   -> Maybe a
forall a. Maybe a
Nothing

{- | like `!!` selects @n@th element from xs, but wraps over at the end of @xs@

>>> map ((!!!) [1,3,5]) [0,1,2,3,4,5]
[1,3,5,1,3,5]
-}
(!!!) :: [a] -> Int -> a
!!! :: [a] -> Int -> a
(!!!) [a]
xs Int
n = [a]
xs [a] -> Int -> a
forall a. [a] -> Int -> a
!! (Int
n Int -> Int -> Int
forall a. Integral a => a -> a -> a
`mod` [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [a]
xs)


{- | Safer version of !! --}
nth :: Int -> [a] -> Maybe a
nth :: Int -> [a] -> Maybe a
nth Int
_ []       = Maybe a
forall a. Maybe a
Nothing
nth Int
0 (a
x : [a]
_)  = a -> Maybe a
forall a. a -> Maybe a
Just a
x
nth Int
n (a
_ : [a]
xs) = Int -> [a] -> Maybe a
forall a. Int -> [a] -> Maybe a
nth (Int
n Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
1) [a]
xs

accumulate :: Num t => [t] -> [t]
accumulate :: [t] -> [t]
accumulate [] = []
accumulate (t
x:[t]
xs) = (t -> t -> t) -> t -> [t] -> [t]
forall b a. (b -> a -> b) -> b -> [a] -> [b]
scanl t -> t -> t
forall a. Num a => a -> a -> a
(+) t
x [t]
xs

{- | enumerate a list of things

>>> enumerate ["foo","bar","baz"]
[(1,"foo"), (2,"bar"), (3,"baz")]
-}
enumerate :: [a] -> [(Int, a)]
enumerate :: [a] -> [(Int, a)]
enumerate = [Int] -> [a] -> [(Int, a)]
forall a b. [a] -> [b] -> [(a, b)]
zip [Int
0..]

{- | split given list of @a@ by given single a, e.g.

>>> wordsBy (== ':') "bd:3"
["bd", "3"]
-}
wordsBy :: (a -> Bool) -> [a] -> [[a]]
wordsBy :: (a -> Bool) -> [a] -> [[a]]
wordsBy a -> Bool
p [a]
s = case (a -> Bool) -> [a] -> [a]
forall a. (a -> Bool) -> [a] -> [a]
dropWhile a -> Bool
p [a]
s of
   []      -> []
   a
s':[a]
rest -> (a
s'a -> [a] -> [a]
forall a. a -> [a] -> [a]
:[a]
w) [a] -> [[a]] -> [[a]]
forall a. a -> [a] -> [a]
: (a -> Bool) -> [a] -> [[a]]
forall a. (a -> Bool) -> [a] -> [[a]]
wordsBy a -> Bool
p (Int -> [a] -> [a]
forall a. Int -> [a] -> [a]
drop Int
1 [a]
s'')
          where ([a]
w, [a]
s'') = (a -> Bool) -> [a] -> ([a], [a])
forall a. (a -> Bool) -> [a] -> ([a], [a])
break a -> Bool
p [a]
rest

-- A hack to add to the source code context for mini-notation, so
-- events know where they are within a whole tidal pattern
deltaMini :: String -> String
deltaMini :: String -> String
deltaMini = Int -> Int -> String -> String
outside Int
0 Int
0
  where outside :: Int -> Int -> String -> String
        outside :: Int -> Int -> String -> String
outside Int
_ Int
_ [] = []
        outside Int
column Int
line (Char
'"':String
xs) = String
"(deltaContext "
                                         String -> String -> String
forall a. [a] -> [a] -> [a]
++ Int -> String
forall a. Show a => a -> String
show Int
column
                                         String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
" "
                                         String -> String -> String
forall a. [a] -> [a] -> [a]
++ Int -> String
forall a. Show a => a -> String
show Int
line
                                         String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
" \""
                                         String -> String -> String
forall a. [a] -> [a] -> [a]
++ Int -> Int -> String -> String
inside (Int
columnInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Int
line String
xs
        outside Int
_ Int
line (Char
'\n':String
xs) = Char
'\n'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> Int -> String -> String
outside Int
0 (Int
lineInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) String
xs
        outside Int
column Int
line (Char
x:String
xs) = Char
xChar -> String -> String
forall a. a -> [a] -> [a]
:Int -> Int -> String -> String
outside (Int
columnInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Int
line String
xs
        inside :: Int -> Int -> String -> String
        inside :: Int -> Int -> String -> String
inside Int
_ Int
_ [] = []
        inside Int
column Int
line (Char
'"':String
xs) = Char
'"'Char -> String -> String
forall a. a -> [a] -> [a]
:Char
')'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> Int -> String -> String
outside (Int
columnInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Int
line String
xs
        inside Int
_ Int
line (Char
'\n':String
xs) = Char
'\n'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> Int -> String -> String
inside Int
0 (Int
lineInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) String
xs
        inside Int
column Int
line (Char
x:String
xs) = Char
xChar -> String -> String
forall a. a -> [a] -> [a]
:Int -> Int -> String -> String
inside (Int
columnInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) Int
line String
xs


matchMaybe :: Maybe a -> Maybe a -> Maybe a
matchMaybe :: Maybe a -> Maybe a -> Maybe a
matchMaybe Maybe a
Nothing Maybe a
y = Maybe a
y
matchMaybe Maybe a
x       Maybe a
_ = Maybe a
x

-- Available in Data.Either, but only since 4.10
fromRight :: b -> Either a b -> b
fromRight :: b -> Either a b -> b
fromRight b
_ (Right b
b) = b
b
fromRight b
b Either a b
_         = b
b