Documentation

class Ord (Base f) => IxOrd f where #

newtype IxMap (k :: a -> Type) (f :: a -> Type) #

emptyIxMap :: IxMap k f #

insertIxMap :: IxOrd k => k m -> f m -> IxMap k f -> Maybe (IxMap k f) #

lookupIxMap :: IxOrd k => k m -> IxMap k f -> Maybe (f m) #

pickFromIxMap :: IxOrd k => k m -> IxMap k f -> (Maybe (f m), IxMap k f) #