module Stdlib.Data.String;

import Stdlib.Data.String.Base open public;

import Stdlib.Trait.Eq open;
import Stdlib.Trait.Show open;
import Stdlib.Trait.Semigroup open;

import Stdlib.Data.String.Ord as String;

instance
semigroupStringI : Semigroup String := Semigroup.mk (++str);

instance
eqStringI : Eq String := Eq.mk (String.==);

instance
showStringI : Show String :=
  let
    go (s : String) : String := "\"" ++str s ++str "\"";
  in Show.mk go;