Safe Haskell	None
Language	Haskell2010

Nominal.Atom

Contents

Atoms

Description

This module provides a type of atoms. An atom is a globally unique identifier that also has a concrete name, as well as additional name suggestions (in case it must be renamed).

This module exposes implementation details of the Nominal library, and should not normally be imported. Users of the library should only import the top-level module Nominal.

Synopsis

data Atom = Atom Unique String NameGen
atom_show :: Atom -> String
atom_names :: Atom -> NameGen
fresh_atom_named :: String -> NameGen -> IO Atom
fresh_atom :: NameGen -> IO Atom
with_fresh_atom_named :: String -> NameGen -> (Atom -> a) -> a
with_fresh_atom :: NameGen -> (Atom -> a) -> a

Atoms

data Atom Source #

An atom is a globally unique, opaque value.

Constructors

Atom Unique String NameGen

An atom consists of a unique identifier, a concrete name, and some optional name suggestions.

Instances

Eq Atom Source #
Instance details Defined in Nominal.Atom Methods (==) :: Atom -> Atom -> Bool # (/=) :: Atom -> Atom -> Bool #
Ord Atom Source #	User code should not explicitly compare atoms for relative ordering, because this is not referentially transparent (can be unsound). However, we define an `Ord` instance for atoms anyway, because it permits atoms to be used as keys in `Set`s and `Map`s.
Instance details Defined in Nominal.Atom Methods compare :: Atom -> Atom -> Ordering # (<) :: Atom -> Atom -> Bool # (<=) :: Atom -> Atom -> Bool # (>) :: Atom -> Atom -> Bool # (>=) :: Atom -> Atom -> Bool # max :: Atom -> Atom -> Atom # min :: Atom -> Atom -> Atom #
Show Atom Source #
Instance details Defined in Nominal.Atom Methods showsPrec :: Int -> Atom -> ShowS # show :: Atom -> String # showList :: [Atom] -> ShowS #
Nominal Atom Source #
Instance details Defined in Nominal.Nominal Methods (•) :: NominalPermutation -> Atom -> Atom Source #
NominalSupport Atom Source #
Instance details Defined in Nominal.NominalSupport Methods support :: Atom -> Support Source #
NominalShow Atom Source #
Instance details Defined in Nominal.NominalShow Methods showsPrecSup :: Support -> Int -> Atom -> ShowS Source # nominal_showList :: Support -> [Atom] -> ShowS Source #
Bindable Atom Source #
Instance details Defined in Nominal.Bindable Methods binding :: Atom -> NominalBinder Atom Source #
Atomic Atom Source #
Instance details Defined in Nominal.Atomic Methods to_atom :: Atom -> Atom Source # from_atom :: Atom -> Atom Source # names :: Atom -> NameGen Source #