Futhark.Representation.AST.Attributes.Patterns

Inspecing and modifying Patterns, function parameters and pattern elements.

Function parameters

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

An Ident corresponding to a parameter.

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

The Type of a parameter.

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

The DeclType of a parameter.

Pattern elements

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

An Ident corresponding to a pattern element.

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

The type of a name bound by a PatElem.

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

Set the lore of a PatElem.

patternElements :: PatternT attr -> [PatElemT attr]

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

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

Return a list of the Idents bound by the Pattern.

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

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

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

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

patternNames :: PatternT attr -> [VName]

Return a list of the Names bound by the Pattern.

patternValueNames :: PatternT attr -> [VName]

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

patternContextNames :: PatternT attr -> [VName]

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

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

Return a list of the typess bound by the Pattern.

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

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

patternSize :: PatternT attr -> 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.