Idris2Doc : Go.Token

Go.Token

(source)

Reexports

import public Data.Fin

Definitions

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

Hint: 
Show Literal
data Operator : 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: 
Show Operator
Precedence : Type
Visibility: public export
precedence : Operator -> Precedence
Visibility: export
data Keyword : 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:
Eq Keyword
Show Keyword
keywords : List (String, Keyword)
Visibility: public export
getKeyword : String -> Maybe Keyword
Visibility: export
data Additional : Type
Totality: total
Visibility: public export
Constructor: 
MkTilde : Additional

Hint: 
Show Additional
data Token : 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: 
Show Token
isLiteral : Token -> Bool
Visibility: export
isOperator : Token -> Bool
Visibility: export
isKeyword : Token -> Bool
Visibility: export
lookup : String -> Token
Visibility: export