Ticket #5469: 0004-Reorganise-the-Language.Haskell.TH-export-list.patch

File 0004-Reorganise-the-Language.Haskell.TH-export-list.patch, 2.8 KB (added by reinerp, 3 years ago)
  • Language/Haskell/TH.hs

    From e39473aee764ffe3fdf150dc408d23e3ec5ef03d Mon Sep 17 00:00:00 2001
    From: Reiner Pope <[email protected]>
    Date: Sat, 9 Jun 2012 18:30:31 +1000
    Subject: [PATCH 4/4] Reorganise the Language.Haskell.TH export list.
    
    ---
     Language/Haskell/TH.hs |   46 ++++++++++++++++++++++++++++++++++++----------
     1 files changed, 36 insertions(+), 10 deletions(-)
    
    diff --git a/Language/Haskell/TH.hs b/Language/Haskell/TH.hs
    index a04967c..3152368 100644
    a b For other documentation, refer to: 
    66-}
    77module Language.Haskell.TH(
    88        -- * The monad and its operations
    9         Q, runQ,
    10         report,           -- :: Bool -> String -> Q ()
     9        Q,
     10        runQ,
     11        -- ** Administration: errors, locations and IO
     12        reportError,              -- :: String -> Q ()
     13        reportWarning,            -- :: String -> Q ()
     14        report,                   -- :: Bool -> String -> Q ()
    1115        recover,          -- :: Q a -> Q a -> Q a
    12         reify,            -- :: Name -> Q Info
    13         location,         -- :: Q Location
     16        location,         -- :: Q Loc
     17        Loc(..),
    1418        runIO,            -- :: IO a -> Q a
    15         lookupTypeName, lookupValueName,
    16         isInstance, reifyInstances,
     19        -- ** Querying the compiler
     20        -- *** Reify
     21        reify,            -- :: Name -> Q Info
     22        Info(..),
     23        InstanceDec,
     24        ParentName,
     25        Arity,
     26        Unlifted,
     27        -- *** Name lookup
     28        lookupTypeName,  -- :: String -> Q (Maybe Name)
     29        lookupValueName, -- :: String -> Q (Maybe Name)
     30        -- *** Instance lookup
     31        reifyInstances,
     32        isInstance,
    1733
    1834        -- * Names
    1935        Name, NameSpace,        -- Abstract
     36        -- ** Constructing names
    2037        mkName,         -- :: String -> Name
    2138        newName,        -- :: String -> Q Name
     39        -- ** Deconstructing names
    2240        nameBase,       -- :: Name -> String
    2341        nameModule,     -- :: Name -> Maybe String
     42        -- ** Built-in names
    2443        tupleTypeName, tupleDataName,   -- Int -> Name
     44        unboxedTupleTypeName, unboxedTupleDataName, -- :: Int -> Name
    2545
    2646    -- * The algebraic data types
    2747    -- | The lowercase versions (/syntax operators/) of these constructors are
    2848    -- preferred to these constructors, since they compose better with
    2949    -- quotations (@[| |]@) and splices (@$( ... )@)
    30         Dec(..), Exp(..), Con(..), Type(..), TyVarBndr(..), TyLit(..), Kind, Cxt,
    31         Pred(..), Match(..), Clause(..), Body(..), Guard(..), Stmt(..),
    32         Range(..), Lit(..), Pat(..), FieldExp, FieldPat,
     50
     51    -- ** Declarations
     52        Dec(..), Con(..), Clause(..),
    3353        Strict(..), Foreign(..), Callconv(..), Safety(..), Pragma(..),
    34         Inline(..), InlineSpec(..), FunDep(..), FamFlavour(..), Info(..), Loc(..),
     54        Inline(..), InlineSpec(..), FunDep(..), FamFlavour(..),
    3555        Fixity(..), FixityDirection(..), defaultFixity, maxPrecedence,
     56    -- ** Expressions
     57        Exp(..), Match(..), Body(..), Guard(..), Stmt(..), Range(..), Lit(..),
     58    -- ** Patterns
     59        Pat(..), FieldExp, FieldPat,
     60    -- ** Types
     61        Type(..), TyVarBndr(..), TyLit(..), Kind, Cxt, Pred(..),
    3662
    3763    -- * Library functions
    3864    -- ** Abbreviations