Idris.Syntax.Pragmas

Definitions

data KwPragma : Type

Totality: total
Visibility: public export
Constructors:

KwHint : KwPragma

KwHide : KwPragma

KwUnhide : KwPragma

KwLogging : KwPragma

KwAutoLazy : KwPragma

KwUnboundImplicits : KwPragma

KwAmbiguityDepth : KwPragma

KwPair : KwPragma

KwRewrite : KwPragma

KwIntegerLit : KwPragma

KwStringLit : KwPragma

KwCharLit : KwPragma

KwDoubleLit : KwPragma

KwName : KwPragma

KwStart : KwPragma

KwAllowOverloads : KwPragma

KwLanguage : KwPragma

KwDefault : KwPragma

KwPrefixRecordProjections : KwPragma

KwAutoImplicitDepth : KwPragma

KwNfMetavarThreshold : KwPragma

KwSearchTimeOut : KwPragma

Hint: 

Show KwPragma

data LangExt : Type

Totality: total
Visibility: public export
Constructors:

ElabReflection : LangExt

Borrowing : LangExt

Hints:

Eq LangExt

Show LangExt

allLangExts : List LangExt

Totality: total
Visibility: export

data PragmaArg : Type

Totality: total
Visibility: public export
Constructors:

AName : String -> PragmaArg

ANameList : PragmaArg

APairArg : PragmaArg

ARewriteArg : PragmaArg

AnOnOff : PragmaArg

AnOptionalLoggingTopic : PragmaArg

ANat : PragmaArg

AnExpr : PragmaArg

ALangExt : PragmaArg

ATotalityLevel : PragmaArg

Hint: 

Show PragmaArg

pragmaArgs : KwPragma -> List PragmaArg

Totality: total
Visibility: export

allPragmas : List KwPragma

Totality: total
Visibility: export

pragmaTopics : String

Totality: total
Visibility: export