ManagedResource
resource
ManagedResourceOperations
resource
ManagedTraversable
resource
map
ManagedResource
ManagedResourceOperations
MediumPriorityResourceImplicits
resource