MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.Individual

Documentation

availableNames :: [String] Source #

prioritizedNamesToPg :: Maybe Int -> [(Int, String)] -> IO ProgGenSF Source #