Safe Haskell	Safe-Inferred
Language	GHC2021

Futhark.FreshNames

Description

This module provides facilities for generating unique names.

Synopsis

data VNameSource
blankNameSource :: VNameSource
newNameSource :: Int -> VNameSource
newName :: VNameSource -> VName -> (VName, VNameSource)

Documentation

data VNameSource Source #

A name source is conceptually an infinite sequence of names with no repeating entries. In practice, when asked for a name, the name source will return the name along with a new name source, which should then be used in place of the original.

The Ord instance is based on how many names have been extracted from the name source.

Instances

Instances details

Monoid VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods mempty :: VNameSource # mappend :: VNameSource -> VNameSource -> VNameSource # mconcat :: [VNameSource] -> VNameSource #
Semigroup VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods (<>) :: VNameSource -> VNameSource -> VNameSource # sconcat :: NonEmpty VNameSource -> VNameSource # stimes :: Integral b => b -> VNameSource -> VNameSource #
Eq VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods (==) :: VNameSource -> VNameSource -> Bool # (/=) :: VNameSource -> VNameSource -> Bool #
Ord VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods compare :: VNameSource -> VNameSource -> Ordering # (<) :: VNameSource -> VNameSource -> Bool # (<=) :: VNameSource -> VNameSource -> Bool # (>) :: VNameSource -> VNameSource -> Bool # (>=) :: VNameSource -> VNameSource -> Bool # max :: VNameSource -> VNameSource -> VNameSource # min :: VNameSource -> VNameSource -> VNameSource #
Lift VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods lift :: Quote m => VNameSource -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => VNameSource -> Code m VNameSource #
Monad im => MonadFreshNames (StateT VNameSource im) Source #
Instance details Defined in Futhark.MonadFreshNames Methods getNameSource :: StateT VNameSource im VNameSource Source # putNameSource :: VNameSource -> StateT VNameSource im () Source #
Monad im => MonadFreshNames (StateT VNameSource im) Source #
Instance details Defined in Futhark.MonadFreshNames Methods getNameSource :: StateT VNameSource im VNameSource Source # putNameSource :: VNameSource -> StateT VNameSource im () Source #
MonadState (VNameSource, Bool, Certs) (SimpleM rep) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods get :: SimpleM rep (VNameSource, Bool, Certs) # put :: (VNameSource, Bool, Certs) -> SimpleM rep () # state :: ((VNameSource, Bool, Certs) -> (a, (VNameSource, Bool, Certs))) -> SimpleM rep a #
(Monad im, Monoid w) => MonadFreshNames (RWST r w VNameSource im) Source #
Instance details Defined in Futhark.MonadFreshNames Methods getNameSource :: RWST r w VNameSource im VNameSource Source # putNameSource :: VNameSource -> RWST r w VNameSource im () Source #
(Monad im, Monoid w) => MonadFreshNames (RWST r w VNameSource im) Source #
Instance details Defined in Futhark.MonadFreshNames Methods getNameSource :: RWST r w VNameSource im VNameSource Source # putNameSource :: VNameSource -> RWST r w VNameSource im () Source #

blankNameSource :: VNameSource Source #

A blank name source.

newNameSource :: Int -> VNameSource Source #

A new name source that starts counting from the given number.

newName :: VNameSource -> VName -> (VName, VNameSource) Source #

Produce a fresh name, using the given name as a template.