MagicHaskeller-0.9.7.1: Automatic inductive functional programmer by systematic search
Safe HaskellNone
LanguageHaskell2010

MagicHaskeller.Individual

Documentation

availableNames :: [String] Source #

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