quickspec-0.9.5: Equational laws for free

Safe HaskellNone

Test.QuickSpec.Utils

Description

Miscellaneous utility functions.

Documentation

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

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

isSorted :: Ord a => [a] -> BoolSource

isSortedBy :: Ord b => (a -> b) -> [a] -> BoolSource

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

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

spoony :: Eq a => a -> Maybe aSource