f984657 · Idris-dev · git.iko.soy

src/Idris/CmdOptions.hs+2−5

compare with master

unifiedsplit

@@ -9,11 +9,8 @@ Maintainer : The Idris Community.

9{-# LANGUAGE Arrows #-}

10

11module Idris.CmdOptions

12− (

13− module Idris.CmdOptions

14− , opt

15− , getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc

12+ ( opt, getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,

16− , getPkgREPL, getPkgTest, getPort, getIBCSubDir

13+ getPkgREPL, getPkgTest, getPort, getIBCSubDir, pureArgParser, runArgParser

17 ) where

14 ) where

18

15

19import Idris.Info (getIdrisVersion)

16import Idris.Info (getIdrisVersion)

src/Idris/DSL.hs+1−1

@@ -8,7 +8,7 @@ Maintainer : The Idris Community.

8

9{-# LANGUAGE PatternGuards #-}

10

11−module Idris.DSL where

11+module Idris.DSL (debindApp, desugar) where

12

13import Idris.AbsSyntax

14import Idris.Core.TT

src/Idris/ElabDecls.hs+2−1

@@ -9,7 +9,8 @@ Maintainer : The Idris Community.

9{-# LANGUAGE DeriveFunctor, FlexibleInstances, MultiParamTypeClasses,

10 PatternGuards #-}

11

12−module Idris.ElabDecls where

12+module Idris.ElabDecls(elabDecl, elabDecl', elabDecls, elabMain, elabPrims,

13+ recinfo) where

13

14

14import Idris.AbsSyntax

15import Idris.AbsSyntax

15import Idris.Core.Evaluate

16import Idris.Core.Evaluate

src/Idris/Error.hs+2−1

@@ -8,7 +8,8 @@ Maintainer : The Idris Community.

8{-# LANGUAGE DeriveDataTypeable #-}

9{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

10

11−module Idris.Error where

11+module Idris.Error (getErrSpan, idrisCatch, ierror, ifail, iucheck, report,

12+ setAndReport, showErr, tclift, tcliftAt, tctry, warnDisamb) where

12

13

13import Idris.AbsSyntax

14import Idris.AbsSyntax

14import Idris.Core.Constraints

15import Idris.Core.Constraints

src/Idris/ModeCommon.hs+1−1

@@ -9,7 +9,7 @@ Maintainer : The Idris Community.

9{-# OPTIONS_GHC -fwarn-unused-binds #-}

10{-# OPTIONS_GHC -fwarn-unused-imports #-}

11

12−module Idris.ModeCommon where

12+module Idris.ModeCommon (banner, defaultPort, loadInputs, warranty) where

13

14import Idris.AbsSyntax

15import Idris.Chaser

src/Idris/Options.hs+9−1

@@ -7,7 +7,15 @@ Maintainer : The Idris Community.

7-}

8{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, PatternGuards #-}

9

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

11

19

12import Data.Maybe

20import Data.Maybe

13import GHC.Generics (Generic)

21import GHC.Generics (Generic)

src/Idris/Output.hs+6−1

@@ -9,7 +9,12 @@ Maintainer : The Idris Community.

9{-# LANGUAGE FlexibleInstances #-}

10{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

11

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

13

18

14import Idris.AbsSyntax

19import Idris.AbsSyntax

15import Idris.Colours (hEndColourise, hStartColourise)

20import Idris.Colours (hEndColourise, hStartColourise)

src/Idris/Reflection.hs+13−1

@@ -8,7 +8,19 @@ Maintainer : The Idris Community.

8

9{-# LANGUAGE CPP, PatternGuards #-}

10{-# 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

12

24

13import Idris.Core.Elaborate (claim, fill, focus, getNameFrom, initElaborator,

25import Idris.Core.Elaborate (claim, fill, focus, getNameFrom, initElaborator,

14 movelast, runElab, solve)

26 movelast, runElab, solve)

src/Idris/Termination.hs+3−1

@@ -6,7 +6,9 @@ License : BSD3

6Maintainer : The Idris Community.

7-}

8{-# LANGUAGE PatternGuards #-}

9−module Idris.Termination where

9+module Idris.Termination (buildSCG, checkAllCovering, checkDeclTotality,

10+ checkIfGuarded, checkPositive, checkSizeChange,

11+ verifyTotality) where

10

12

11import Idris.AbsSyntax

13import Idris.AbsSyntax

12import Idris.Core.CaseTree

14import Idris.Core.CaseTree