Safe Haskell | Safe-Infered |
---|
- data Tok n
- describeTok :: Pretty n => Tok n -> String
- renameTok :: Ord n2 => (n1 -> n2) -> Tok n1 -> Tok n2
- data TokAtom
- = KRoundBra
- | KRoundKet
- | KSquareBra
- | KSquareKet
- | KBraceBra
- | KBraceKet
- | KAngleBra
- | KAngleKet
- | KSquareColonBra
- | KSquareColonKet
- | KAngleColonBra
- | KAngleColonKet
- | KDot
- | KBar
- | KHat
- | KPlus
- | KColon
- | KComma
- | KBackSlash
- | KSemiColon
- | KUnderscore
- | KEquals
- | KAmpersand
- | KDash
- | KColonColon
- | KBigLambda
- | KSortComp
- | KSortProp
- | KKindValue
- | KKindRegion
- | KKindEffect
- | KKindClosure
- | KKindWitness
- | KArrowTilde
- | KArrowDash
- | KArrowEquals
- | KBotEffect
- | KBotClosure
- | KWith
- | KWhere
- | KIn
- | KLet
- | KLazy
- | KLetRec
- | KLetRegion
- | KWithRegion
- | KCase
- | KOf
- | KWeakEff
- | KWeakClo
- | KPurify
- | KForget
- | KIndex Int
- | KTwConBuiltin TwCon
- | KWbConBuiltin WbCon
- | KTcConBuiltin TcCon
- describeTokAtom :: TokAtom -> String
- data TokNamed n
- describeTokNamed :: Pretty n => TokNamed n -> String
Documentation
Tokens accepted by the core language parser.
describeTok :: Pretty n => Tok n -> StringSource
Describe a token for parser error messages.
renameTok :: Ord n2 => (n1 -> n2) -> Tok n1 -> Tok n2Source
Apply a function to all the names in a Tok
.
Atomic tokens, that don't contain user-defined names.
describeTokAtom :: TokAtom -> StringSource
Describe a TokAtom
, for parser error messages.
A token witn a user-defined name.