stdlib - 0.0.1

Stdlib.Trait.Partial

Description

Definitions

trait type PartialSource#

Constructors

| mkPartial {fail : {A : Type} -> String -> A}

open Partial public

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