UHC.Util.VarLookup

Abstractions for looking up (type) variables in structures

Documentation

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

VarLookup m => VarLookup (StackedVarLookup m)

Methods

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

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

varlookupKeysSetWithMetaLev :: MetaLev -> StackedVarLookup m -> Set (VarLookupKey (StackedVarLookup m))

varlookupKeysSet :: StackedVarLookup m -> Set (VarLookupKey (StackedVarLookup m))

varlookupEmpty :: StackedVarLookup m

varlookupSingletonWithMetaLev :: MetaLev -> VarLookupKey (StackedVarLookup m) -> VarLookupVal (StackedVarLookup m) -> StackedVarLookup m

varlookupSingleton :: VarLookupKey (StackedVarLookup m) -> VarLookupVal (StackedVarLookup m) -> StackedVarLookup m

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

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

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 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

type VarLookupVal (VarMp' k v)

type VarLookupVal (VarMp' k v) = v

varlookupResolveVarWithMetaLev :: VarLookup m => MetaLev -> (VarLookupVal m -> Maybe (VarLookupKey m)) -> VarLookupKey m -> m -> Maybe (VarLookupVal m)

Fully resolve lookup

varlookupResolveVar :: VarLookup m => (VarLookupVal m -> Maybe (VarLookupKey m)) -> VarLookupKey m -> m -> Maybe (VarLookupVal m)

Fully resolve lookup

varlookupResolveValWithMetaLev :: VarLookup m => MetaLev -> (VarLookupVal m -> Maybe (VarLookupKey m)) -> VarLookupVal m -> m -> Maybe (VarLookupVal m)

varlookupResolveVal :: VarLookup m => (VarLookupVal m -> Maybe (VarLookupKey m)) -> VarLookupVal m -> m -> Maybe (VarLookupVal m)

Fully resolve lookup

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

Combine lookup with map; should be obsolete...

varlookupResolveAndContinueM :: (Monad m, VarLookup s) => (VarLookupVal s -> Maybe (VarLookupKey s)) -> m s -> m a -> (VarLookupVal s -> m a) -> VarLookupKey s -> m a

Monadically lookup a variable, resolve it, continue with either a fail or success monad continuation

type VarLookupFix k v = k -> Maybe v

varlookupFix :: VarLookup m => m -> VarLookupFix (VarLookupKey m) (VarLookupVal m)

fix looking up to be for a certain var mapping

varlookupFixDel :: Ord k => [k] -> VarLookupFix k v -> VarLookupFix k v

simulate deletion

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

VarLookupCmb m1 m2 => VarLookupCmb m1 (StackedVarLookup m2)

Methods

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

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

Methods

(|+>) :: VarMp' k v -> VarMp' k v -> VarMp' k v

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

Methods

(|+>) :: VarMp' k v -> VarMp' k v -> VarMp' k v

type VarLookupCmbFix m1 m2 = m1 -> m2 -> m2

Deprecated: As of 20160331: don't use these anymore

varlookupcmbFix :: VarLookupCmb m1 m2 => VarLookupCmbFix m1 m2

Deprecated: As of 20160331: don't use these anymore

fix combining up to be for a certain var mapping

type MetaLev = Int

Level to lookup into

metaLevVal :: MetaLev

Base level (of values, usually)

newtype StackedVarLookup s

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

Constructors

StackedVarLookup

Fields

• unStackedVarLookup :: [s]

Instances

Foldable StackedVarLookup

Methods

fold :: Monoid m => StackedVarLookup m -> m

foldMap :: Monoid m => (a -> m) -> StackedVarLookup a -> m

foldr :: (a -> b -> b) -> b -> StackedVarLookup a -> b

foldr' :: (a -> b -> b) -> b -> StackedVarLookup a -> b

foldl :: (b -> a -> b) -> b -> StackedVarLookup a -> b

foldl' :: (b -> a -> b) -> b -> StackedVarLookup a -> b

foldr1 :: (a -> a -> a) -> StackedVarLookup a -> a

foldl1 :: (a -> a -> a) -> StackedVarLookup a -> a

toList :: StackedVarLookup a -> [a]

null :: StackedVarLookup a -> Bool

length :: StackedVarLookup a -> Int

elem :: Eq a => a -> StackedVarLookup a -> Bool

maximum :: Ord a => StackedVarLookup a -> a

minimum :: Ord a => StackedVarLookup a -> a

sum :: Num a => StackedVarLookup a -> a

product :: Num a => StackedVarLookup a -> a

VarLookupCmb m1 m2 => VarLookupCmb m1 (StackedVarLookup m2)

Methods

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

Show (StackedVarLookup s)

Methods

showsPrec :: Int -> StackedVarLookup s -> ShowS

show :: StackedVarLookup s -> String

showList :: [StackedVarLookup s] -> ShowS

PP s => PP (StackedVarLookup s)

Methods

pp :: StackedVarLookup s -> PP_Doc

ppList :: [StackedVarLookup s] -> PP_Doc

VarLookup m => VarLookup (StackedVarLookup m)

Methods

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

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

varlookupKeysSetWithMetaLev :: MetaLev -> StackedVarLookup m -> Set (VarLookupKey (StackedVarLookup m))

varlookupKeysSet :: StackedVarLookup m -> Set (VarLookupKey (StackedVarLookup m))

varlookupEmpty :: StackedVarLookup m

varlookupSingletonWithMetaLev :: MetaLev -> VarLookupKey (StackedVarLookup m) -> VarLookupVal (StackedVarLookup m) -> StackedVarLookup m

varlookupSingleton :: VarLookupKey (StackedVarLookup m) -> VarLookupVal (StackedVarLookup m) -> StackedVarLookup m

type VarLookupVal (StackedVarLookup s)

type VarLookupVal (StackedVarLookup s) = VarLookupVal s

type VarLookupKey (StackedVarLookup s)

type VarLookupKey (StackedVarLookup s) = VarLookupKey s

type CHRMatchableKey (StackedVarLookup subst)

type CHRMatchableKey (StackedVarLookup subst) = CHRMatchableKey subst