Documentation

data Keyword Source

kInL :: Prism Keyword () Source

kLetL :: Prism Keyword () Source

kElseL :: Prism Keyword () Source

kThenL :: Prism Keyword () Source

kIfZeroL :: Prism Keyword () Source

kLambdaL :: Prism Keyword () Source

data KeywordPunctuation Source

kPDefEqualL :: Prism KeywordPunctuation () Source

kPMinusL :: Prism KeywordPunctuation () Source

kPPlusL :: Prism KeywordPunctuation () Source

kPDotL :: Prism KeywordPunctuation () Source

data Punctuation Source

pRParenL :: Prism Punctuation () Source

pLParenL :: Prism Punctuation () Source

data Token Source

tWhitespaceL :: Prism Token 𝕊 Source

tSymbolL :: Prism Token 𝕊 Source

tIntegerL :: Prism Token ℤ Source

tPunctuationL :: Prism Token Punctuation Source

tKeywordPunctuationL :: Prism Token KeywordPunctuation Source

tKeywordL :: Prism Token Keyword Source

data SourceExp Source

stripSourceExp :: SourceExp -> Fixed (PreExp 𝕊) Source

tokKeyword :: Parser ℂ Keyword Source

tokKeywordPunctuation :: Parser ℂ KeywordPunctuation Source

tokPunctuation :: Parser ℂ Punctuation Source

tokToken :: Parser ℂ Token Source

parWhitespace :: Parser Token () Source

parOptionalWhitespace :: Parser Token () Source

parSurroundOptionalWhitespace :: Parser Token a -> Parser Token a Source

parSymbol :: Parser Token 𝕊 Source

parLParen :: Parser Token () Source

parRParen :: Parser Token () Source

parParens :: Parser Token a -> Parser Token a Source

foldSourceExp :: FullContextAnnotated Token (PreExp 𝕊 SourceExp) -> SourceExp Source

unfoldSourceExp :: SourceExp -> FullContextAnnotated Token (PreExp 𝕊 SourceExp) Source

parMixes :: MixfixF Token (FullContextAnnotated Token) (PreExp 𝕊 SourceExp) Source

parExp :: Parser Token SourceExp Source

parseExp :: 𝕊 -> Doc ⨄ SourceExp Source