module Stdlib.Trait.Partial;

import Stdlib.Data.String.Base open;
import Stdlib.Debug.Fail as Debug;

trait
type Partial :=
  mk@{
    fail : {A : Type} -> String -> A;
  };

open Partial hiding {mk} public;

runPartial {A} (f : {{Partial}} -> A) : A := f {{Partial.mk Debug.failwith}};