@@ -8,7 +8,19 @@ Maintainer : The Idris Community.
9{-# LANGUAGE CPP, PatternGuards #-}
9{-# LANGUAGE CPP, PatternGuards #-}
10{-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-unused-imports #-}
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
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)