futhark-0.22.2: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Futhark.Internalise.Bindings

Description

Internalising bindings.

Documentation

internaliseAttrs :: [AttrInfo VName] -> InternaliseM Attrs Source #

internaliseAttr :: AttrInfo VName -> InternaliseM Attr Source #

bindingFParams :: [TypeParam] -> [Pat] -> ([FParam SOACS] -> [[FParam SOACS]] -> InternaliseM a) -> InternaliseM a Source #

bindingLoopParams :: [TypeParam] -> Pat -> [Type] -> ([FParam SOACS] -> [FParam SOACS] -> InternaliseM a) -> InternaliseM a Source #

bindingLambdaParams :: [Pat] -> [Type] -> ([LParam SOACS] -> InternaliseM a) -> InternaliseM a Source #

stmPat :: Pat -> [Type] -> ([VName] -> InternaliseM a) -> InternaliseM a Source #