Module ParseTypes

A interface for parsers

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

Version: March 2014

Summary of exported operations:

getIdentPos :: StandardToken -> Pos   
getCodePos :: StandardToken -> Pos   
getOffset :: StandardToken -> Int   
getLangtag :: StandardToken -> Maybe String   
getCode :: StandardToken -> String   
containsDSL :: StandardToken -> Bool   
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   

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

getCodePos :: StandardToken -> Pos   

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

getOffset :: StandardToken -> Int   

getLangtag :: StandardToken -> Maybe String   

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

getCode :: StandardToken -> String   

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

containsDSL :: StandardToken -> Bool   

Check wether a StandardToken contains a DSL or normal Curry

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