Fadno.Util

Documentation

diff :: Num a => [a] -> [a]

zipTail :: (a -> a -> c) -> [a] -> [c]

integ :: Int -> [Int] -> [Int]

trace :: String -> a -> a

trace with brackets.

trace' :: Show a => String -> a -> a

trace with output of result.

trace1 :: Show b => String -> b -> a -> a

trace with extra variable, not showing result.

trace1' :: (Show a, Show b) => String -> b -> a -> a

trace with extra variable and output of result.

popping :: MonadState s m => Int -> Lens' s [a] -> ([a] -> m b) -> m b

pop items off a stateful list, use for monadic function.

popping' :: MonadState s m => Int -> Lens' s [a] -> ([a] -> m b) -> m (Maybe b)

popping but only runs function if popped items are non-empty

popping1 :: MonadState s m => Lens' s [a] -> (a -> m b) -> m (Maybe b)

popping with only head

wrapSucc :: (Bounded a, Enum a, Eq a) => a -> a

succ with wraparound.

wrapPred :: (Bounded a, Enum a, Eq a) => a -> a

pred with wraparound.

mutating :: MonadState s m => Lens' s a -> (a -> a) -> m (a, a)

do monadic over -- (%=) -- with pass-through of (before,after)

maybe' :: Maybe a -> b -> (a -> b) -> b

reorganize maybe for chaining on Just

median :: Integral a => [a] -> Maybe a

normalize :: (Num a, Ord a) => [a] -> [a]

pitchClassSet :: Int -> [Int] -> [Int]

lfsr :: Int -> Int -> Int -> [Bool]

rehMarks :: [String]

generate A .. Z, AA .. AZ, BA .. BZ, .. AAA etc

rotate :: Int -> [a] -> [a]

rotations :: [a] -> [[a]]

allTuples :: Int -> [a] -> [[a]]

monotonic :: [Int] -> Bool

interleave :: [[a]] -> [a]

pivot :: [[a]] -> [[a]]

filterOnKeys :: Ord a => [a] -> Map a b -> Map a b

pairBy :: (a -> b) -> [a] -> [(a, b)]

delim :: String -> [String] -> String