git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4093 from melted/export_lists

Add missing export lists

commitf9846579db29d8f2f6f383f5e3162581ad568935 authorNiklas Larsson <metaniklas@gmail.com> dateTue 3 Oct 2017, 20:13 (9 years ago) parent4a3fe0cbdc6945
9 files changed+39−13
compare with master
unifiedsplit
src/Idris/CmdOptions.hs+2−5 src/Idris/DSL.hs+1−1 src/Idris/ElabDecls.hs+2−1 src/Idris/Error.hs+2−1 src/Idris/ModeCommon.hs+1−1 src/Idris/Options.hs+9−1 src/Idris/Output.hs+6−1 src/Idris/Reflection.hs+13−1 src/Idris/Termination.hs+3−1
src/Idris/CmdOptions.hs+2−5
@@ -9,11 +9,8 @@ Maintainer : The Idris Community.
99{-# LANGUAGE Arrows #-}
1010
1111module Idris.CmdOptions
12− (
13− module Idris.CmdOptions
14− , opt
15− , getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc
16− , getPkgREPL, getPkgTest, getPort, getIBCSubDir
12+ ( opt, getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,
13+ getPkgREPL, getPkgTest, getPort, getIBCSubDir, pureArgParser, runArgParser
1714 ) where
1815
1916import Idris.Info (getIdrisVersion)
src/Idris/DSL.hs+1−1
@@ -8,7 +8,7 @@ Maintainer : The Idris Community.
88
99{-# LANGUAGE PatternGuards #-}
1010
11−module Idris.DSL where
11+module Idris.DSL (debindApp, desugar) where
1212
1313import Idris.AbsSyntax
1414import Idris.Core.TT
src/Idris/ElabDecls.hs+2−1
@@ -9,7 +9,8 @@ Maintainer : The Idris Community.
99{-# LANGUAGE DeriveFunctor, FlexibleInstances, MultiParamTypeClasses,
1010 PatternGuards #-}
1111
12−module Idris.ElabDecls where
12+module Idris.ElabDecls(elabDecl, elabDecl', elabDecls, elabMain, elabPrims,
13+ recinfo) where
1314
1415import Idris.AbsSyntax
1516import Idris.Core.Evaluate
src/Idris/Error.hs+2−1
@@ -8,7 +8,8 @@ Maintainer : The Idris Community.
88{-# LANGUAGE DeriveDataTypeable #-}
99{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1010
11−module Idris.Error where
11+module Idris.Error (getErrSpan, idrisCatch, ierror, ifail, iucheck, report,
12+ setAndReport, showErr, tclift, tcliftAt, tctry, warnDisamb) where
1213
1314import Idris.AbsSyntax
1415import Idris.Core.Constraints
src/Idris/ModeCommon.hs+1−1
@@ -9,7 +9,7 @@ Maintainer : The Idris Community.
99{-# OPTIONS_GHC -fwarn-unused-binds #-}
1010{-# OPTIONS_GHC -fwarn-unused-imports #-}
1111
12−module Idris.ModeCommon where
12+module Idris.ModeCommon (banner, defaultPort, loadInputs, warranty) where
1313
1414import Idris.AbsSyntax
1515import Idris.Chaser
src/Idris/Options.hs+9−1
@@ -7,7 +7,15 @@ Maintainer : The Idris Community.
77-}
88{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, PatternGuards #-}
99
10−module Idris.Options where
10+module Idris.Options (Codegen(..), ConsoleWidth(..), HowMuchDocs(..), IRFormat(..),
11+ LanguageExt(..), LogCat(..), Opt(..), Optimisation(..),
12+ OutputFmt(..), REPLPort(..), codegenCats, elabCats, getBC,
13+ getClient, getCodegen, getCodegenArgs, getColour, getConsoleWidth,
14+ getEvalExpr, getExecScript, getFile, getIBCSubDir, getImportDir,
15+ getLanguageExt, getOptLevel, getOptimisation, getOutput,
16+ getOutputTy, getPkg, getPkgCheck, getPkgClean, getPkgDir,
17+ getPkgIndex, getPkgMkDoc, getPkgREPL, getPkgTest, getPort,
18+ getSourceDir, loggingCatsStr, opt, parserCats, strLogCat) where
1119
1220import Data.Maybe
1321import GHC.Generics (Generic)
src/Idris/Output.hs+6−1
@@ -9,7 +9,12 @@ Maintainer : The Idris Community.
99{-# LANGUAGE FlexibleInstances #-}
1010{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
1111
12−module Idris.Output where
12+module Idris.Output (clearHighlights, idemodePutSExp, iPrintError, iPrintFunTypes,
13+ iPrintResult, iPrintTermWithType, iputGoal, iputStr, iputStrLn,
14+ iRender, iRenderError, iRenderOutput, iRenderResult, iWarn,
15+ prettyDocumentedIst, printUndefinedNames, pshow, renderExternal,
16+ sendHighlighting, sendParserHighlighting, warnTotality,
17+ writeHighlights) where
1318
1419import Idris.AbsSyntax
1520import Idris.Colours (hEndColourise, hStartColourise)
src/Idris/Reflection.hs+13−1
@@ -8,7 +8,19 @@ Maintainer : The Idris Community.
88
99{-# LANGUAGE CPP, PatternGuards #-}
1010{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-unused-imports #-}
11−module Idris.Reflection where
11+module Idris.Reflection (RConstructorDefn(..), RDataDefn(..),RFunArg(..),
12+ RFunClause(..), RFunDefn(..), RTyDecl(..),
13+ buildDatatypes, buildFunDefns, envTupleType, fromTTMaybe,
14+ getArgs, mkList, rawList, rawPair, rawPairTy, reflect,
15+ reflectArg, reflectDatatype, reflectEnv, reflectErr,
16+ reflectFC, reflectFixity, reflectFunDefn, reflectList,
17+ reflectName, reflectNameType, reflectRaw,
18+ reflectRawQuotePattern, reflectRawQuote, reflectTTQuote,
19+ reflectTTQuotePattern, reflm, reify, reifyBool, reifyEnv,
20+ reifyFunDefn, reifyList, reifyRDataDefn, reifyRaw,
21+ reifyReportPart, reifyReportParts, reifyTT, reifyTTName,
22+ reifyTyDecl, rFunArgToPArg, tacN
23+ ) where
1224
1325import Idris.Core.Elaborate (claim, fill, focus, getNameFrom, initElaborator,
1426 movelast, runElab, solve)
src/Idris/Termination.hs+3−1
@@ -6,7 +6,9 @@ License : BSD3
66Maintainer : The Idris Community.
77-}
88{-# LANGUAGE PatternGuards #-}
9−module Idris.Termination where
9+module Idris.Termination (buildSCG, checkAllCovering, checkDeclTotality,
10+ checkIfGuarded, checkPositive, checkSizeChange,
11+ verifyTotality) where
1012
1113import Idris.AbsSyntax
1214import Idris.Core.CaseTree