src/RMCA/Auxiliary/Misc.hs

   1 module RMCA.Auxiliary.Misc where
   2
   3 import Data.Maybe
   4 import FRP.Yampa
   5
   6 -- |= General functions
   7
   8
   9 -- | Reversed version of '(\<$\>)'.
  10 (<$$>) :: (Functor f) => f a -> (a -> b) -> f b
  11 (<$$>) = flip (<$>)
  12
  13 -- | Reversed version of '(<$)'.
  14 ($>) :: (Functor f) => f a -> b -> f b
  15 ($>) = flip (<$)
  16
  17 -- | @bound (min,max)@ behaves like identity if the supplied value is between @min@ and @max@, otherwise it is replaced either by @min@ or by @max@.
  18 bound :: (Ord a) => (a, a) -> a -> a
  19 bound (min, max) x
  20   | x < min = min
  21   | x > max = max
  22   | otherwise = x
  23
  24 fromMaybeM_ :: (Monad m) => Maybe (m ()) -> m ()
  25 fromMaybeM_ = fromMaybe (return ())
  26
  27 safeHead :: [a] -> Maybe a
  28 safeHead []    = Nothing
  29 safeHead (x:_) = Just x
  30
  31 safeTail :: [a] -> [a]
  32 safeTail []     = []
  33 safeTail (_:xs) = xs
  34
  35 maybeToEvent :: Maybe a -> Event a
  36 maybeToEvent Nothing  = NoEvent
  37 maybeToEvent (Just x) = Event x
  38
  39 eventToMaybe :: Event a -> Maybe a
  40 eventToMaybe NoEvent   = Nothing
  41 eventToMaybe (Event x) = Just x
  42
  43 eventToList :: Event [a] -> [a]
  44 eventToList NoEvent   = []
  45 eventToList (Event x) = x
  46
  47 curry3 :: ((a,b,c) -> d) -> a -> b -> c -> d
  48 curry3 f a b c = f (a,b,c)
  49
  50 uncurry3 :: (a -> b -> c -> d) -> (a,b,c) -> d
  51 uncurry3 f (a,b,c) = f a b c
  52
  53 curry4 :: ((a,b,c,d) -> e) -> a -> b -> c -> d -> e
  54 curry4 f a b c d = f (a,b,c,d)
  55
  56 uncurry4 :: (a -> b -> c -> d -> e) -> (a,b,c,d) -> e
  57 uncurry4 f (a,b,c,d) = f a b c d
  58
  59 curry5 :: ((a,b,c,d,e) -> f) -> a -> b -> c -> d -> e -> f
  60 curry5 f a b c d e = f (a,b,c,d,e)
  61
  62 uncurry5 :: (a -> b -> c -> d -> e -> f) -> (a,b,c,d,e) -> f
  63 uncurry5 f (a,b,c,d,e) = f a b c d e