Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Parser.Ptera.Data.Symbolic.IntMap

Documentation

type T = IntMap Source #

type Key = Int Source #

data IntMap a Source #

Constructors

IntMap
Fields intMapStraight :: IntMap (Maybe a) intMapNegative :: Maybe a

Instances

Instances details

Foldable IntMap Source #
Instance details Defined in Language.Parser.Ptera.Data.Symbolic.IntMap Methods fold :: Monoid m => IntMap m -> m Source # foldMap :: Monoid m => (a -> m) -> IntMap a -> m Source # foldMap' :: Monoid m => (a -> m) -> IntMap a -> m Source # foldr :: (a -> b -> b) -> b -> IntMap a -> b Source # foldr' :: (a -> b -> b) -> b -> IntMap a -> b Source # foldl :: (b -> a -> b) -> b -> IntMap a -> b Source # foldl' :: (b -> a -> b) -> b -> IntMap a -> b Source # foldr1 :: (a -> a -> a) -> IntMap a -> a Source # foldl1 :: (a -> a -> a) -> IntMap a -> a Source # toList :: IntMap a -> [a] Source # null :: IntMap a -> Bool Source # length :: IntMap a -> Int Source # elem :: Eq a => a -> IntMap a -> Bool Source # maximum :: Ord a => IntMap a -> a Source # minimum :: Ord a => IntMap a -> a Source # sum :: Num a => IntMap a -> a Source # product :: Num a => IntMap a -> a Source #
Traversable IntMap Source #
Instance details Defined in Language.Parser.Ptera.Data.Symbolic.IntMap Methods traverse :: Applicative f => (a -> f b) -> IntMap a -> f (IntMap b) Source # sequenceA :: Applicative f => IntMap (f a) -> f (IntMap a) Source # mapM :: Monad m => (a -> m b) -> IntMap a -> m (IntMap b) Source # sequence :: Monad m => IntMap (m a) -> m (IntMap a) Source #
Functor IntMap Source #
Instance details Defined in Language.Parser.Ptera.Data.Symbolic.IntMap Methods fmap :: (a -> b) -> IntMap a -> IntMap b Source # (<$) :: a -> IntMap b -> IntMap a Source #
Show a => Show (IntMap a) Source #
Instance details Defined in Language.Parser.Ptera.Data.Symbolic.IntMap Methods showsPrec :: Int -> IntMap a -> ShowS Source # show :: IntMap a -> String Source # showList :: [IntMap a] -> ShowS Source #
Eq a => Eq (IntMap a) Source #
Instance details Defined in Language.Parser.Ptera.Data.Symbolic.IntMap Methods (==) :: IntMap a -> IntMap a -> Bool Source # (/=) :: IntMap a -> IntMap a -> Bool Source #

empty :: IntMap a Source #

full :: a -> IntMap a Source #

singleton :: Key -> a -> IntMap a Source #

normalize :: Eq a => IntMap a -> IntMap a Source #

insert :: Key -> a -> IntMap a -> IntMap a Source #

insertBulk :: T -> a -> IntMap a -> IntMap a Source #

delete :: Key -> IntMap a -> IntMap a Source #

update :: (a -> Maybe a) -> Key -> IntMap a -> IntMap a Source #

alter :: (Maybe a -> Maybe a) -> Key -> IntMap a -> IntMap a Source #

alterBulk :: (Maybe a -> Maybe a) -> T -> IntMap a -> IntMap a Source #

lookup :: Key -> IntMap a -> Maybe a Source #

keys :: IntMap a -> T Source #

restrictKeys :: IntMap a -> T -> IntMap a Source #

merge :: (a -> b -> Maybe c) -> (a -> Maybe c) -> (b -> Maybe c) -> IntMap a -> IntMap b -> IntMap c Source #

groupBy :: Eq b => Hashable b => (a -> b) -> IntMap a -> HashMap b T Source #