Futhark.IR.Prop.Patterns

Inspecing and modifying Pats, 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.

Pat elements

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

An Ident corresponding to a pattern element.

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

The type of a name bound by a PatElem.

setPatElemDec :: PatElem oldattr -> newattr -> PatElem newattr

Set the rep of a PatElem.

patIdents :: Typed dec => Pat dec -> [Ident]

Return a list of the Idents bound by the Pat.

patNames :: Pat dec -> [VName]

Return a list of the Names bound by the Pat.

patTypes :: Typed dec => Pat dec -> [Type]

Return a list of the typess bound by the pattern.

patSize :: Pat dec -> Int

Return the number of names bound by the pattern.

Pat construction

basicPat :: [Ident] -> Pat Type

Create a pattern using Type as the attribute.