Hydra.Dsl.Lib.Lists

Documentation

apply :: TTerm ([a -> b] -> [a] -> [b])

at :: TTerm (Int -> [a] -> a)

bind :: TTerm ([a] -> (a -> [b]) -> [b])

concat :: TTerm ([[a]] -> [a])

concat2 :: TTerm ([a] -> [a] -> [a])

cons :: TTerm (a -> [a] -> [a])

filter :: TTerm ((a -> Bool) -> [a] -> [a])

foldl :: TTerm ((b -> a -> b) -> b -> [a] -> b)

head :: TTerm ([a] -> a)

intercalate :: TTerm ([a] -> [[a]] -> [a])

intersperse :: TTerm ([a] -> a -> [a])

last :: TTerm ([a] -> a)

length :: TTerm ([a] -> Int)

map :: TTerm ((a -> b) -> [a] -> [b])

nub :: Eq a => TTerm ([a] -> [a])

null :: TTerm ([a] -> Bool)

pure :: TTerm (a -> [a])

reverse :: TTerm ([a] -> [a])

safeHead :: TTerm ([a] -> Maybe a)

tail :: TTerm ([a] -> [a])