liquidhaskell-0.2.1.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Misc

Documentation

safeIndex :: [Char] -> Int -> [c] -> c Source

(!?) :: [a] -> Int -> Maybe a Source

safeFromJust :: [Char] -> Maybe t -> t Source

addFst3 :: t -> (t1, t2) -> (t, t1, t2) Source

dropFst3 :: (t, t1, t2) -> (t1, t2) Source

dropThd3 :: (t1, t2, t) -> (t1, t2) Source

replaceN :: (Num a, Eq a, Enum a) => a -> t -> [t] -> [t] Source

fourth4 :: (t, t1, t2, t3) -> t3 Source

third4 :: (t, t1, t2, t3) -> t2 Source

mapSndM :: Monad m => (t -> m a) -> (t1, t) -> m (t1, a) Source

firstM :: Functor f => (t -> f a) -> (t, t1) -> f (a, t1) Source

secondM :: Functor f => (t -> f a) -> (t1, t) -> f (t1, a) Source

first3M :: Functor f => (t -> f a) -> (t, t1, t2) -> f (a, t1, t2) Source

second3M :: Functor f => (t -> f a) -> (t1, t, t2) -> f (t1, a, t2) Source

third3M :: Functor f => (t -> f a) -> (t1, t2, t) -> f (t1, t2, a) Source

third3 :: (t -> t3) -> (t1, t2, t) -> (t1, t2, t3) Source

zip4 :: [t] -> [t1] -> [t2] -> [t3] -> [(t, t1, t2, t3)] Source

getIncludeDir :: IO FilePath Source

getCssPath :: IO FilePath Source

getHqBotPath :: IO FilePath Source

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

safeZipWithError :: [Char] -> [t] -> [t1] -> [(t, t1)] Source

mapNs :: (Num a, Eq a) => [a] -> (a1 -> a1) -> [a1] -> [a1] Source

mapN :: (Num a, Eq a) => a -> (a1 -> a1) -> [a1] -> [a1] Source

pad :: [Char] -> (a -> a) -> [a] -> [a] -> ([a], [a]) Source