Language.Haskell.Liquid.Misc

Documentation

firstDuplicate :: Ord a => [a] -> Maybe a

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

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

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

fst4 :: (t, t1, t2, t3) -> t

snd4 :: (t, t1, t2, t3) -> t1

mapFourth4 :: (t -> t4) -> (t1, t2, t3, t) -> (t1, t2, t3, t4)

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

addThd3 :: t2 -> (t, t1) -> (t, t1, t2)

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

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

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

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

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

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

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

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

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

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

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

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

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

getIncludeDir :: IO FilePath

getCssPath :: IO FilePath

getCoreToLogicPath :: IO FilePath

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

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

safeZip3WithError :: [Char] -> [t] -> [t1] -> [t2] -> [(t, t1, t2)]

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

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

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

ordNub :: Ord a => [a] -> [a]

intToString :: Int -> String