Hets - the Heterogeneous Tool Set
CopyrightChristian Maeder and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Common.ConvertMixfixToken

Description

generic conversion of mixfix tokens

Synopsis

Documentation

convertMixfixToken :: LiteralAnnos -> AsAppl a -> (Token -> a) -> Token -> ([Diagnosis], a) Source #

convert a literal token to an application term

type AsAppl a = Id -> [a] -> Range -> a Source #