futhark-0.16.1: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.CodeGen.ImpGen.Sequential

Description

Compile Futhark to sequential imperative code.

Synopsis

Documentation

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

Compile a SeqMem program to sequential imperative code.

data Warnings Source #

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

Instances

Instances details
Eq Warnings Source # 
Instance details

Defined in Language.Futhark.Warnings

Show Warnings Source # 
Instance details

Defined in Language.Futhark.Warnings

Semigroup Warnings Source # 
Instance details

Defined in Language.Futhark.Warnings

Monoid Warnings Source # 
Instance details

Defined in Language.Futhark.Warnings

MonadWriter Warnings TypeM Source # 
Instance details

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 #