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

Safe Haskell	Safe
Language	Haskell2010

Futhark.Internalise.Bindings

Contents

Internalising bindings

Synopsis

bindingParams :: [TypeParam] -> [Pattern] -> ([FParam] -> [[FParam]] -> InternaliseM a) -> InternaliseM a
bindingLambdaParams :: [Pattern] -> [Type] -> ([LParam] -> InternaliseM a) -> InternaliseM a
stmPattern :: Pattern -> [ExtType] -> ([VName] -> MatchPattern -> InternaliseM a) -> InternaliseM a
type MatchPattern = SrcLoc -> [SubExp] -> InternaliseM [SubExp]

Internalising bindings

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

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

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

type MatchPattern = SrcLoc -> [SubExp] -> InternaliseM [SubExp] Source #