Air.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]

first, fifth, forth, third, second :: Show a => [a] -> a

sixth, tenth, ninth, eighth, seventh :: Show a => [a] -> a

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

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

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

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

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

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

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

insert_at, replace_at :: Integral i => i -> a -> [a] -> [a]

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

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

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

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

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

select, reject :: (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 :: Integral i => i -> [t] -> [[t]]

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

apply, 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)]

ljust, rjust :: Integral i => i -> a -> [a] -> [a]

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

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

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

eq, aren't, isn't, is_not, is :: Eq a => a -> a -> Bool

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

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

tuple3 :: Show a => [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)]

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

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

twin :: a -> (a, a)

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

lower, upper :: String -> String

starts_with, ends_with :: String -> String -> Bool

capitalize :: String -> String

to_s :: Show a => a -> String

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

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

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

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

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

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

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

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

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

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

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

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

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

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

puts :: String -> IO ()

exit_success :: IO ()

fork :: IO a -> IO ()

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

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

end :: Monad m => m ()

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

l2s :: ByteString -> ByteString

s2l :: ByteString -> ByteString