lambda-calculator-3.1.1.0: A lambda calculus interpreter
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lambda.Shared.UniqueSupply

Documentation

next Source #

Arguments

:: (Ord name, MonadError LambdaException m) 
=> [name]

Unique supply

-> [name]

Free Variables

-> m name