solid-process/solid-result

module Solid
  module Failure
    def success?: (?Symbol type) -> bool
    def failure?: (?Symbol type) -> bool
    def value_or: { (untyped) -> untyped } -> untyped
    def value: -> untyped

    private

    def kind: -> Symbol
    def type_checker: -> Solid::Result::Contract::TypeChecker
  end
end