Futhark.CodeGen.ImpGen.Sequential

Compile Futhark to sequential imperative code.

Documentation

compileProg :: MonadFreshNames m => Prog SeqMem -> m (Warnings, Program)

Compile a SeqMem program to sequential imperative code.

data Warnings

The warnings produced by the compiler. The Show instance produces a human-readable description.

Instances

Eq Warnings

Defined in Language.Futhark.Warnings

Methods

(==) :: Warnings -> Warnings -> Bool

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

Show Warnings

Defined in Language.Futhark.Warnings

Methods

showsPrec :: Int -> Warnings -> ShowS

show :: Warnings -> String

showList :: [Warnings] -> ShowS

Semigroup Warnings

Defined in Language.Futhark.Warnings

Methods

(<>) :: Warnings -> Warnings -> Warnings

sconcat :: NonEmpty Warnings -> Warnings

stimes :: Integral b => b -> Warnings -> Warnings

Monoid Warnings

Defined in Language.Futhark.Warnings

Methods

mempty :: Warnings

mappend :: Warnings -> Warnings -> Warnings

mconcat :: [Warnings] -> Warnings

MonadWriter Warnings TypeM

Defined in Language.Futhark.TypeChecker.Monad

Methods

writer :: (a, Warnings) -> TypeM a

tell :: Warnings -> TypeM ()

listen :: TypeM a -> TypeM (a, Warnings)

pass :: TypeM (a, Warnings -> Warnings) -> TypeM a