| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Language.Futhark.TypeChecker.Terms.Pat
Description
Type checking of patterns.
Synopsis
- binding :: [Ident StructType] -> TermTypeM a -> TermTypeM a
- bindingParams :: [TypeParam] -> [Pat ParamType] -> ([Pat ParamType] -> TermTypeM a) -> TermTypeM a
- bindingParam :: Pat ParamType -> StructType -> (Pat ParamType -> TermTypeM a) -> TermTypeM a
- bindingPat :: [SizeBinder VName] -> Pat (TypeBase Size o) -> StructType -> (Pat ParamType -> TermTypeM a) -> TermTypeM a
- bindingIdent :: Ident StructType -> TermTypeM a -> TermTypeM a
- bindingSizes :: [SizeBinder VName] -> TermTypeM a -> TermTypeM a
Documentation
binding :: [Ident StructType] -> TermTypeM a -> TermTypeM a Source #
Bind these identifiers locally while running the provided action.
bindingParams :: [TypeParam] -> [Pat ParamType] -> ([Pat ParamType] -> TermTypeM a) -> TermTypeM a Source #
Check and bind type and value parameters.
bindingParam :: Pat ParamType -> StructType -> (Pat ParamType -> TermTypeM a) -> TermTypeM a Source #
Check and bind a single parameter.
bindingPat :: [SizeBinder VName] -> Pat (TypeBase Size o) -> StructType -> (Pat ParamType -> TermTypeM a) -> TermTypeM a Source #
Check and bind a let-pattern.
bindingIdent :: Ident StructType -> TermTypeM a -> TermTypeM a Source #
Bind a single term-level identifier.
bindingSizes :: [SizeBinder VName] -> TermTypeM a -> TermTypeM a Source #
Bind let-bound sizes. This is usually followed by bindingPat
immediately afterwards.