Safe Haskell	None
Language	Haskell2010

CHR.Data.VarMp

Description

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.

Synopsis

data VarMp' k v = VarMp {
- varmpMetaLev :: !MetaLev
- varmpMpL :: [Map k v]
}
varmpFilter :: Ord k => (k -> v -> Bool) -> VarMp' k v -> VarMp' k v
varmpDel :: Ord k => [k] -> VarMp' k v -> VarMp' k v
(|\>) :: Ord k => VarMp' k v -> [k] -> VarMp' k v
varmpAlter :: Ord k => (Maybe v -> Maybe v) -> k -> VarMp' k v -> VarMp' k v
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
varmpSingleton :: Ord k => k -> v -> VarMp' k v
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
varmpUnionWith :: Ord k => (v -> v -> v) -> VarMp' k v -> VarMp' k v -> VarMp' k v
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)
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

Documentation

data VarMp' k v Source #

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 k, Eq v) => Eq (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp Methods (==) :: VarMp' k v -> VarMp' k v -> Bool # (/=) :: VarMp' k v -> VarMp' k v -> Bool #
(Ord k, Ord v) => Ord (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp 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) Source #
Instance details Defined in CHR.Data.VarMp Methods showsPrec :: Int -> VarMp' k v -> ShowS # show :: VarMp' k v -> String # showList :: [VarMp' k v] -> ShowS #
Generic (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp 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) Source #
Instance details Defined in CHR.Data.VarMp Methods pp :: VarMp' k v -> PP_Doc # ppList :: [VarMp' k v] -> PP_Doc #
Ord k => VarLookup (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp Methods varlookupWithMetaLev :: MetaLev -> VarLookupKey (VarMp' k v) -> VarMp' k v -> Maybe (VarLookupVal (VarMp' k v)) Source # varlookup :: VarLookupKey (VarMp' k v) -> VarMp' k v -> Maybe (VarLookupVal (VarMp' k v)) Source # varlookupKeysSetWithMetaLev :: MetaLev -> VarMp' k v -> Set (VarLookupKey (VarMp' k v)) Source # varlookupKeysSet :: VarMp' k v -> Set (VarLookupKey (VarMp' k v)) Source # varlookupEmpty :: VarMp' k v Source # varlookupSingletonWithMetaLev :: MetaLev -> VarLookupKey (VarMp' k v) -> VarLookupVal (VarMp' k v) -> VarMp' k v Source # varlookupSingleton :: VarLookupKey (VarMp' k v) -> VarLookupVal (VarMp' k v) -> VarMp' k v Source #
Ord k => LookupApply (VarMp' k v) (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp Methods apply :: VarMp' k v -> VarMp' k v -> VarMp' k v Source #
type Rep (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp type Rep (VarMp' k v) = D1 (MetaData "VarMp'" "CHR.Data.VarMp" "chr-data-0.1.0.1-EXsmwflFG6tJb6poErxGsg" False) (C1 (MetaCons "VarMp" PrefixI True) (S1 (MetaSel (Just "varmpMetaLev") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 MetaLev) :*: S1 (MetaSel (Just "varmpMpL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Map k v])))
type VarLookupVal (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp type VarLookupVal (VarMp' k v) = v
type VarLookupKey (VarMp' k v) Source #
Instance details Defined in CHR.Data.VarMp type VarLookupKey (VarMp' k v) = k