TicTacToe - 0.1.0

Stdlib.Trait.Partial

Description

Definitions

trait type PartialSource#

Constructors

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

open Partial public

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