Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
safeFromJust :: String -> Maybe t -> t Source #
safeFromLeft :: String -> Either a b -> a Source #
mapFourth4 :: (t -> t4) -> (t1, t2, t3, t) -> (t1, t2, t3, t4) Source #
mapSndM :: Applicative m => (b -> m c) -> (a, b) -> m (a, c) Source #
getCssPath :: IO FilePath Source #
safeZipWithError :: String -> [t] -> [t1] -> [(t, t1)] Source #
safeZip3WithError :: String -> [t] -> [t1] -> [t2] -> [(t, t1, t2)] Source #
safeZip4WithError :: String -> [t1] -> [t2] -> [t3] -> [t4] -> [(t1, t2, t3, t4)] Source #
zipWithDefM :: Monad m => (a -> a -> m a) -> [a] -> [a] -> m [a] Source #
zipWithDef :: (a -> a -> a) -> [a] -> [a] -> [a] Source #
hashMapMapWithKey :: (k -> v1 -> v2) -> HashMap k v1 -> HashMap k v2 Source #
concatMapM :: (Monad m, Traversable t) => (a -> m [b]) -> t a -> m [b] Source #
replaceSubset :: (Eq k, Hashable k) => [(k, a)] -> [(k, a)] -> [(k, a)] Source #
replaceWith :: (Eq a, Hashable a) => (b -> a) -> [b] -> [b] -> [b] Source #
firstElems :: [(ByteString, ByteString)] -> ByteString -> Maybe (Int, ByteString, (ByteString, ByteString)) Source #
splitters :: [(ByteString, t)] -> ByteString -> [(Int, t, (ByteString, ByteString))] Source #
bchopAlts :: [(ByteString, ByteString)] -> ByteString -> [ByteString] Source #
angleBrackets :: Doc -> Doc Source #
intToString :: Int -> String Source #
mapAccumM :: (Monad m, Traversable t) => (a -> b -> m (a, c)) -> a -> t b -> m (a, t c) Source #
nubHashLast :: (Eq k, Hashable k) => (a -> k) -> [a] -> [a] Source #
catEithers :: [Either a b] -> Either [a] [b] Source #
concatUnzip :: [([a], [b])] -> ([a], [b]) Source #
Instances
Monoid e => Applicative (Validate e) Source # | |
Defined in Language.Haskell.Liquid.Misc | |
Functor (Validate e) Source # | |