Documentation
Std
.
Classes
.
Ord
.
String
Search
return to top
source
Imports
Init.Data.String.Lemmas
Std.Classes.Ord.Basic
Imported by
String
.
instTransOrd
String
.
instLawfulEqOrd
Char
.
instTransOrd
Char
.
instLawfulEqOrd
Instances for strings.
#
source
instance
String
.
instTransOrd
:
Std.TransOrd
String
source
instance
String
.
instLawfulEqOrd
:
Std.LawfulEqOrd
String
source
instance
Char
.
instTransOrd
:
Std.TransOrd
Char
source
instance
Char
.
instLawfulEqOrd
:
Std.LawfulEqOrd
Char