Safe Haskell	None
Language	Haskell2010

Futhark.Analysis.PrimExp.Convert

Contents

Module reexport
Orphan instances

Description

Converting back and forth between PrimExps.

Synopsis

primExpToExp :: MonadBinder m => (v -> m (Exp (Lore m))) -> PrimExp v -> m (Exp (Lore m))
primExpFromExp :: (MonadFail m, Annotations lore) => (VName -> m (PrimExp v)) -> Exp lore -> m (PrimExp v)
primExpFromSubExp :: PrimType -> SubExp -> PrimExp VName
primExpFromSubExpM :: MonadFail m => (VName -> m (PrimExp v)) -> SubExp -> m (PrimExp v)
replaceInPrimExp :: (v -> PrimType -> PrimExp v) -> PrimExp v -> PrimExp v
substituteInPrimExp :: Ord v => Map v (PrimExp v) -> PrimExp v -> PrimExp v
module Futhark.Analysis.PrimExp

Documentation

primExpToExp :: MonadBinder m => (v -> m (Exp (Lore m))) -> PrimExp v -> m (Exp (Lore m)) Source #

Convert a PrimExp to a Futhark expression. The provided function converts the leaves.

primExpFromExp :: (MonadFail m, Annotations lore) => (VName -> m (PrimExp v)) -> Exp lore -> m (PrimExp v) Source #

Convert an expression to a PrimExp. The provided function is used to convert expressions that are not trivially PrimExps. This includes constants and variable names, which are passed as BasicOps.

primExpFromSubExp :: PrimType -> SubExp -> PrimExp VName Source #

Convert BasicOps of a given type.

primExpFromSubExpM :: MonadFail m => (VName -> m (PrimExp v)) -> SubExp -> m (PrimExp v) Source #

replaceInPrimExp :: (v -> PrimType -> PrimExp v) -> PrimExp v -> PrimExp v Source #

Applying a transformation to the leaves in a PrimExp.

substituteInPrimExp :: Ord v => Map v (PrimExp v) -> PrimExp v -> PrimExp v Source #

Substituting names in a PrimExp with other PrimExps

Module reexport

module Futhark.Analysis.PrimExp

Orphan instances

ToExp v => ToExp (PrimExp v) Source #
Instance details Methods toExp :: MonadBinder m => PrimExp v -> m (Exp (Lore m)) Source #