--- The unit type. module Stdlib.Data.Unit; import Stdlib.Data.Bool.Base open; import Stdlib.Trait.Eq open; import Stdlib.Trait.Ord open; import Stdlib.Trait.Show open; type Unit := --- The only constructor of ;Unit;. unit; instance eqUnitI : Eq Unit := mkEq λ {unit unit := true}; instance ordUnitI : Ord Unit := mkOrd λ {unit unit := EQ}; instance showUnitI : Show Unit := mkShow λ {unit := "unit"};Last modified on 2023-10-06 13:21 UTC