Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Parser

Documentation

data Keyword Source

Constructors

KLambda
KIfZero
KThen
KElse
KLet
KIn

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

Constructors

KPDot
KPPlus
KPMinus
KPDefEqual

kPDefEqualL :: Prism KeywordPunctuation () Source

kPMinusL :: Prism KeywordPunctuation () Source

kPPlusL :: Prism KeywordPunctuation () Source

kPDotL :: Prism KeywordPunctuation () Source

data Punctuation Source

Constructors

PLParen
PRParen

pRParenL :: Prism Punctuation () Source

pLParenL :: Prism Punctuation () Source

data Token Source

Constructors

TKeyword Keyword
TKeywordPunctuation KeywordPunctuation
TPunctuation Punctuation
TInteger ℤ
TSymbol 𝕊
TWhitespace 𝕊

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

Constructors

SourceExp
Fields sourceExpContext :: SourceContext Token sourceExpRawExp :: PreExp 𝕊 SourceExp

Instances

Pretty 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