--- 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"};