hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Lib.Lists

Documentation

concat :: Datum ([[a]] -> [a]) Source #

concat2 :: Datum ([a] -> [a] -> [a]) Source #

cons :: Datum (a -> [a] -> [a]) Source #

foldl :: Datum ((b -> a -> b) -> b -> [a] -> b) Source #

head :: Datum ([a] -> a) Source #

intercalate :: Datum ([a] -> [[a]] -> [a]) Source #

intersperse :: Datum ([a] -> a -> [a]) Source #

last :: Datum ([a] -> a) Source #

length :: Datum ([a] -> Int) Source #

map :: Datum ((a -> b) -> [a] -> [b]) Source #

nub :: Eq a => Datum ([a] -> [a]) Source #

null :: Datum ([a] -> Bool) Source #

pure :: Datum (a -> [a]) Source #

reverse :: Datum ([a] -> [a]) Source #

safeHead :: Datum ([a] -> Maybe a) Source #

tail :: Datum ([a] -> [a]) Source #