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

Copyright(C) 2015 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.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