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

Futhark.Internalise.Bindings

Description

Internalising bindings.

Documentation

bindingParams :: [TypeParam] -> [Pattern] -> ([FParam] -> [[FParam]] -> InternaliseM a) -> InternaliseM a Source #

bindingLoopParams :: [TypeParam] -> Pattern -> ([FParam] -> [FParam] -> InternaliseM a) -> InternaliseM a Source #

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

stmPattern :: Pattern -> [Type] -> ([VName] -> InternaliseM a) -> InternaliseM a Source #