Safe Haskell | None |
---|---|
Language | GHC2021 |
Data.IxMap
Documentation
emptyIxMap :: forall {a} (k :: a -> Type) (f :: a -> Type). IxMap k f #
lookupIxMap :: forall {a} k (m :: a) f. IxOrd k => k m -> IxMap k f -> Maybe (f m) #
Safe Haskell | None |
---|---|
Language | GHC2021 |
Data.IxMap
emptyIxMap :: forall {a} (k :: a -> Type) (f :: a -> Type). IxMap k f #
lookupIxMap :: forall {a} k (m :: a) f. IxOrd k => k m -> IxMap k f -> Maybe (f m) #