Idris.Reflection
data RErasure
data RPlicity
data RFunArg
data RTyDecl
data RTyConArg
data RCtorArg
data RDatatype
data RConstructorDefn
data RDataDefn
rArgOpts
rFunArgToPArg
data RFunClause a
data RFunDefn a
reflm
tacN
reify
reifyApp
reifyBool
reifyInt
reifyPair
reifyList
reifyReportParts
reifyTT
reifyTTApp
reifyUniverse
reifyRaw
reifyRawApp
reifyTTName
reifyTTNameApp
reifyTTNamespace
reifyTTNameType
reifyTTBinder
reifyTTBinderApp
reifyTTConst
reifyTTConstApp
reifyArithTy
reifyNativeTy
reifyIntTy
reifyTTUExp
reflCall
reflect
reflectRaw
claimTy
intToReflectedNat
reflectFixity
reflectTTQuotePattern
reflectRawQuotePattern
reflectBinderQuotePattern
reflectUniverse
reflectTTQuote
reflectRawQuote
reflectNameType
reflectName
reflectSpecialName
reflectNameQuotePattern
reflectBinder
reflectBinderQuote
mkList
reflectConstant
reflectUExp
reflectEnv
reifyEnv
rawBool
rawNil
rawCons
rawList
rawPairTy
rawPair
rawTripleTy
rawTriple
reflectCtxt
reflectErr
reflectFC
reifyFC
fromTTMaybe
reflErrName
reifyReportPart
reifyErasure
reifyPlicity
reifyRFunArg
reifyTyDecl
reifyFunDefn
reifyRConstructorDefn
reifyRDataDefn
envTupleType
reflectList
getArgs
unApplyRaw
buildFunDefns
buildDatatypes
reflectErasure
reflectPlicity
reflectArg
reflectCtorArg
reflectDatatype
reflectFunClause
reflectFunDefn