Air.Light

Documentation

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

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

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

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

(/) :: FilePath -> FilePath -> FilePath infixl 5

(-) :: (a -> b) -> a -> b infixr 0

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

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

at :: Integral i => i -> [a] -> Maybe a

first :: [a] -> Maybe a

fifth :: [a] -> Maybe a

forth :: [a] -> Maybe a

third :: [a] -> Maybe a

second :: [a] -> Maybe a

sixth :: [a] -> Maybe a

tenth :: [a] -> Maybe a

ninth :: [a] -> Maybe a

eighth :: [a] -> Maybe a

seventh :: [a] -> Maybe 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 :: Integral i => i -> a -> [a] -> [a]

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

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

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

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

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

reduce :: (Default a, Foldable t) => (a -> a -> a) -> t a -> a

reduce' :: (Default a, Foldable t) => (a -> a -> a) -> t a -> a

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

reject :: (a -> Bool) -> [a] -> [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]]

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 :: Integral i => i -> a -> [a] -> [a]

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 :: Eq a => a -> a -> Bool

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

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

is_not :: Eq a => a -> a -> Bool

is :: Eq a => a -> a -> Bool

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

tuple2 :: [a] -> Maybe (a, a)

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

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

clone :: a -> (a, a)

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

lower :: String -> String

upper :: String -> String

starts_with :: String -> String -> Bool

ends_with :: String -> String -> Bool

capitalize :: String -> String

to_s :: Show a => a -> String

trace' :: Show a => 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 -> Maybe b

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

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

puts :: String -> IO ()

exit_success :: IO ()

fork :: IO a -> IO ()

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

end :: Monad m => m ()

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

l2s :: ByteString -> ByteString

s2l :: ByteString -> ByteString

ap2 :: Applicative f => (a1 -> a -> b) -> f a1 -> f a -> f b

ap3 :: Applicative f => (a2 -> a1 -> a -> b) -> f a2 -> f a1 -> f a -> f b

ap4 :: Applicative f => (a3 -> a2 -> a1 -> a -> b) -> f a3 -> f a2 -> f a1 -> f a -> f b

ap5 :: Applicative f => (a4 -> a3 -> a2 -> a1 -> a -> b) -> f a4 -> f a3 -> f a2 -> f a1 -> f a -> f b

ap6 :: Applicative f => (a5 -> a4 -> a3 -> a2 -> a1 -> a -> b) -> f a5 -> f a4 -> f a3 -> f a2 -> f a1 -> f a -> f b

ap7 :: Applicative f => (a6 -> a5 -> a4 -> a3 -> a2 -> a1 -> a -> b) -> f a6 -> f a5 -> f a4 -> f a3 -> f a2 -> f a1 -> f a -> f b

ap8 :: Applicative f => (a7 -> a6 -> a5 -> a4 -> a3 -> a2 -> a1 -> a -> b) -> f a7 -> f a6 -> f a5 -> f a4 -> f a3 -> f a2 -> f a1 -> f a -> f b

ap9 :: Applicative f => (a8 -> a7 -> a6 -> a5 -> a4 -> a3 -> a2 -> a1 -> a -> b) -> f a8 -> f a7 -> f a6 -> f a5 -> f a4 -> f a3 -> f a2 -> f a1 -> f a -> f b