module Iri.Rendering.Text.Internal where

import Iri.Data.Types
import Iri.Prelude
import Iri.Rendering.TextBuilder.Internal qualified as A
import Text.Builder qualified as B

-- | Render as a Unicode IRI text
iri :: Iri -> Text
iri :: Iri -> Text
iri =
  Builder -> Text
B.run (Builder -> Text) -> (Iri -> Builder) -> Iri -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. Iri -> Builder
A.iri

-- | Render as a Unicode IRI text
httpIri :: HttpIri -> Text
httpIri :: HttpIri -> Text
httpIri =
  Builder -> Text
B.run (Builder -> Text) -> (HttpIri -> Builder) -> HttpIri -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k).
Category cat =>
cat b c -> cat a b -> cat a c
. HttpIri -> Builder
A.httpIri