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 :: [TypeParam] -> [PatBase NoInfo VName ParamType] -> ([Pat ParamType] -> TermTypeM a) -> TermTypeM a

Check and bind type and value parameters.

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

Check and bind a let-pattern.

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

Bind a single term-level identifier.

bindingSizes :: [SizeBinder VName] -> TermTypeM a -> TermTypeM a

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