Safe Haskell	Safe-Inferred
Language	Haskell2010

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

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 #
Semigroup VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods (<>) :: VNameSource -> VNameSource -> VNameSource # sconcat :: NonEmpty VNameSource -> VNameSource # stimes :: Integral b => b -> VNameSource -> VNameSource #
Monoid VNameSource Source #
Instance details Defined in Futhark.FreshNames Methods mempty :: VNameSource # mappend :: VNameSource -> VNameSource -> VNameSource # mconcat :: [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 #
(Applicative im, 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 #
(Applicative im, 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, Certificates) (SimpleM lore) Source #
Instance details Defined in Futhark.Optimise.Simplify.Engine Methods get :: SimpleM lore (VNameSource, Bool, Certificates) # put :: (VNameSource, Bool, Certificates) -> SimpleM lore () # state :: ((VNameSource, Bool, Certificates) -> (a, (VNameSource, Bool, Certificates))) -> SimpleM lore a #
(Applicative im, 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 #
(Applicative im, 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.