Data.Dependent.Map.Internal

Documentation

newtype Map karr varr (k :: u -> Type) (v :: u -> Type)

Constructors

Map (Map karr varr (Apply k Any) (v Any))

empty :: (Contiguous karr, Contiguous varr) => Map karr varr k v

null :: forall karr varr k v. Contiguous varr => Map karr varr k v -> Bool

singleton :: forall karr varr k v a. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr)) => k a -> v a -> Map karr varr k v

lookup :: forall karr varr k v a. (OrdForallPoly k, Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr)) => k a -> Map karr varr k v -> Maybe (v a)

fromList :: (Contiguous karr, ApplyUniversally k (Element karr), Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), OrdForallPoly k) => [DependentPair k v] -> Map karr varr k v

fromListN :: (Contiguous karr, ApplyUniversally k (Element karr), Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), OrdForallPoly k) => Int -> [DependentPair k v] -> Map karr varr k v

map :: forall karr varr k v w. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), ApplyUniversally w (Element varr)) => (forall a. v a -> w a) -> Map karr varr k v -> Map karr varr k w

mapWithKey :: forall karr varr k v w. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), ApplyUniversally w (Element varr)) => (forall a. k a -> v a -> w a) -> Map karr varr k v -> Map karr varr k w

mapMaybe :: forall karr varr k v w. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), ApplyUniversally w (Element varr)) => (forall a. v a -> Maybe (w a)) -> Map karr varr k v -> Map karr varr k w

mapMaybeWithKey :: forall karr varr k v w. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), ApplyUniversally w (Element varr)) => (forall a. k a -> v a -> Maybe (w a)) -> Map karr varr k v -> Map karr varr k w

appendRightBiased :: forall karr varr k v. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), OrdForallPoly k) => Map karr varr k v -> Map karr varr k v -> Map karr varr k v

append :: forall karr varr k v. (Contiguous karr, ApplyUniversally k (Element karr), Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), OrdForallPoly k, SemigroupForeach v, ToSing k) => Map karr varr k v -> Map karr varr k v -> Map karr varr k v

toList :: (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr)) => Map karr varr k v -> [DependentPair k v]

showsPrec :: (Contiguous karr, Universally k (Element karr), ShowForall k, ShowForeach v, ToSing k, Contiguous varr, ApplyUniversally v (Element varr)) => Int -> Map karr varr k v -> ShowS

equals :: (Contiguous karr, Universally k (Element karr), EqForallPoly k, EqForeach v, ToSing k, Contiguous varr, ApplyUniversally v (Element varr)) => Map karr varr k v -> Map karr varr k v -> Bool

compare :: (Contiguous karr, Universally k (Element karr), OrdForallPoly k, OrdForeach v, ToSing k, Contiguous varr, ApplyUniversally v (Element varr)) => Map karr varr k v -> Map karr varr k v -> Ordering

unsafeFreezeZip :: forall karr varr k v s. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), OrdForallPoly k) => Mutable karr s (k Any) -> Mutable varr s (v Any) -> ST s (Map karr varr k v)

This function is really unsafe. The user needs to use unsafeCoerce to even use it.

toJSON :: forall karr varr k v. (ToJSONKeyForall k, ToJSONForeach v, ToSing k, Contiguous karr, Contiguous varr, ApplyUniversally v (Element varr), Universally k (Element karr)) => Map karr varr k v -> Value

parseJSON :: forall karr varr k v. (FromJSONKeyExists k, ToSing k, OrdForallPoly k, FromJSONForeach v, Contiguous karr, Contiguous varr, ApplyUniversally v (Element varr), Universally k (Element karr), ApplyUniversally k (Element karr)) => Value -> Parser (Map karr varr k v)

foldrWithKey :: forall karr varr k v b. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr)) => (forall a. k a -> v a -> b -> b) -> b -> Map karr varr k v -> b

foldlWithKeyM' :: forall karr varr k v m b. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), Monad m) => (forall a. b -> k a -> v a -> m b) -> b -> Map karr varr k v -> m b

foldMapWithKey :: forall karr varr k v m. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), Monoid m) => (forall a. k a -> v a -> m) -> Map karr varr k v -> m

traverseWithKey_ :: forall karr varr k v m b. (Contiguous karr, Universally k (Element karr), Contiguous varr, ApplyUniversally v (Element varr), Applicative m) => (forall a. k a -> v a -> m b) -> Map karr varr k v -> m ()

size :: forall karr varr k v. (Contiguous varr, ApplyUniversally v (Element varr)) => Map karr varr k v -> Int