CHR.Data.VarLookup

Abstractions for looking up (type) variables in structures

Documentation

type family VarLookupKey m :: *

Type family for key of a VarLookup

Instances

type VarLookupKey (StackedVarLookup s)

type VarLookupKey (StackedVarLookup s) = VarLookupKey s

type VarLookupKey (VarMp' k v)

type VarLookupKey (VarMp' k v) = k

type family VarLookupVal m :: *

Type family for value of a VarLookup

Instances

type VarLookupVal (StackedVarLookup s)

type VarLookupVal (StackedVarLookup s) = VarLookupVal s

type VarLookupVal (VarMp' k v)

type VarLookupVal (VarMp' k v) = v

class VarLookup m where

VarLookup abstracts from a Map. 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. The class interface serves to hide this.

Minimal complete definition

varlookupWithMetaLev, varlookupKeysSetWithMetaLev, varlookupEmpty, varlookupSingletonWithMetaLev

Methods

varlookupWithMetaLev :: MetaLev -> VarLookupKey m -> m -> Maybe (VarLookupVal m)

Lookup a key at a level

varlookup :: VarLookupKey m -> m -> Maybe (VarLookupVal m)

Lookup a key

varlookupKeysSetWithMetaLev :: Ord (VarLookupKey m) => MetaLev -> m -> Set (VarLookupKey m)

Keys at a level

varlookupKeysSet :: Ord (VarLookupKey m) => m -> Set (VarLookupKey m)

Keys as Set

varlookupEmpty :: m

Make an empty VarLookup

varlookupSingletonWithMetaLev :: MetaLev -> VarLookupKey m -> VarLookupVal m -> m

Make a singleton VarLookup at a level

varlookupSingleton :: VarLookupKey m -> VarLookupVal m -> m

Make a singleton VarLookup

Instances

Ord k => VarLookup (VarMp' k v)

Methods

varlookupWithMetaLev :: MetaLev -> VarLookupKey (VarMp' k v) -> VarMp' k v -> Maybe (VarLookupVal (VarMp' k v))

varlookup :: VarLookupKey (VarMp' k v) -> VarMp' k v -> Maybe (VarLookupVal (VarMp' k v))

varlookupKeysSetWithMetaLev :: MetaLev -> VarMp' k v -> Set (VarLookupKey (VarMp' k v))

varlookupKeysSet :: VarMp' k v -> Set (VarLookupKey (VarMp' k v))

varlookupEmpty :: VarMp' k v

varlookupSingletonWithMetaLev :: MetaLev -> VarLookupKey (VarMp' k v) -> VarLookupVal (VarMp' k v) -> VarMp' k v

varlookupSingleton :: VarLookupKey (VarMp' k v) -> VarLookupVal (VarMp' k v) -> VarMp' k v

class LookupApply l1 l2 where

Minimal complete definition

apply

Methods

apply :: l1 -> l2 -> l2

Instances

LookupApply l1 l2 => LookupApply l1 (Stacks l2)

Methods

apply :: l1 -> Stacks l2 -> Stacks l2

Ord k => LookupApply (VarMp' k v) (VarMp' k v)

Methods

apply :: VarMp' k v -> VarMp' k v -> VarMp' k v

type MetaLev = Int

Level to lookup into

metaLevVal :: MetaLev

Base level (of values, usually)

type StackedVarLookup s = Stacks s

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.

Stacked VarLookup derived from a base one, to allow a use of multiple lookups but update on top only