Copyright	(c) 1999 - 2004 Wolfgang Lux 2012 - 2013 Björn Peemöller 2016 Jan Tikovsky
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Curry.Base.LexComb

Contents

Types
Monadic functions
Combinators for layout handling
Conversion of numbers

Description

This module provides the basic types and combinators to implement the lexers. The combinators use continuation passing code in a monadic style.

The first argument of the continuation function is the current span, and the second is the string to be parsed. The third argument is a flag which signals the lexer that it is lexing the beginning of a line and therefore has to check for layout tokens. The fourth argument is a stack of indentations that is used to handle nested layout groups.

Synopsis

class (Ord s, Show s) => Symbol s where
- isEOF :: s -> Bool
- dist :: Int -> s -> Distance
type Indent = Int
type Context = [Indent]
type P a = Span -> String -> Bool -> Context -> CYM a
type CYM a = CYT Identity a
type SuccessP s a = Span -> s -> P a
type FailP a = Span -> String -> P a
type Lexer s a = SuccessP s a -> FailP a -> P a
parse :: P a -> FilePath -> String -> CYM a
applyLexer :: Symbol s => Lexer s [(Span, s)] -> P [(Span, s)]
returnP :: a -> P a
thenP :: P a -> (a -> P b) -> P b
thenP_ :: P a -> P b -> P b
failP :: Span -> String -> P a
warnP :: Span -> String -> P a -> P a
liftP :: (a -> b) -> P a -> P b
closeP0 :: P a -> P (P a)
closeP1 :: (a -> P b) -> P (a -> P b)
pushContext :: Indent -> P a -> P a
popContext :: P a -> P a
convertSignedIntegral :: Num a => a -> String -> a
convertSignedFloating :: Fractional a => String -> String -> Int -> a
convertIntegral :: Num a => a -> String -> a
convertFloating :: Fractional a => String -> String -> Int -> a

Types

class (Ord s, Show s) => Symbol s where Source #

Type class for symbols

Methods

isEOF :: s -> Bool Source #

Does the Symbol represent the end of the input?

dist :: Int -> s -> Distance Source #

Compute the distance of a Symbol

Instances

Symbol Token Source #
Instance details Defined in Curry.Syntax.Lexer Methods isEOF :: Token -> Bool Source # dist :: Int -> Token -> Distance Source #

type Indent = Int Source #

Type for indentations, necessary for the layout rule

type Context = [Indent] Source #

Type of context for representing layout grouping

type P a Source #

Arguments

= Span	Current source code span
-> String	`String` to be parsed
-> Bool	Flag whether the beginning of a line should be parsed, which requires layout checking
-> Context	context as a stack of `Indent`s
-> CYM a