futhark-0.22.4: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.MonadFreshNames

Description

This module provides a monadic facility similar (and built on top of) Futhark.FreshNames. The removes the need for a (small) amount of boilerplate, at the cost of using some GHC extensions. The idea is that if your compiler pass runs in a monad that is an instance of MonadFreshNames, you can automatically use the name generation functions exported by this module.

Synopsis

Documentation

class Monad m => MonadFreshNames m where Source #

A monad that stores a name source. The following is a good instance for a monad in which the only state is a NameSource vn:

 instance MonadFreshNames vn MyMonad where
   getNameSource = get
   putNameSource = put

Instances

Instances details
MonadFreshNames ADM Source # 
Instance details

Defined in Futhark.AD.Rev.Monad

MonadFreshNames InternaliseM Source # 
Instance details

Defined in Futhark.Internalise.Monad

MonadFreshNames PassM Source # 
Instance details

Defined in Futhark.Pass

MonadFreshNames FutharkM Source # 
Instance details

Defined in Futhark.Pipeline

MonadFreshNames RenameM Source # 
Instance details

Defined in Futhark.Transform.Rename

MonadFreshNames m => MonadFreshNames (MaybeT m) Source # 
Instance details

Defined in Futhark.MonadFreshNames

MonadFreshNames (State RState) Source # 
Instance details

Defined in Futhark.AD.Rev.Monad

MonadFreshNames (CompilerM op s) Source # 
Instance details

Defined in Futhark.CodeGen.Backends.GenericC.Monad

MonadFreshNames (CompilerM op s) Source # 
Instance details

Defined in Futhark.CodeGen.Backends.GenericPython

MonadFreshNames (SimpleM rep) Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Engine

MonadFreshNames (RuleM rep) Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Rule

MonadFreshNames m => MonadFreshNames (ExceptT e m) Source # 
Instance details

Defined in Futhark.MonadFreshNames

MonadFreshNames m => MonadFreshNames (ReaderT s m) Source # 
Instance details

Defined in Futhark.MonadFreshNames

Monad im => MonadFreshNames (StateT VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

Monad im => MonadFreshNames (StateT VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

(MonadFreshNames m, Monoid s) => MonadFreshNames (WriterT s m) Source # 
Instance details

Defined in Futhark.MonadFreshNames

(MonadFreshNames m, Monoid s) => MonadFreshNames (WriterT s m) Source # 
Instance details

Defined in Futhark.MonadFreshNames

MonadFreshNames m => MonadFreshNames (BuilderT rep m) Source # 
Instance details

Defined in Futhark.Builder

MonadFreshNames m => MonadFreshNames (DistNestT rep m) Source # 
Instance details

Defined in Futhark.Pass.ExtractKernels.DistributeNests

MonadFreshNames (ImpM rep r op) Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

MonadFreshNames (AllocM fromrep torep) Source # 
Instance details

Defined in Futhark.Pass.ExplicitAllocations

Methods

getNameSource :: AllocM fromrep torep VNameSource Source #

putNameSource :: VNameSource -> AllocM fromrep torep () Source #

(Monad im, Monoid w) => MonadFreshNames (RWST r w VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

(Monad im, Monoid w) => MonadFreshNames (RWST r w VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

modifyNameSource :: MonadFreshNames m => (VNameSource -> (a, VNameSource)) -> m a Source #

Run a computation needing a fresh name source and returning a new one, using getNameSource and putNameSource before and after the computation.

newName :: MonadFreshNames m => VName -> m VName Source #

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

newNameFromString :: MonadFreshNames m => String -> m VName Source #

As newName, but takes a String for the name template.

newVName :: MonadFreshNames m => String -> m VName Source #

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

newIdent :: MonadFreshNames m => String -> Type -> m Ident Source #

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

newIdent' :: MonadFreshNames m => (String -> String) -> Ident -> m Ident Source #

Produce a fresh Ident, using the given Ident as a template, but possibly modifying the name.

newParam :: MonadFreshNames m => String -> dec -> m (Param dec) Source #

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

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

Semigroup VNameSource Source # 
Instance details

Defined in Futhark.FreshNames

Eq VNameSource Source # 
Instance details

Defined in Futhark.FreshNames

Ord VNameSource Source # 
Instance details

Defined in Futhark.FreshNames

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

Monad im => MonadFreshNames (StateT VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

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

(Monad im, Monoid w) => MonadFreshNames (RWST r w VNameSource im) Source # 
Instance details

Defined in Futhark.MonadFreshNames

blankNameSource :: VNameSource Source #

A blank name source.

newNameSource :: Int -> VNameSource Source #

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