Language.Futhark.TypeChecker.Terms.Pat

Type checking of patterns.

Documentation

binding :: [Ident StructType] -> TermTypeM a -> TermTypeM a

Bind these identifiers locally while running the provided action.

bindingParams :: [UncheckedTypeParam] -> [UncheckedPat ParamType] -> ([TypeParam] -> [Pat ParamType] -> TermTypeM a) -> TermTypeM a

Check and bind type and value parameters.

bindingPat :: [SizeBinder VName] -> UncheckedPat (TypeBase Size u) -> StructType -> (Pat ParamType -> TermTypeM a) -> TermTypeM a

Check and bind a let-pattern.

bindingIdent :: IdentBase NoInfo Name StructType -> StructType -> (Ident StructType -> TermTypeM a) -> TermTypeM a

Bind a single term-level identifier.

bindingSizes :: [SizeBinder Name] -> ([SizeBinder VName] -> TermTypeM a) -> TermTypeM a

Bind let-bound sizes. This is usually followed by bindingPat immediately afterwards.

doNotShadow :: [Name]

Names that may not be shadowed.