futhark-0.9.1: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

Futhark.Pass

Description

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

Synopsis

Documentation

data PassM a Source #

The monad in which passes execute.

Instances
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 #

fail :: String -> 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 #

MonadError InternalError PassM Source # 
Instance details

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) Source #

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

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

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 Source #

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 ProgT of a given lore to a ProgT of another lore.

Constructors

Pass 

Fields

passLongOption :: Pass fromlore tolore -> String Source #

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) Source #