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

Safe Haskell	None
Language	Haskell2010

Futhark.Internalise.Bindings

Contents

Internalising bindings

Synopsis

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

Internalising bindings

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

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

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

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