Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Dependent.Map.Unlifted.Lifted
Documentation
singleton :: ApplyUniversally k PrimUnlifted => k a -> v a -> Map k v Source #
lookup :: (OrdForallPoly k, ApplyUniversally k PrimUnlifted) => k a -> Map k v -> Maybe (v a) Source #