Module ParseTypes

A interface for parsers

Author: Jasper Sikorra - jsi@informatik.uni-kiel.de

Version: March 2014

Summary of exported operations:

getIdentPos :: StandardToken -> Pos  Deterministic 
getCodePos :: StandardToken -> Pos  Deterministic 
getOffset :: StandardToken -> Int  Deterministic 
getLangtag :: StandardToken -> Maybe String  Deterministic 
getCode :: StandardToken -> String  Deterministic 
containsDSL :: StandardToken -> Bool  Deterministic 
Check wether a StandardToken contains a DSL or normal Curry

Exported datatypes:

LangParser

Type of a Translator for a DSL

Type synonym: LangParser = Pos -> String -> IO (PM String)

Langtag

Type synonym: Langtag = String

StandardToken

The StandardToken is used by the CIParser and Translator to store informations on Integrated Code

Constructors:

Code

Type synonym: Code = String

Offset

Type synonym: Offset = Int

Exported operations:

getIdentPos :: StandardToken -> Pos  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

getCodePos :: StandardToken -> Pos  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

getOffset :: StandardToken -> Int  Deterministic 

getLangtag :: StandardToken -> Maybe String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

getCode :: StandardToken -> String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

containsDSL :: StandardToken -> Bool  Deterministic 

Check wether a StandardToken contains a DSL or normal Curry

Further infos:
  • solution complete, i.e., able to compute all solutions