twee-lib-2.1.5: An equational theorem prover

Safe HaskellNone
LanguageHaskell2010

Twee.Utils

Description

Miscellaneous utility functions.

Documentation

repeatM :: Monad m => m a -> m [a] Source #

partitionBy :: Ord b => (a -> b) -> [a] -> [[a]] Source #

collate :: Ord a => ([b] -> c) -> [(a, b)] -> [(a, c)] Source #

isSorted :: Ord a => [a] -> Bool Source #

isSortedBy :: Ord b => (a -> b) -> [a] -> Bool Source #

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

usortBy :: (a -> a -> Ordering) -> [a] -> [a] Source #

sortBy' :: Ord b => (a -> b) -> [a] -> [a] Source #

usortBy' :: Ord b => (a -> b) -> [a] -> [a] Source #

unbuffered :: IO a -> IO a Source #

labelM :: Monad m => (a -> m b) -> [a] -> m [(a, b)] Source #

fixpoint :: Eq a => (a -> a) -> a -> a Source #

splitInterval :: Integral a => a -> (a, a) -> [(a, a)] Source #