Hanoi - 0.1.0

Stdlib.Trait.Eq

Description

Definitions

builtin eq trait type Eq ASource#

A trait defining equality

Constructors

mkEq@{ builtin isEqual eq : A -> A -> Bool; }

== {A} {{Eq A}} : A -> A -> BoolSource#

/= {A} {{Eq A}} (x y : A) : BoolSource#

Test for inequality.