liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellSafe
LanguageHaskell98

Language.Haskell.Liquid.Prover.Misc

Synopsis

Documentation

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