Idris.AbsSyntaxTree
data ElabWhat
data ElabInfo
data IOption
data PPOption
data Optimisation
data LanguageExt
data OutputMode
data ConsoleWidth
data DefaultTotality
data InteractiveOpts
data IState
data SizeChange
type SCGEntry
type UsageReason
data CGInfo
data IBCWrite
type Idris
data Codegen
data IRFormat
data HowMuchDocs
data OutputFmt
data LogCat
data ElabShellCmd
data Opt
data REPLPort
data Fixity
data FixDecl
data Static
data Plicity
data FnOpt
type FnOpts
data ProvideWhat' t
type ProvideWhat
data PDecl' t
data Directive
data RDeclInstructions
data EState
type ElabD a
data PClause' t
data PData' t
type PDecl
type PData
type PClause
data PunInfo
data PTerm
data PAltType
data PTactic' t
type PTactic
data PDo' t
type PDo
data PArg' t
data ArgOpt
type PArg
data InterfaceInfo
data RecordInfo
data TIData
data FnInfo
data OptInfo
data DSL' t
type DSL
data SynContext
data Syntax
data SSymbol
data SyntaxRules
data Using
data SyntaxInfo