stdlib - 0.11.0

Stdlib.Trait.Partial

Description

Definitions

trait type PartialSource#

Constructors

mk@{ fail : {A : Type} -> String -> A; }

open Partial hiding {mk} public

runPartial {A} (f : {{Partial}} -> A) : ASource#