MPS.Light

Documentation

(.) :: a -> (a -> b) -> b

(>) :: Category cat => cat a b -> cat b c -> cat a c

(<) :: Category cat => cat b c -> cat a b -> cat a c

(^) :: Functor f => f a -> (a -> b) -> f b

(/) :: FilePath -> FilePath -> FilePath

(-) :: (a -> b) -> a -> b

(<->) :: Num a => a -> a -> a

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