module Stdlib.Trait.Partial;

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

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

open Partial public;

runPartial {A} (f : {{Partial}} -> A) : A := f {{mkPartial Debug.failwith}};
Last modified on 2024-07-11 16:35 UTC