TicTacToe - 0.1.0

Stdlib.Trait.Partial

Definitions

trait type PartialSource#

Constructors

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

open Partial public

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