nspec - 0.1.3

Stdlib.Data.Maybe

Definitions

import Stdlib.Data.Maybe.Base open public

instance eqMaybeI {A} {{Eq A}} : Eq (Maybe A)Source#

instance showMaybeI {A} {{Show A}} : Show (Maybe A)Source#

instance ordMaybeI {A} {{Ord A}} : Ord (Maybe A)Source#