Cryptol.Parser.Names

This module defines the scoping rules for value- and type-level names in Cryptol.

Documentation

tnamesNT :: Newtype name -> ([Located name], ())

The names defined by a newtype.

tnamesT :: Ord name => Type name -> Set name

Compute the type synonyms/type variables used by a type.

tnamesC :: Ord name => Prop name -> Set name

The type names used by a prop.

namesD :: Ord name => Decl name -> ([Located name], Set name)

The names defined and used by a single declarations.

tnamesD :: Ord name => Decl name -> ([Located name], Set name)

The type names defined and used by a single declaration.

namesB :: Ord name => Bind name -> ([Located name], Set name)

The names defined and used by a single binding.

namesP :: Pattern name -> [Located name]

The names defined by a pattern. These will always be unqualified names.

boundNames :: Ord name => [name] -> Set name -> Set name

Remove some defined variables from a set of free variables.

boundNamesSet :: Ord name => Set name -> Set name -> Set name

Remove some defined variables from a set of free variables.