CHR.Data.VarMp

A VarMp maps from variables (tvars, ...) to whatever else has to be mapped to (Ty, ...).

Starting with variant 6 (which introduces kinds) it allows multiple meta level mapping, in that the VarMp holds mappings for multiple meta levels. This allows one map to both map to base level info and to higher levels. In particular this is used by fitsIn which also instantiates types, and types may quantify over type variables with other kinds than kind *, which must be propagated. A separate map could have been used, but this holds the info together and is extendible to more levels.

A multiple level VarMp knows its own absolute metalevel, which is the default to use for lookup.

Documentation

data VarMp' k v

Constructors

VarMp

Fields

• varmpMetaLev :: !MetaLev

  the base meta level

• varmpMpL :: [Map k v]

  for each level a map, starting at the base meta level

Instances

(Eq v, Eq k) => Eq (VarMp' k v)

Methods

(==) :: VarMp' k v -> VarMp' k v -> Bool

(/=) :: VarMp' k v -> VarMp' k v -> Bool

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

Methods

compare :: VarMp' k v -> VarMp' k v -> Ordering

(<) :: VarMp' k v -> VarMp' k v -> Bool

(<=) :: VarMp' k v -> VarMp' k v -> Bool

(>) :: VarMp' k v -> VarMp' k v -> Bool

(>=) :: VarMp' k v -> VarMp' k v -> Bool

max :: VarMp' k v -> VarMp' k v -> VarMp' k v

min :: VarMp' k v -> VarMp' k v -> VarMp' k v

Show (VarMp' k v)

Methods

showsPrec :: Int -> VarMp' k v -> ShowS

show :: VarMp' k v -> String

showList :: [VarMp' k v] -> ShowS

Generic (VarMp' k v)

Associated Types

type Rep (VarMp' k v) :: * -> *

Methods

from :: VarMp' k v -> Rep (VarMp' k v) x

to :: Rep (VarMp' k v) x -> VarMp' k v

(PP k, PP v) => PP (VarMp' k v)

Methods

pp :: VarMp' k v -> PP_Doc

ppList :: [VarMp' k v] -> PP_Doc

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 => LookupApply (VarMp' k v) (VarMp' k v)

Methods

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

type Rep (VarMp' k v)

type Rep (VarMp' k v) = D1 * (MetaData "VarMp'" "CHR.Data.VarMp" "chr-data-0.1.0.0-7sGx1gkV5D5HYkg5X58x8Q" False) (C1 * (MetaCons "VarMp" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "varmpMetaLev") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * MetaLev)) (S1 * (MetaSel (Just Symbol "varmpMpL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Map k v]))))

type VarLookupVal (VarMp' k v)

type VarLookupVal (VarMp' k v) = v

type VarLookupKey (VarMp' k v)

type VarLookupKey (VarMp' k v) = k

varmpFilter :: Ord k => (k -> v -> Bool) -> VarMp' k v -> VarMp' k v

varmpDel :: Ord k => [k] -> VarMp' k v -> VarMp' k v

Delete

(|\>) :: Ord k => VarMp' k v -> [k] -> VarMp' k v

varmpAlter :: Ord k => (Maybe v -> Maybe v) -> k -> VarMp' k v -> VarMp' k v

Alter irrespective of level

varmpUnion :: Ord k => VarMp' k v -> VarMp' k v -> VarMp' k v

varmpUnions :: Ord k => [VarMp' k v] -> VarMp' k v

module CHR.Data.VarLookup

mkVarMp :: Map k v -> VarMp' k v

emptyVarMp :: VarMp' k v

varmpIsEmpty :: VarMp' k v -> Bool

varmpShiftMetaLev :: MetaLev -> VarMp' k v -> VarMp' k v

varmpIncMetaLev :: VarMp' k v -> VarMp' k v

varmpDecMetaLev :: VarMp' k v -> VarMp' k v

varmpSelectMetaLev :: [MetaLev] -> VarMp' k v -> VarMp' k v

varmpKeys :: Ord k => VarMp' k v -> [k]

varmpKeysSet :: Ord k => VarMp' k v -> Set k

varmpMetaLevSingleton :: Ord k => MetaLev -> k -> v -> VarMp' k v

Deprecated: Use varlookupSingletonWithMetaLev

VarMp singleton

varmpSingleton :: Ord k => k -> v -> VarMp' k v

VarMp singleton

assocMetaLevLToVarMp :: Ord k => AssocL k (MetaLev, v) -> VarMp' k v

assocLToVarMp :: Ord k => AssocL k v -> VarMp' k v

varmpToAssocL :: VarMp' k i -> AssocL k i

varmpPlus :: Ord k => VarMp' k v -> VarMp' k v -> VarMp' k v infixr 7

varmpUnionWith :: Ord k => (v -> v -> v) -> VarMp' k v -> VarMp' k v -> VarMp' k v

combine by taking the lowest level, adapting the lists with maps accordingly

varmpLookup :: (VarLookup m, Ord (VarLookupKey m)) => VarLookupKey m -> m -> Maybe (VarLookupVal m)

varmpAsMap :: VarMp' k v -> (Map k v, Map k v -> VarMp' k v)

Extract first level map, together with a construction function putting a new map into the place of the previous one

varmpMapMaybe :: Ord k => (a -> Maybe b) -> VarMp' k a -> VarMp' k b

varmpMap :: Ord k => (a -> b) -> VarMp' k a -> VarMp' k b

varmpInsertWith :: Ord k => (v -> v -> v) -> k -> v -> VarMp' k v -> VarMp' k v

varmpSize :: VarMp' k v -> Int

varmpToMap :: VarMp' k v -> Map k v