idris-0.9.10: libs/base/Providers.idr

module Providers

public
data Provider a = Provide a | Error String