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