Safe Haskell	None
Language	Haskell2010

LambdaCube.Compiler.Lexer

Documentation

try_ :: MonadParsec s m t => String -> m a -> m a Source

manyNM :: (Num a, Ord a, MonadPlus m) => a -> a -> m t -> m [t] Source

type P = ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) Source

type PostponedCheck = Maybe String Source

type DesugarInfo = (FixityMap, ConsMap) Source

type ConsMap = Map SName (Either ((SName, Int), [(SName, Int)]) Int) Source

dsInfo :: P DesugarInfo Source

namespace :: P Namespace Source

runP_ :: (Num t3, Num t4) => t2 -> String -> RWS (t2, (t3, t4)) t1 SourcePos t -> (t, t1) Source

runP :: (Num t2, Num t3, Monoid t, Stream s t4) => t1 -> String -> ParsecT s (RWST (t1, (t2, t3)) t SourcePos Identity) a -> s -> (Either ParseError a, t) Source

runP' :: (Num t2, Num t3, Monoid t, Stream s t4) => t1 -> String -> ParsecT s (RWST (t1, (t2, t3)) t SourcePos Identity) a -> State s -> ((State s, Either ParseError a), t) Source

data Lit Source

Constructors

LInt Integer
LChar Char
LFloat Double
LString String

Instances

Eq Lit Source
Show Lit Source

type SName = String Source

pattern CaseName :: String -> String Source

caseName :: [Char] -> [Char] Source

getCaseName :: (Eq a, IsString [a]) => [a] -> Maybe [a] Source

pattern MatchName :: [Char] -> [Char] Source

matchName :: IsString [a] => [a] -> [a] Source

getMatchName :: [Char] -> Maybe [Char] Source

data Range Source

Constructors

Range SourcePos SourcePos

Instances

Eq Range Source
Ord Range Source
NFData Range Source
PShow Range Source

joinRange :: Range -> Range -> Range Source

data SI Source

Constructors

NoSI (Set String)
RangeSI Range

Instances

Eq SI Source
Ord SI Source
Show SI Source
Monoid SI Source
NFData SI Source
PShow SI Source
SourceInfo SI Source

showSI :: Map String String -> SI -> String Source

showSourcePosSI :: SI -> String Source

validSI :: SI -> Bool Source

debugSI :: String -> SI Source

validate :: SI -> [SI] -> SI Source

sourceNameSI :: SI -> String Source

sameSource :: SI -> SI -> Bool Source

class SourceInfo si where Source

Methods

sourceInfo :: si -> SI Source

Instances

SourceInfo SI Source
SourceInfo si => SourceInfo [si] Source
SourceInfo (SExp' a) Source

class SetSourceInfo a where Source

Methods

setSI :: SI -> a -> a Source

Instances

SetSourceInfo (SExp' a) Source

appRange :: P (SI -> a) -> P a Source

type SIName = (SI, SName) Source

psn :: ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) b -> P (SI, b) Source

data Namespace Source

Constructors

TypeNS
ExpNS

Instances

Eq Namespace Source
Show Namespace Source

tick :: Namespace -> [Char] -> [Char] Source

tick' :: [Char] -> ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) [Char] Source

switchNamespace :: Namespace -> Namespace Source

switchTick :: [Char] -> [Char] Source

modifyLevel :: MonadReader ((d1, c), d) m => (c -> c) -> m a -> m a Source

typeNS :: P a -> P a Source

expNS :: P a -> P a Source

switchNS :: P a -> P a Source

lowerLetter :: MonadParsec s m Char => m Char Source

upperLetter :: MonadParsec s m Char => m Char Source

identStart :: MonadParsec s m Char => m Char Source

identLetter :: MonadParsec s m Char => m Char Source

lowercaseOpLetter :: MonadParsec s m Char => m Char Source

opLetter :: MonadParsec s f Char => f Char Source

maybeStartWith :: MonadParsec s f Char => (Char -> Bool) -> f [Char] -> f [Char] Source

upperCase :: ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) (SI, [Char]) Source

upperCase_ :: ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) (SI, [Char]) Source

lowerCase :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

backquotedIdent :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

symbols :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

lcSymbols :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

colonSymbols :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

moduleName :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m (SI, [Char]) Source

patVar :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f (SI, [Char]) Source

lhsOperator :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f (SI, [Char]) Source

rhsOperator :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f (SI, [Char]) Source

varId :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f (SI, [Char]) Source

upperLower :: ParsecT String (RWS ((DesugarInfo, Namespace), (Int, Int)) [PostponedCheck] SourcePos) (SI, [Char]) Source

data FixityDef Source

Constructors

Infix
InfixL
InfixR

Instances

Show FixityDef Source

type Fixity = (FixityDef, Int) Source

type FixityMap = Map SName Fixity Source

calcPrec :: (Show e, Show f) => (f -> e -> e -> e) -> (f -> Fixity) -> e -> [(f, e)] -> e Source

parseFixityDecl :: P [(SIName, Fixity)] Source

getFixity :: DesugarInfo -> SName -> Fixity Source

reservedOp :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => String -> f () Source

reserved :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => String -> f () Source

expect :: (Show b, MonadParsec s m t) => [Char] -> (b -> Bool) -> m b -> m b Source

identifier :: (Ord t, Show t, IsString t, MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m t -> m (SI, t) Source

operator :: (Ord t, Show t, IsString t, MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m t -> m (SI, t) Source

theReservedOpNames :: (Ord a, IsString a) => Set a Source

theReservedNames :: (Ord a, IsString a) => Set a Source

checkIndent :: (MonadParsec s m t, MonadReader (a, (Int, Int)) m) => m SourcePos Source

indentMS :: (MonadParsec s m t1, MonadReader (d, (Int, Int)) m) => Bool -> m t -> m [t] Source

lexeme' :: (MonadParsec s m t, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m a1 -> m t1 -> m (SI, t1) Source

lexeme :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f b -> f b Source

lexeme_ :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m t -> m (SI, t) Source

symbol :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => String -> m (SI, String) Source

symbol' :: (MonadParsec s m Char, MonadReader (a, (Int, Int)) m, MonadState SourcePos m) => m a1 -> String -> m (SI, String) Source

whiteSpace :: MonadParsec s m Char => m () Source

simpleSpace :: MonadParsec s m Char => m () Source

oneLineComment :: MonadParsec s m Char => m () Source

multiLineComment :: MonadParsec s f Char => f () Source

inCommentMulti :: MonadParsec s f Char => f () Source

parens :: (MonadParsec s m Char, MonadReader (a1, (Int, Int)) m, MonadState SourcePos m) => m a -> m a Source

braces :: (MonadParsec s m Char, MonadReader (a1, (Int, Int)) m, MonadState SourcePos m) => m a -> m a Source

brackets :: (MonadParsec s m Char, MonadReader (a1, (Int, Int)) m, MonadState SourcePos m) => m a -> m a Source

commaSep :: (MonadParsec s m Char, MonadReader (a1, (Int, Int)) m, MonadState SourcePos m) => m a -> m [a] Source

commaSep1 :: (MonadParsec s m Char, MonadReader (a1, (Int, Int)) m, MonadState SourcePos m) => m a -> m [a] Source

parseLit :: (MonadParsec s f Char, MonadReader (a, (Int, Int)) f, MonadState SourcePos f) => f Lit Source