Hedgehog.Gen.Lorentz.UStore

Documentation

genUStoreSubMap :: (MonadGen m, Ord k) => m k -> m v -> m (k |~> v)

genUStoreFieldExt :: MonadGen m => m v -> m (UStoreFieldExt marker v)