-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | message passing style helpers -- -- message passing style helpers @package mps @version 2009.7.2 module MPS.TH here :: QuasiQuoter module MPS.Light (.) :: a -> (a -> b) -> b (>) :: (Category cat) => cat a b -> cat b c -> cat a c (^) :: (Functor f) => f a -> (a -> b) -> f b (/) :: FilePath -> FilePath -> FilePath join :: [a] -> [[a]] -> [a] join' :: [[a]] -> [a] second :: [a] -> a third :: [a] -> a forth :: [a] -> a fifth :: [a] -> a first :: [a] -> a seventh :: [a] -> a eighth :: [a] -> a ninth :: [a] -> a tenth :: [a] -> a sixth :: [a] -> a unique :: (Ord a) => [a] -> [a] is_unique :: (Ord a) => [a] -> Bool same :: (Ord a) => [a] -> Bool times :: b -> Int -> [b] upto :: (Enum a) => a -> a -> [a] downto :: (Num t, Enum t) => t -> t -> [t] remove_at :: Int -> [a] -> [a] replace_at :: Int -> a -> [a] -> [a] insert_at :: Int -> a -> [a] -> [a] at :: Int -> [a] -> a slice :: Int -> Int -> [a] -> [a] cherry_pick :: [Int] -> [a] -> [a] reduce' :: (a -> a -> a) -> [a] -> a reduce :: (a -> a -> a) -> [a] -> a inject' :: (Foldable t) => a -> (a -> b -> a) -> t b -> a inject :: (Foldable t) => a -> (a -> b -> a) -> t b -> a none_of :: (a -> Bool) -> [a] -> Bool reject :: (a -> Bool) -> [a] -> [a] select :: (a -> Bool) -> [a] -> [a] inner_map :: (a -> b) -> [[a]] -> [[b]] inner_reduce :: (a -> a -> a) -> [[a]] -> [a] inner_inject :: (Foldable t) => a -> (a -> b -> a) -> [t b] -> [a] label_by :: (a -> c) -> [a] -> [(c, a)] labeling :: (a -> c') -> [a] -> [(a, c')] in_group_of :: Int -> [t] -> [[t]] split_to :: Int -> [a] -> [[a]] send_to :: a -> (a -> b) -> b apply :: a -> (a -> b) -> b let_receive :: (a -> b -> c) -> b -> a -> c map_send_to :: a -> [a -> b] -> [b] belongs_to :: (Foldable t, Eq a) => t a -> a -> Bool has :: (Foldable t, Eq b) => b -> t b -> Bool indexed :: (Num t, Enum t) => [b] -> [(t, b)] map_with_index :: (Num t, Enum t) => ((t, b) -> b1) -> [b] -> [b1] rjust :: Int -> a -> [a] -> [a] ljust :: Int -> a -> [a] -> [a] lb :: (a -> Bool) -> [a] -> [a] ub :: (a -> Bool) -> [a] -> [a] between :: (a -> Bool) -> (a -> Bool) -> [a] -> [a] not_null :: [a] -> Bool powerslice :: [a] -> [[a]] common :: (Ord a) => [a] -> [a] -> [a] rsort :: (Ord a) => [a] -> [a] encode :: (Eq a) => [a] -> [(Int, a)] decode :: [(Int, a)] -> [a] only_one :: [a] -> Bool concat_map :: (a -> [b]) -> [a] -> [b] to_list :: (Foldable t) => t a -> [a] to_set :: (Ord a) => [a] -> Set a to_h :: (Ord k) => [(k, a)] -> Map k a to_a :: [a] -> Array Int a to_a' :: (Ix i) => (i, i) -> [e] -> Array i e hist :: (Num e, Ix i) => (i, i) -> [i] -> Array i e compare_by :: (Ord b) => (a -> b) -> a -> a -> Ordering is :: (Eq a) => a -> a -> Bool is_not :: (Eq a) => a -> a -> Bool isn't :: (Eq a) => a -> a -> Bool aren't :: (Eq a) => a -> a -> Bool eq :: (Eq a) => a -> a -> Bool swap :: (a, b) -> (b, a) tuple2 :: [a] -> (a, a) tuple3 :: [a] -> (a, a, a) list2 :: (a, a) -> [a] list3 :: (a, a, a) -> [a] filter_fst :: (a -> Bool) -> [(a, b)] -> [(a, b)] filter_snd :: (b -> Bool) -> [(a, b)] -> [(a, b)] only_fst :: [(a, b)] -> [a] only_snd :: [(a, b)] -> [b] map_fst :: (a -> b) -> [(a, c)] -> [(b, c)] map_snd :: (a -> b) -> [(c, a)] -> [(c, b)] pair :: ((a, b) -> c) -> a -> b -> c triple :: ((a, b, c) -> d) -> a -> b -> c -> d splash :: (a -> b -> c) -> (a, b) -> c splash3 :: (a -> b -> c -> d) -> (a, b, c) -> d twin :: a -> (a, a) from_i :: (Integral a, Num b) => a -> b explode :: (Show a) => a -> [Int] upper :: String -> String lower :: String -> String ends_with :: String -> String -> Bool starts_with :: String -> String -> Bool capitalize :: String -> String to_s :: (Show a) => a -> String is_palindrom :: (Eq a) => [a] -> Bool trace' :: (Show a) => a -> a module MPS.Extra p_eval' :: [a] -> [a] p_eval :: [a] -> [a] p_reduce' :: (a -> a -> a) -> [a] -> a p_reduce :: (a -> a -> a) -> [a] -> a p_map' :: (a -> b) -> [a] -> [b] p_map :: (a -> b) -> [a] -> [b] p_split_to :: Int -> [t] -> [[t]] p_map_reduce_to :: Int -> ([a] -> b) -> (b -> b -> b) -> [a] -> b p_map_reduce :: ([a] -> b) -> (b -> b -> b) -> [a] -> b date :: Integer -> Int -> Int -> Day splash_date :: Day -> (Integer, Int, Int) split :: String -> String -> [String] split' :: String -> [String] sub :: String -> String -> String -> String gsub :: String -> String -> String -> String type RegexResult = (String, (String, String)) type MatchList = [(Int, String)] match :: String -> String -> Maybe (RegexResult, MatchList) strip :: String -> String empty :: String -> Bool collapse :: (Integral a, Num b) => [a] -> b base :: (Integral a) => a -> a -> String snake_case :: String -> String camel_case :: String -> String purify :: IO a -> a ls :: String -> IO [String] file_size :: String -> IO Integer file_mtime :: String -> IO UTCTime read_binary_file :: String -> IO String get_permissions :: String -> IO Permissions get_current_directory :: IO String now :: IO UTCTime format_time :: String -> UTCTime -> String filter_comment :: String -> String u2b :: String -> String b2u :: String -> String module MPS.Heavy unzip64 :: String -> String zip64 :: String -> String parse :: GenParser tok () a -> [tok] -> a escape_xml :: String -> String unescape_xml :: String -> String escape_unicode_xml :: String -> String unescape_unicode_xml :: String -> String module MPS module MPSUTF8 read_file :: String -> IO String write_file :: String -> String -> IO () ls :: String -> IO [String] mkdir_p :: String -> IO () file_exist :: String -> IO Bool dir_exist :: String -> IO Bool split :: String -> String -> [String] gsub :: String -> String -> String -> String sub :: String -> String -> String -> String match :: String -> String -> Maybe (RegexResult, MatchList) strip :: String -> String