Safe Haskell	None
Language	Haskell2010

Futhark.Pass

Description

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

Synopsis

data PassM a
runPassM :: MonadFreshNames m => PassM a -> m (a, Log)
liftEither :: Show err => Either err a -> PassM a
liftEitherM :: Show err => PassM (Either err a) -> PassM a
data Pass fromlore tolore = Pass {
- passName :: String
- passDescription :: String
- passFunction :: Prog fromlore -> PassM (Prog tolore)
}
passLongOption :: Pass fromlore tolore -> String
parPass :: (a -> PassM b) -> [a] -> PassM [b]
intraproceduralTransformation :: (Scope lore -> Stms lore -> PassM (Stms lore)) -> Prog lore -> PassM (Prog lore)
intraproceduralTransformationWithConsts :: (Stms fromlore -> PassM (Stms tolore)) -> (Stms tolore -> FunDef fromlore -> PassM (FunDef tolore)) -> Prog fromlore -> PassM (Prog tolore)

Documentation

The monad in which passes execute.

Instances details

Monad PassM Source #
Instance details Defined in Futhark.Pass Methods (>>=) :: PassM a -> (a -> PassM b) -> PassM b # (>>) :: PassM a -> PassM b -> PassM b # return :: a -> PassM a #
Functor PassM Source #
Instance details Defined in Futhark.Pass Methods fmap :: (a -> b) -> PassM a -> PassM b # (<$) :: a -> PassM b -> PassM a #
Applicative PassM Source #
Instance details 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 Source #
Instance details Defined in Futhark.Pass Methods logMsg :: ToLog a => a -> PassM () Source # addLog :: Log -> PassM () Source #
MonadFreshNames PassM Source #
Instance details Defined in Futhark.Pass Methods getNameSource :: PassM VNameSource Source # putNameSource :: VNameSource -> PassM () Source #

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

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

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

data Pass fromlore tolore Source #

A compiler pass transforming a Prog of a given lore to a Prog 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)

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

parPass :: (a -> PassM b) -> [a] -> PassM [b] Source #

Apply a PassM operation in parallel to multiple elements, joining together the name sources and logs, and propagating any error properly.

intraproceduralTransformationWithConsts :: (Stms fromlore -> PassM (Stms tolore)) -> (Stms tolore -> FunDef fromlore -> PassM (FunDef tolore)) -> Prog fromlore -> PassM (Prog tolore) Source #