jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.Utils

Documentation

usort :: Ord a => [a] -> [a]Source

merge :: Ord a => [a] -> [a] -> [a]Source

nub :: (List f, Ord a, Hashable a) => f a -> [a]Source

popen :: FilePath -> [String] -> ByteString -> IO (ExitCode, ByteString)Source