Safe Haskell	None
Language	Haskell2010

Futhark.Pipeline

Synopsis

Documentation

data Pipeline fromlore tolore Source #

Instances

Category Pipeline Source #
Instance details Defined in Futhark.Pipeline Methods id :: Pipeline a a # (.) :: Pipeline b c -> Pipeline a b -> Pipeline a c #

Constructors

PipelineConfig
Fields pipelineVerbose :: Bool pipelineValidate :: Bool

Constructors

Action
Fields actionName :: String actionDescription :: String actionProcedure :: Prog lore -> FutharkM ()

Instances

Monad FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods (>>=) :: FutharkM a -> (a -> FutharkM b) -> FutharkM b # (>>) :: FutharkM a -> FutharkM b -> FutharkM b # return :: a -> FutharkM a # fail :: String -> FutharkM a #
Functor FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods fmap :: (a -> b) -> FutharkM a -> FutharkM b # (<$) :: a -> FutharkM b -> FutharkM a #
Applicative FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods pure :: a -> FutharkM a # (<>) :: FutharkM (a -> b) -> FutharkM a -> FutharkM b # liftA2 :: (a -> b -> c) -> FutharkM a -> FutharkM b -> FutharkM c # (>) :: FutharkM a -> FutharkM b -> FutharkM b # (<*) :: FutharkM a -> FutharkM b -> FutharkM a #
MonadIO FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods liftIO :: IO a -> FutharkM a #
MonadLogger FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods logMsg :: ToLog a => a -> FutharkM () Source # addLog :: Log -> FutharkM () Source #
MonadFreshNames FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods getNameSource :: FutharkM VNameSource Source # putNameSource :: VNameSource -> FutharkM () Source #
MonadError CompilerError FutharkM Source #
Instance details Defined in Futhark.Pipeline Methods throwError :: CompilerError -> FutharkM a # catchError :: FutharkM a -> (CompilerError -> FutharkM a) -> FutharkM a #

If Verbose, print log messages to standard error. If VeryVerbose, also print logs from individual passes.

Constructors

Instances

Eq Verbosity Source #
Instance details Defined in Futhark.Pipeline Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Instance details Defined in Futhark.Pipeline Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #

onePass :: (Checkable fromlore, Checkable tolore) => Pass fromlore tolore -> Pipeline fromlore tolore Source #

passes :: Checkable lore => [Pass lore lore] -> Pipeline lore lore Source #