liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Prover.Misc
Synopsis
powerset :: [a] -> [[a]] Source
Powerset
powerset' :: [a] -> [[a]] Source
(/\/) :: [a] -> [a] -> [a] Source
findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) Source
mapSnd :: (t -> t2) -> (t1, t) -> (t1, t2) Source
second3 :: (t -> t2) -> (t1, t, t3) -> (t1, t2, t3) Source