glambda-1.0.1: A simply typed lambda calculus interpreter, written with GADTs

Copyright(C) 2015 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (eir@cis.upenn.edu)
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.Glambda.Lex

Description

Lexes a Glambda program string into a sequence of tokens

Synopsis

Documentation

lexG :: String -> GlamE [LToken] Source

Lex some program text into a list of LTokens, aborting upon failure

lex :: String -> Either String [LToken] Source

Lex some program text into a list of LTokens