Futhark.IR.Prop.Patterns

Inspecing and modifying Patterns, function parameters and pattern elements.

Function parameters

paramIdent :: Typed dec => Param dec -> Ident

An Ident corresponding to a parameter.

paramType :: Typed dec => Param dec -> Type

The Type of a parameter.

paramDeclType :: DeclTyped dec => Param dec -> DeclType

The DeclType of a parameter.

Pattern elements

patElemIdent :: Typed dec => PatElemT dec -> Ident

An Ident corresponding to a pattern element.

patElemType :: Typed dec => PatElemT dec -> Type

The type of a name bound by a PatElem.

setPatElemLore :: PatElemT oldattr -> newattr -> PatElemT newattr

Set the lore of a PatElem.

patternElements :: PatternT dec -> [PatElemT dec]

All pattern elements in the pattern - context first, then values.

patternIdents :: Typed dec => PatternT dec -> [Ident]

Return a list of the Idents bound by the Pattern.

patternContextIdents :: Typed dec => PatternT dec -> [Ident]

Return a list of the context Idents bound by the Pattern.

patternValueIdents :: Typed dec => PatternT dec -> [Ident]

Return a list of the value Idents bound by the Pattern.

patternNames :: PatternT dec -> [VName]

Return a list of the Names bound by the Pattern.

patternValueNames :: PatternT dec -> [VName]

Return a list of the Names bound by the value part of the Pattern.

patternContextNames :: PatternT dec -> [VName]

Return a list of the Names bound by the context part of the Pattern.

patternTypes :: Typed dec => PatternT dec -> [Type]

Return a list of the typess bound by the pattern.

patternValueTypes :: Typed dec => PatternT dec -> [Type]

Return a list of the typess bound by the value part of the pattern.

patternSize :: PatternT dec -> Int

Return the number of names bound by the pattern.

Pattern construction

basicPattern :: [Ident] -> [Ident] -> PatternT Type

Create a pattern using Type as the attribute.