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

Hydra.Impl.Haskell.Dsl.Lib.Lists

Documentation

concat :: Datum ([a] -> a) 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 #