git.iko.soy/Idris-dev

on master help sign in

src/Idris/ASTUtils.hs+4−1

@@ -1,4 +1,7 @@

1−module Idris.ASTUtils where

1+module Idris.ASTUtils(Field(), cg_usedpos, ctxt_lookup, fgetState, fmodifyState,

2+ fputState, idris_fixities, ist_callgraph, ist_optimisation,

3+ known_classes, known_terms, opt_detaggable, opt_inaccessible,

4+ opts_idrisCmdline, repl_definitions) where

25

36-- This implements just a few basic lens-like concepts to ease state updates.

47-- Similar to fclabels in approach, just without the extra dependency.

src/Idris/DataOpts.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

22

3−module Idris.DataOpts where

3+module Idris.DataOpts(applyOpts) where

44

55-- Forcing, detagging and collapsing

66

src/Idris/Directives.hs+1−1

@@ -1,5 +1,5 @@

11

2−module Idris.Directives where

2+module Idris.Directives(directiveAction) where

33

44import Idris.AbsSyntax

55import Idris.ASTUtils

src/Idris/ErrReverse.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

22

3−module Idris.ErrReverse where

3+module Idris.ErrReverse(errReverse) where

44

55import Idris.AbsSyntax

66import Idris.Core.TT

src/Idris/Imports.hs+2−1

@@ -1,4 +1,5 @@

1−module Idris.Imports where

1+module Idris.Imports(IFileType(..), findImport, findInPath, findPkgIndex,

2+ ibcPathNoFallback, installedPackages, pkgIndex) where

23

34import Control.Applicative ((<$>))

45import Data.List (isSuffixOf)

src/Idris/Inliner.hs+1−1

@@ -1,6 +1,6 @@

11{-# LANGUAGE PatternGuards #-}

22

3−module Idris.Inliner where

3+module Idris.Inliner(inlineDef, inlineTerm) where

44

55import Idris.Core.TT

66import Idris.AbsSyntax