SSTG-0.1.0.5: STG Symbolic Execution

Safe HaskellSafe
LanguageHaskell2010

SSTG.Core.Execution.Naming

Description

Naming Module

Synopsis

Documentation

allNames :: State -> [Name] Source #

All Names in State

freshString :: Int -> String -> Set String -> String Source #

Fresh String from Int Rand Seed

freshName :: NameSpace -> [Name] -> Name Source #

Fresh Name from Conflict List

freshSeededName :: Name -> [Name] -> Name Source #

Seeded Fresh Name from Conflict List

freshNameList :: [NameSpace] -> [Name] -> [Name] Source #

List of Fresh Names

freshSeededNameList :: [Name] -> [Name] -> [Name] Source #

List of Seeded Fresh Names