Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Internalising bindings.
Documentation
internaliseAttrs :: [AttrInfo VName] -> InternaliseM Attrs 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 #