jukebox-0.1: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

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