Safe Haskell	Safe
Language	Haskell98

DDC.Core.Transform.Rewrite.Match

Contents

Description

Create substitution to make (subst template) == target

Synopsis

Substitutions

type SubstInfo a n = (Map n (Exp a n), Map n (Type n)) Source #

Value and type substition.

An empty substition info.

Matching

Arguments

:: (Show a, Show n, Ord n)
=> SubstInfo a n	Current substitution
-> Set n	Variables we're interested in
-> Exp a n	Template expression.
-> Exp a n	Target expression.
-> Maybe (SubstInfo a n)

Create substitution to make (subst template) == target Does not handle higher-order templates (ie ones with binders)

@ match emptySubstInfo (Set.fromList [r1, r2, s]) (stream [r1] (unstream [r2] s)) (stream [R0] (someStream 23))

@