Idris2Doc : Go.Token

Go.Token

(source)

Reexports

importpublic Data.Fin

Definitions

dataLiteral : Type
Totality: total
Visibility: public export
Constructors:
MkIdentifier : Literal
MkInt : Literal
MkFloat : Literal
MkImag : Literal
MkChar : Literal
MkString : Literal

Hint: 
ShowLiteral
dataOperator : Type
Totality: total
Visibility: public export
Constructors:
MkAdd : Operator
MkSub : Operator
MkMul : Operator
MkQuo : Operator
MkRem : Operator
MkAnd : Operator
MkOr : Operator
MkXor : Operator
MkShl : Operator
MkShr : Operator
MkAndNot : Operator
MkAddAssign : Operator
MkSubAssign : Operator
MkMulAssign : Operator
MkQuoAssign : Operator
MkRemAssign : Operator
MkAndAssign : Operator
MkOrAssign : Operator
MkXorAssign : Operator
MkShlAssign : Operator
MkShrAssign : Operator
MkAndNotAssign : Operator
MkLogicalAnd : Operator
MkLogicalOr : Operator
MkArrow : Operator
MkInc : Operator
MkDec : Operator
MkEql : Operator
MkLess : Operator
MkGreater : Operator
MkAssign : Operator
MkNot : Operator
MkNotEql : Operator
MkLessThanOrEqual : Operator
MkGreaterThanOrEqual : Operator
MkDefine : Operator
MkEllipsis : Operator
MkLParen : Operator
MkLBracket : Operator
MkLBrace : Operator
MkComma : Operator
MkPeriod : Operator
MkRParen : Operator
MkRBracket : Operator
MkRBrace : Operator
MkSemicolon : Operator
MkColon : Operator

Hint: 
ShowOperator
Precedence : Type
Visibility: public export
precedence : Operator->Precedence
Visibility: export
dataKeyword : Type
Totality: total
Visibility: public export
Constructors:
MkBreak : Keyword
MkCase : Keyword
MkChan : Keyword
MkConst : Keyword
MkContinue : Keyword
MkDefault : Keyword
MkDefer : Keyword
MkElse : Keyword
MkFallthrough : Keyword
MkFor : Keyword
MkFunc : Keyword
MkGo : Keyword
MkGoto : Keyword
MkIf : Keyword
MkImport : Keyword
MkInterface : Keyword
MkMap : Keyword
MkPackage : Keyword
MkRange : Keyword
MkReturn : Keyword
MkSelect : Keyword
MkStruct : Keyword
MkSwitch : Keyword
MkType : Keyword
MkVar : Keyword

Hints:
EqKeyword
ShowKeyword
keywords : List (String, Keyword)
Visibility: public export
getKeyword : String->MaybeKeyword
Visibility: export
dataAdditional : Type
Totality: total
Visibility: public export
Constructor: 
MkTilde : Additional

Hint: 
ShowAdditional
dataToken : Type
Totality: total
Visibility: public export
Constructors:
MkIllegal : Token
MkEOF : Token
MkComment : Token
MkLiteralToken : Literal->Token
MkOperatorToken : Operator->Token
MkKeywordToken : Keyword->Token
MkAdditionalToken : Additional->Token

Hint: 
ShowToken
isLiteral : Token->Bool
Visibility: export
isOperator : Token->Bool
Visibility: export
isKeyword : Token->Bool
Visibility: export
lookup : String->Token
Visibility: export