Sunday, 1 May 2016

Haskell: List all the functions in a module


GHCi has a :browse command to list the contents of modules.

For example, ‘:browse Data.List’ displays all the contents of the module Data.List.
Prelude> :browse Data.List
Data.List.isSubsequenceOf :: Eq a => [a] -> [a] -> Bool
(!!) :: [a] -> Int -> a
(++) :: [a] -> [a] -> [a]
(base-4.8.2.0:Data.OldList.\\) :: Eq a => [a] -> [a] -> [a]
all :: Foldable t => (a -> Bool) -> t a -> Bool
and :: Foldable t => t Bool -> Bool
any :: Foldable t => (a -> Bool) -> t a -> Bool
break :: (a -> Bool) -> [a] -> ([a], [a])
concat :: Foldable t => t [a] -> [a]
concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
cycle :: [a] -> [a]
base-4.8.2.0:Data.OldList.delete :: Eq a => a -> [a] -> [a]
base-4.8.2.0:Data.OldList.deleteBy ::
  (a -> a -> Bool) -> a -> [a] -> [a]
base-4.8.2.0:Data.OldList.deleteFirstsBy ::
  (a -> a -> Bool) -> [a] -> [a] -> [a]
drop :: Int -> [a] -> [a]
dropWhile :: (a -> Bool) -> [a] -> [a]
base-4.8.2.0:Data.OldList.dropWhileEnd :: (a -> Bool) -> [a] -> [a]
class Foldable (t :: * -> *) where
  ...
  elem :: Eq a => a -> t a -> Bool
  ...
base-4.8.2.0:Data.OldList.elemIndex ::
  Eq a => a -> [a] -> Maybe Int
base-4.8.2.0:Data.OldList.elemIndices :: Eq a => a -> [a] -> [Int]
filter :: (a -> Bool) -> [a] -> [a]
Data.Foldable.find :: Foldable t => (a -> Bool) -> t a -> Maybe a
base-4.8.2.0:Data.OldList.findIndex ::
  (a -> Bool) -> [a] -> Maybe Int
base-4.8.2.0:Data.OldList.findIndices ::
  (a -> Bool) -> [a] -> [Int]
class Foldable (t :: * -> *) where
  ...
  foldl :: (b -> a -> b) -> b -> t a -> b
  ...
class Foldable (t :: * -> *) where
  ...
  Data.Foldable.foldl' :: (b -> a -> b) -> b -> t a -> b
  ...
class Foldable (t :: * -> *) where
  ...
  foldl1 :: (a -> a -> a) -> t a -> a
  ...
GHC.List.foldl1' :: (a -> a -> a) -> [a] -> a
class Foldable (t :: * -> *) where
  ...
  foldr :: (a -> b -> b) -> b -> t a -> b
  ...
class Foldable (t :: * -> *) where
  ...
  foldr1 :: (a -> a -> a) -> t a -> a
  ...
base-4.8.2.0:Data.OldList.genericDrop ::
  Integral i => i -> [a] -> [a]
base-4.8.2.0:Data.OldList.genericIndex ::
  Integral i => [a] -> i -> a
base-4.8.2.0:Data.OldList.genericLength :: Num i => [a] -> i
base-4.8.2.0:Data.OldList.genericReplicate ::
  Integral i => i -> a -> [a]
base-4.8.2.0:Data.OldList.genericSplitAt ::
  Integral i => i -> [a] -> ([a], [a])
base-4.8.2.0:Data.OldList.genericTake ::
  Integral i => i -> [a] -> [a]
base-4.8.2.0:Data.OldList.group :: Eq a => [a] -> [[a]]
base-4.8.2.0:Data.OldList.groupBy ::
  (a -> a -> Bool) -> [a] -> [[a]]
head :: [a] -> a
init :: [a] -> [a]
base-4.8.2.0:Data.OldList.inits :: [a] -> [[a]]
base-4.8.2.0:Data.OldList.insert :: Ord a => a -> [a] -> [a]
base-4.8.2.0:Data.OldList.insertBy ::
  (a -> a -> Ordering) -> a -> [a] -> [a]
base-4.8.2.0:Data.OldList.intercalate :: [a] -> [[a]] -> [a]
base-4.8.2.0:Data.OldList.intersect :: Eq a => [a] -> [a] -> [a]
base-4.8.2.0:Data.OldList.intersectBy ::
  (a -> a -> Bool) -> [a] -> [a] -> [a]
base-4.8.2.0:Data.OldList.intersperse :: a -> [a] -> [a]
base-4.8.2.0:Data.OldList.isInfixOf :: Eq a => [a] -> [a] -> Bool
base-4.8.2.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
base-4.8.2.0:Data.OldList.isSuffixOf :: Eq a => [a] -> [a] -> Bool
iterate :: (a -> a) -> a -> [a]
last :: [a] -> a
class Foldable (t :: * -> *) where
  ...
  length :: t a -> Int
  ...
lines :: String -> [String]
lookup :: Eq a => a -> [(a, b)] -> Maybe b
map :: (a -> b) -> [a] -> [b]
Data.Traversable.mapAccumL ::
  Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
Data.Traversable.mapAccumR ::
  Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
