Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Map
.
- class Sym_Map term where
- tyMap :: Source src => LenInj vs => Type src vs k -> Type src vs a -> Type src vs (Map k a)
- k1 :: Source src => LenInj vs => KindInj (K k) => Type src (a ': (Proxy k ': vs)) k
- k2 :: Source src => LenInj vs => KindInj (K k) => Type src (a ': (b ': (Proxy k ': vs))) k
- teMap_delete :: TermDef Map '[Proxy a, Proxy k] (Ord k #> (k -> Map k a -> Map k a))
- teMap_insert :: TermDef Map '[Proxy a, Proxy k] (Ord k #> (k -> a -> Map k a -> Map k a))
- teMap_difference :: TermDef Map '[Proxy a, Proxy b, Proxy k] (Ord k #> (Map k a -> Map k b -> Map k a))
- teMap_fromList :: TermDef Map '[Proxy a, Proxy k] (Ord k #> ([(k, a)] -> Map k a))
- teMap_lookup :: TermDef Map '[Proxy a, Proxy k] (Ord k #> (k -> Map k a -> Maybe a))
- teMap_member :: TermDef Map '[Proxy a, Proxy k] (Ord k #> (k -> Map k a -> Bool))
- teMap_foldrWithKey :: TermDef Map '[Proxy a, Proxy b, Proxy k] (() #> ((k -> a -> b -> b) -> b -> Map k a -> b))
- teMap_mapWithKey :: TermDef Map '[Proxy a, Proxy b, Proxy k] (() #> ((k -> a -> b) -> Map k a -> Map k b))
- teMap_keys :: TermDef Map '[Proxy a, Proxy k] (() #> (Map k a -> [k]))
Class Sym_Map
class Sym_Map term where Source #
map_fromList :: Ord k => term [(k, a)] -> term (Map k a) Source #
map_mapWithKey :: term (k -> a -> b) -> term (Map k a) -> term (Map k b) Source #
map_lookup :: Ord k => term k -> term (Map k a) -> term (Maybe a) Source #
map_keys :: term (Map k a) -> term [k] Source #
map_member :: Ord k => term k -> term (Map k a) -> term Bool Source #
map_insert :: Ord k => term k -> term a -> term (Map k a) -> term (Map k a) Source #
map_delete :: Ord k => term k -> term (Map k a) -> term (Map k a) Source #
map_difference :: Ord k => term (Map k a) -> term (Map k b) -> term (Map k a) Source #
map_foldrWithKey :: term (k -> a -> b -> b) -> term b -> term (Map k a) -> term b Source #
map_fromList :: Sym_Map (UnT term) => Trans term => Ord k => term [(k, a)] -> term (Map k a) Source #
map_mapWithKey :: Sym_Map (UnT term) => Trans term => term (k -> a -> b) -> term (Map k a) -> term (Map k b) Source #
map_lookup :: Sym_Map (UnT term) => Trans term => Ord k => term k -> term (Map k a) -> term (Maybe a) Source #
map_keys :: Sym_Map (UnT term) => Trans term => term (Map k a) -> term [k] Source #
map_member :: Sym_Map (UnT term) => Trans term => Ord k => term k -> term (Map k a) -> term Bool Source #
map_insert :: Sym_Map (UnT term) => Trans term => Ord k => term k -> term a -> term (Map k a) -> term (Map k a) Source #
map_delete :: Sym_Map (UnT term) => Trans term => Ord k => term k -> term (Map k a) -> term (Map k a) Source #
map_difference :: Sym_Map (UnT term) => Trans term => Ord k => term (Map k a) -> term (Map k b) -> term (Map k a) Source #
map_foldrWithKey :: Sym_Map (UnT term) => Trans term => term (k -> a -> b -> b) -> term b -> term (Map k a) -> term b Source #
Type
s
tyMap :: Source src => LenInj vs => Type src vs k -> Type src vs a -> Type src vs (Map k a) Source #
Term
s
teMap_difference :: TermDef Map '[Proxy a, Proxy b, Proxy k] (Ord k #> (Map k a -> Map k b -> Map k a)) Source #
teMap_foldrWithKey :: TermDef Map '[Proxy a, Proxy b, Proxy k] (() #> ((k -> a -> b -> b) -> b -> Map k a -> b)) Source #
teMap_mapWithKey :: TermDef Map '[Proxy a, Proxy b, Proxy k] (() #> ((k -> a -> b) -> Map k a -> Map k b)) Source #
Orphan instances
ClassInstancesFor (* -> * -> *) Map Source # | |
TypeInstancesFor (* -> * -> *) Map Source # | |
NameTyOf (* -> * -> *) Map Source # | |
FixityOf (* -> * -> *) Map Source # | |
(Source src, SymInj (* -> * -> *) ss Map) => ModuleFor (* -> * -> *) src ss Map Source # | |
Gram_Term_AtomsFor (* -> * -> *) src ss g Map Source # | |