Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Sequential imperative code.
Synopsis
- type Program = Definitions Sequential
- data Sequential
- module Futhark.CodeGen.ImpCode
Documentation
type Program = Definitions Sequential Source #
An imperative program.
data Sequential Source #
Phantom type for identifying sequential imperative code.
Instances
FreeIn Sequential Source # | |
Defined in Futhark.CodeGen.ImpCode.Sequential freeIn' :: Sequential -> FV Source # | |
Pretty Sequential Source # | |
Defined in Futhark.CodeGen.ImpCode.Sequential pretty :: Sequential -> Doc ann # prettyList :: [Sequential] -> Doc ann # |
module Futhark.CodeGen.ImpCode