Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Internalising bindings.
Documentation
bindingFParams :: [TypeParam] -> [Pat] -> ([FParam] -> [[FParam]] -> InternaliseM a) -> InternaliseM a Source #
bindingLoopParams :: [TypeParam] -> Pat -> [Type] -> ([FParam] -> [FParam] -> InternaliseM a) -> InternaliseM a Source #
bindingLambdaParams :: [Pat] -> [Type] -> ([LParam] -> InternaliseM a) -> InternaliseM a Source #
stmPat :: Pat -> [Type] -> ([VName] -> InternaliseM a) -> InternaliseM a Source #