air-2011.6.19: air

Air.Light

Documentation

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

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

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

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

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

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

join :: [a] -> [[a]] -> [a]Source

join' :: [[a]] -> [a]Source

second :: Show a => [a] -> aSource

third :: Show a => [a] -> aSource

forth :: Show a => [a] -> aSource

fifth :: Show a => [a] -> aSource

first :: Show a => [a] -> aSource

seventh :: Show a => [a] -> aSource

eighth :: Show a => [a] -> aSource

ninth :: Show a => [a] -> aSource

tenth :: Show a => [a] -> aSource

sixth :: Show a => [a] -> aSource

unique :: Ord a => [a] -> [a]Source

is_unique :: Ord a => [a] -> BoolSource

same :: Ord a => [a] -> BoolSource

times :: Integral i => b -> i -> [b]Source

upto :: Enum a => a -> a -> [a]Source

downto :: (Num t, Enum t) => t -> t -> [t]Source

remove_at :: Integral i => i -> [a] -> [a]Source

replace_at :: Integral i => i -> a -> [a] -> [a]Source

insert_at :: Integral i => i -> a -> [a] -> [a]Source

slice :: Integral i => i -> i -> [a] -> [a]Source

cherry_pick :: Integral i => [i] -> [a] -> [a]Source

reduce' :: (a -> a -> a) -> [a] -> aSource

reduce :: (a -> a -> a) -> [a] -> aSource

inject' :: Foldable t => a -> (a -> b -> a) -> t b -> aSource

inject :: Foldable t => a -> (a -> b -> a) -> t b -> aSource

none_of :: (a -> Bool) -> [a] -> BoolSource

reject :: (a -> Bool) -> [a] -> [a]Source

select :: (a -> Bool) -> [a] -> [a]Source

inner_map :: (a -> b) -> [[a]] -> [[b]]Source

inner_reduce :: (a -> a -> a) -> [[a]] -> [a]Source

inner_inject :: Foldable t => a -> (a -> b -> a) -> [t b] -> [a]Source

label_by :: (a -> c) -> [a] -> [(c, a)]Source

labeling :: (a -> c') -> [a] -> [(a, c')]Source

in_group_of :: Integral i => i -> [t] -> [[t]]Source

split_to :: Integral i => i -> [a] -> [[a]]Source

send_to :: a -> (a -> b) -> bSource

apply :: a -> (a -> b) -> bSource

belongs_to :: (Foldable t, Eq a) => t a -> a -> BoolSource

has :: (Foldable t, Eq b) => b -> t b -> BoolSource

indexed :: (Num t, Enum t) => [b] -> [(t, b)]Source

rjust :: Integral i => i -> a -> [a] -> [a]Source

ljust :: Integral i => i -> a -> [a] -> [a]Source

rsort :: Ord a => [a] -> [a]Source

concat_map :: (a -> [b]) -> [a] -> [b]Source

to_list :: Foldable t => t a -> [a]Source

to_set :: Ord a => [a] -> Set aSource

to_h :: Ord k => [(k, a)] -> Map k aSource

to_a :: [a] -> Array Int aSource

to_a' :: Ix i => (i, i) -> [e] -> Array i eSource

compare_by :: Ord b => (a -> b) -> a -> a -> OrderingSource

is :: Eq a => a -> a -> BoolSource

is_not :: Eq a => a -> a -> BoolSource

isn't :: Eq a => a -> a -> BoolSource

aren't :: Eq a => a -> a -> BoolSource

eq :: Eq a => a -> a -> BoolSource

swap :: (a, b) -> (b, a)Source

tuple2 :: Show a => [a] -> (a, a)Source

tuple3 :: Show a => [a] -> (a, a, a)Source

list2 :: (a, a) -> [a]Source

list3 :: (a, a, a) -> [a]Source

filter_fst :: (a -> Bool) -> [(a, b)] -> [(a, b)]Source

filter_snd :: (b -> Bool) -> [(a, b)] -> [(a, b)]Source

only_fst :: [(a, b)] -> [a]Source

only_snd :: [(a, b)] -> [b]Source

map_fst :: (a -> b) -> [(a, c)] -> [(b, c)]Source

map_snd :: (a -> b) -> [(c, a)] -> [(c, b)]Source

splat :: (a -> b -> c) -> (a, b) -> cSource

splat3 :: (a -> b -> c -> d) -> (a, b, c) -> dSource

twin :: a -> (a, a)Source

from_i :: (Integral a, Num b) => a -> bSource

to_s :: Show a => a -> StringSource

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

at :: (Show a, Integral i) => i -> [a] -> aSource

void :: Monad m => m a -> m ()Source

don't :: Monad m => m a -> m ()Source

length :: Num i => [a] -> iSource

drop :: Integral i => i -> [a] -> [a]Source

take :: Integral i => i -> [a] -> [a]Source

splitAt :: Integral i => i -> [b] -> ([b], [b])Source

index :: Integral a => [b] -> a -> bSource

replicate :: Integral i => i -> a -> [a]Source

(!!) :: Integral a => [b] -> a -> bSource

to_f :: (Real a, Fractional b) => a -> bSource

sleep :: RealFrac a => a -> IO ()Source

first_or :: a -> [a] -> aSource

fork :: IO a -> IO ()Source

insert_unique :: Eq a => a -> [a] -> [a]Source

squeeze :: Monad m => m (m a) -> m aSource

end :: Monad m => m ()Source

io :: MonadIO m => IO a -> m aSource