lambda-calculator-3.0.0: src/Language/Lambda/Shared/UniqueSupply.hs

module Language.Lambda.Shared.UniqueSupply where

import RIO
import RIO.Text (pack)

defaultUniques :: [Text]
defaultUniques = map pack strings
  where strings = concatMap (\p -> map (:p) . reverse $ ['a'..'z']) suffix
        suffix = "" : map show [(0::Int)..]