/usr/share/doc/libghc-harp-doc/html/harp.txt is in libghc-harp-doc 0.4-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 | -- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | HaRP allows pattern-matching with regular expressions
--
-- HaRP, or Haskell Regular Patterns, is a Haskell extension that extends
-- the normal pattern matching facility with the power of regular
-- expressions. This expressive power is highly useful in a wide range of
-- areas, including text parsing and XML processing. Regular expression
-- patterns in HaRP work over ordinary Haskell lists ([]) of arbitrary
-- type. We have implemented HaRP as a pre-processor to ordinary Haskell.
--
-- For details on usage, please see the website.
@package harp
@version 0.4
-- | Functions that simulate the behavior of regular patterns using a Match
-- monad for parsing lists.
module Harp.Match
-- | The Match monad
data Match e a
runMatch :: Match e a -> [e] -> Maybe a
baseMatch :: (a -> Maybe b) -> Match a (a, b)
manyMatch :: Match e a -> Match e [a]
gManyMatch :: Match e a -> Match e [a]
foldComp :: [[a] -> [a]] -> ([a] -> [a])
unzip0 :: [()] -> ()
unzip1 :: [a] -> [a]
unzip2 :: [(a, b)] -> ([a], [b])
-- | The <a>unzip3</a> function takes a list of triples and returns three
-- lists, analogous to <a>unzip</a>.
unzip3 :: [(a, b, c)] -> ([a], [b], [c])
-- | The <a>unzip4</a> function takes a list of quadruples and returns four
-- lists, analogous to <a>unzip</a>.
unzip4 :: [(a, b, c, d)] -> ([a], [b], [c], [d])
-- | The <a>unzip5</a> function takes a list of five-tuples and returns
-- five lists, analogous to <a>unzip</a>.
unzip5 :: [(a, b, c, d, e)] -> ([a], [b], [c], [d], [e])
-- | The <a>unzip6</a> function takes a list of six-tuples and returns six
-- lists, analogous to <a>unzip</a>.
unzip6 :: [(a, b, c, d, e, f)] -> ([a], [b], [c], [d], [e], [f])
-- | The <a>unzip7</a> function takes a list of seven-tuples and returns
-- seven lists, analogous to <a>unzip</a>.
unzip7 :: [(a, b, c, d, e, f, g)] -> ([a], [b], [c], [d], [e], [f], [g])
(+++) :: Match e a -> Match e a -> Match e a
instance Monad (Match e)
|