class Foldable (t :: * -> *) where
  ...
  maximum :: Ord a => t a -> a
  ...
Data.Foldable.maximumBy ::
  Foldable t => (a -> a -> Ordering) -> t a -> a
class Foldable (t :: * -> *) where
  ...
  minimum :: Ord a => t a -> a
  ...
Data.Foldable.minimumBy ::
  Foldable t => (a -> a -> Ordering) -> t a -> a
notElem :: (Foldable t, Eq a) => a -> t a -> Bool
base-4.8.2.0:Data.OldList.nub :: Eq a => [a] -> [a]
base-4.8.2.0:Data.OldList.nubBy :: (a -> a -> Bool) -> [a] -> [a]
class Foldable (t :: * -> *) where
  ...
  null :: t a -> Bool
  ...
or :: Foldable t => t Bool -> Bool
base-4.8.2.0:Data.OldList.partition ::
  (a -> Bool) -> [a] -> ([a], [a])
base-4.8.2.0:Data.OldList.permutations :: [a] -> [[a]]
class Foldable (t :: * -> *) where
  ...
  product :: Num a => t a -> a
repeat :: a -> [a]
replicate :: Int -> a -> [a]
reverse :: [a] -> [a]
scanl :: (b -> a -> b) -> b -> [a] -> [b]
GHC.List.scanl' :: (b -> a -> b) -> b -> [a] -> [b]
scanl1 :: (a -> a -> a) -> [a] -> [a]
scanr :: (a -> b -> b) -> b -> [a] -> [b]
scanr1 :: (a -> a -> a) -> [a] -> [a]
base-4.8.2.0:Data.OldList.sort :: Ord a => [a] -> [a]
base-4.8.2.0:Data.OldList.sortBy ::
  (a -> a -> Ordering) -> [a] -> [a]
base-4.8.2.0:Data.OldList.sortOn :: Ord b => (a -> b) -> [a] -> [a]
span :: (a -> Bool) -> [a] -> ([a], [a])
splitAt :: Int -> [a] -> ([a], [a])
base-4.8.2.0:Data.OldList.stripPrefix ::
  Eq a => [a] -> [a] -> Maybe [a]
base-4.8.2.0:Data.OldList.subsequences :: [a] -> [[a]]
class Foldable (t :: * -> *) where
  ...
  sum :: Num a => t a -> a
  ...
tail :: [a] -> [a]
base-4.8.2.0:Data.OldList.tails :: [a] -> [[a]]
take :: Int -> [a] -> [a]
takeWhile :: (a -> Bool) -> [a] -> [a]
base-4.8.2.0:Data.OldList.transpose :: [[a]] -> [[a]]
GHC.List.uncons :: [a] -> Maybe (a, [a])
base-4.8.2.0:Data.OldList.unfoldr ::
  (b -> Maybe (a, b)) -> b -> [a]
base-4.8.2.0:Data.OldList.union :: Eq a => [a] -> [a] -> [a]
base-4.8.2.0:Data.OldList.unionBy ::
  (a -> a -> Bool) -> [a] -> [a] -> [a]
unlines :: [String] -> String
unwords :: [String] -> String
unzip :: [(a, b)] -> ([a], [b])
unzip3 :: [(a, b, c)] -> ([a], [b], [c])
base-4.8.2.0:Data.OldList.unzip4 ::
  [(a, b, c, d)] -> ([a], [b], [c], [d])
base-4.8.2.0:Data.OldList.unzip5 ::
  [(a, b, c, d, e)] -> ([a], [b], [c], [d], [e])
base-4.8.2.0:Data.OldList.unzip6 ::
  [(a, b, c, d, e, f)] -> ([a], [b], [c], [d], [e], [f])
base-4.8.2.0:Data.OldList.unzip7 ::
  [(a, b, c, d, e, f, g)] -> ([a], [b], [c], [d], [e], [f], [g])
words :: String -> [String]
zip :: [a] -> [b] -> [(a, b)]
zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]
base-4.8.2.0:Data.OldList.zip4 ::
  [a] -> [b] -> [c] -> [d] -> [(a, b, c, d)]
base-4.8.2.0:Data.OldList.zip5 ::
  [a] -> [b] -> [c] -> [d] -> [e] -> [(a, b, c, d, e)]
base-4.8.2.0:Data.OldList.zip6 ::
  [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [(a, b, c, d, e, f)]
base-4.8.2.0:Data.OldList.zip7 ::
  [a]
  -> [b]
  -> [c]
  -> [d]
  -> [e]
  -> [f]
  -> [g]
  -> [(a, b, c, d, e, f, g)]
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
base-4.8.2.0:Data.OldList.zipWith4 ::
  (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]
base-4.8.2.0:Data.OldList.zipWith5 ::
  (a -> b -> c -> d -> e -> f)
  -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
base-4.8.2.0:Data.OldList.zipWith6 ::
  (a -> b -> c -> d -> e -> f -> g)
  -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
base-4.8.2.0:Data.OldList.zipWith7 ::
  (a -> b -> c -> d -> e -> f -> g -> h)
  -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
Prelude>


 
Previous                                                 Next                                                 Home

No comments:

Post a Comment