UHC.Util.VarLookup

Abstractions for looking up (type) variables in structures

Documentation

module CHR.Data.VarLookup

class VarLookupCmb m1 m2 where

VarLookupCmb abstracts the combining of/from a substitution. The interface goes along with VarLookup but is split off to avoid functional dependency restrictions. The purpose is to be able to combine maps only for the purpose of searching without actually merging the maps. This then avoids the later need to unmerge such mergings.

Minimal complete definition

(|+>)

Methods

(|+>) :: m1 -> m2 -> m2 infixr 7

Instances

LookupApply m1 m2 => VarLookupCmb m1 m2

Methods

(|+>) :: m1 -> m2 -> m2

varlookupMap :: VarLookup m => (VarLookupVal m -> Maybe res) -> VarLookupKey m -> m -> Maybe res

Combine lookup with map; should be obsolete...