Idris.AbsSyntaxTree

data ElabWhat

data ElabInfo

toplevel

toplevelWith

eInfoNames

data IOption

defaultOpts

data PPOption

data Optimisation

defaultOptimise

defaultPPOption

verbosePPOption

ppOption

ppOptionIst

data LanguageExt

data OutputMode

data ConsoleWidth

data DefaultTotality

data InteractiveOpts

data IState

data SizeChange

type SCGEntry

type UsageReason

data CGInfo

primDefs

data IBCWrite

initialInteractiveOpts

idrisInit

type Idris

catchError

throwError

data Codegen

data IRFormat

data HowMuchDocs

data OutputFmt

data LogCat

strLogCat

codegenCats

parserCats

elabCats

loggingCatsStr

data ElabShellCmd

data Opt

data REPLPort

data Fixity

data FixDecl

data Static

data Plicity

is_scoped

impl

impl_gen

forall_imp

forall_constraint

expl

expl_param

constraint

tacimpl

data FnOpt

type FnOpts

inlinable

dictionary

data ProvideWhat' t

type ProvideWhat

data PDecl' t

data Directive

data RDeclInstructions

data EState

initEState

type ElabD a

highlightSource

data PClause' t

data PData' t

mapPDataFC

type PDecl

type PData

type PClause

mapPDeclFC

declared

tldeclared

defined

updateN

updateNs

data PunInfo

data PTerm

data PAltType

mapPTermFC

mapPT

data PTactic' t

type PTactic

data PDo' t

type PDo

data PArg' t

data ArgOpt

pimp

pexp

pconst

ptacimp

type PArg

highestFC

data InterfaceInfo

data RecordInfo

data TIData

data FnInfo

data OptInfo

data DSL' t

type DSL

data SynContext

data Syntax

syntaxNames

syntaxSymbols

data SSymbol

data SyntaxRules

emptySyntaxRules

updateSyntaxRules

initDSL

data Using

data SyntaxInfo

defaultSyntax

expandNS

bi

primfc

inferTy

inferCon

inferDecl

inferOpts

infTerm

infP

getInferTerm

getInferType

primNames

unitTy

unitCon

falseDoc

falseTy

pairTy

pairCon

upairTy

upairCon

eqTy

eqCon

eqDoc

eqDecl

eqParamDoc

eqOpts

modDocName

sigmaTy

sigmaCon

piBind

piBindp

annotationColour

consoleDecorate

isPostulateName

prettyImp

prettyIst

pprintPTerm

basename

isHoleName

containsHole

prettyName

showCImp

showDImp

showDecls

showDeclImp

getImps

getExps

getShowArgs

getConsts

getAll

showName

showTm

showTmImpls

showTmOpts

getPArity

allNamesIn

boundNamesIn

implicitNamesIn

namesIn

usedNamesIn

getErasureInfo