Futhark.Pipeline

Documentation

data Pipeline fromlore tolore

Instances

Category Pipeline

Defined in Futhark.Pipeline

Methods

id :: forall (a :: k). Pipeline a a

(.) :: forall (b :: k) (c :: k) (a :: k). Pipeline b c -> Pipeline a b -> Pipeline a c

data PipelineConfig

Constructors

PipelineConfig

Fields

• pipelineVerbose :: Bool
• pipelineValidate :: Bool

data Action lore

Constructors

Action

Fields

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

data FutharkM a

Instances

Monad FutharkM

Defined in Futhark.Pipeline

Methods

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

(>>) :: FutharkM a -> FutharkM b -> FutharkM b

return :: a -> FutharkM a

Functor FutharkM

Defined in Futhark.Pipeline

Methods

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

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

Applicative FutharkM

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

Defined in Futhark.Pipeline

Methods

liftIO :: IO a -> FutharkM a

MonadLogger FutharkM

Defined in Futhark.Pipeline

Methods

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

addLog :: Log -> FutharkM ()

MonadFreshNames FutharkM

Defined in Futhark.Pipeline

Methods

getNameSource :: FutharkM VNameSource

putNameSource :: VNameSource -> FutharkM ()

MonadError CompilerError FutharkM

Defined in Futhark.Pipeline

Methods

throwError :: CompilerError -> FutharkM a

catchError :: FutharkM a -> (CompilerError -> FutharkM a) -> FutharkM a

runFutharkM :: FutharkM a -> Verbosity -> IO (Either CompilerError a)

data Verbosity

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

Constructors

NotVerbose

Verbose

VeryVerbose

Instances

Eq Verbosity

Defined in Futhark.Pipeline

Methods

(==) :: Verbosity -> Verbosity -> Bool

(/=) :: Verbosity -> Verbosity -> Bool

Ord Verbosity

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

internalErrorS :: Pretty t => String -> t -> FutharkM a

module Futhark.Error

onePass :: Checkable tolore => Pass fromlore tolore -> Pipeline fromlore tolore

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

runPasses :: Pipeline fromlore tolore -> PipelineConfig -> Prog fromlore -> FutharkM (Prog tolore)