CPython.Protocols.Mapping

Documentation

class Object a => Mapping a where

Methods

toMapping :: a -> SomeMapping

Instances

Mapping SomeMapping

Mapping Dictionary

data SomeMapping

Instances

Mapping SomeMapping

Object SomeMapping

castToMapping :: Object a => a -> IO (Maybe SomeMapping)

getItem :: (Mapping self, Object key) => self -> key -> IO SomeObject

setItem :: (Mapping self, Object key, Object value) => self -> key -> value -> IO ()

deleteItem :: (Mapping self, Object key) => self -> key -> IO ()

size :: Mapping self => self -> IO Integer

hasKey :: (Mapping self, Object key) => self -> key -> IO Bool

keys :: Mapping self => self -> IO List

values :: Mapping self => self -> IO List

items :: Mapping self => self -> IO List