Futhark.Pass

Definition of a polymorphic (generic) pass that can work with programs of any lore.

Documentation

data PassM a

The monad in which passes execute.

Instances

Monad PassM

Defined in Futhark.Pass

Methods

(>>=) :: PassM a -> (a -> PassM b) -> PassM b

(>>) :: PassM a -> PassM b -> PassM b

return :: a -> PassM a

fail :: String -> PassM a

Functor PassM

Defined in Futhark.Pass

Methods

fmap :: (a -> b) -> PassM a -> PassM b

(<$) :: a -> PassM b -> PassM a

Applicative PassM

Defined in Futhark.Pass

Methods

pure :: a -> PassM a

(<*>) :: PassM (a -> b) -> PassM a -> PassM b

liftA2 :: (a -> b -> c) -> PassM a -> PassM b -> PassM c

(*>) :: PassM a -> PassM b -> PassM b

(<*) :: PassM a -> PassM b -> PassM a

MonadLogger PassM

Defined in Futhark.Pass

Methods

logMsg :: ToLog a => a -> PassM ()

addLog :: Log -> PassM ()

MonadFreshNames PassM

Defined in Futhark.Pass

Methods

getNameSource :: PassM VNameSource

putNameSource :: VNameSource -> PassM ()

MonadError InternalError PassM

Defined in Futhark.Pass

Methods

throwError :: InternalError -> PassM a

catchError :: PassM a -> (InternalError -> PassM a) -> PassM a

runPassM :: MonadFreshNames m => PassM a -> m (Either InternalError a, Log)

Execute a PassM action, yielding logging information and either an error text or a result.

liftEither :: Show err => Either err a -> PassM a

Turn an Either computation into a PassM. If the Either is Left, the result is a CompilerBug.

liftEitherM :: Show err => PassM (Either err a) -> PassM a

Turn an Either monadic computation into a PassM. If the Either is Left, the result is an exception.

data Pass fromlore tolore

A compiler pass transforming a ProgT of a given lore to a ProgT of another lore.

Constructors

Pass

Fields

• passName :: String

  Name of the pass. Keep this short and simple. It will be used to automatically generate a command-line option name via passLongOption.

• passDescription :: String

  A slightly longer description, which will show up in the command-line help text.

• passFunction :: Prog fromlore -> PassM (Prog tolore)

passLongOption :: Pass fromlore tolore -> String

Take the name of the pass, turn spaces into dashes, and make all characters lowercase.

intraproceduralTransformation :: (FunDef fromlore -> PassM (FunDef tolore)) -> Prog fromlore -> PassM (Prog tolore)