HelloWorld - 0.1.0
Source
Index
Stdlib.Trait.Eq
Contents
Description
Definitions
Description
Definitions
type
Eq
(
A
:
Type
)
Source
#
A trait defining equality
Constructors
|
mkEq
:
(
A
->
A
->
Bool
)
->
Eq
A