{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.LazyTextBuilderAndText where

import qualified Data.Text.Lazy
import qualified Data.Text.Lazy.Builder
import LawfulConversions.Classes
import LawfulConversions.Prelude

instance IsSome Data.Text.Lazy.Builder.Builder Text where
  to :: Text -> Builder
to = Text -> Builder
Data.Text.Lazy.Builder.fromText
  maybeFrom :: Builder -> Maybe Text
maybeFrom = Text -> Maybe Text
forall a. a -> Maybe a
Just (Text -> Maybe Text) -> (Builder -> Text) -> Builder -> Maybe 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
. LazyText -> Text
Data.Text.Lazy.toStrict (LazyText -> Text) -> (Builder -> LazyText) -> Builder -> 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
. Builder -> LazyText
Data.Text.Lazy.Builder.toLazyText

instance IsSome Text Data.Text.Lazy.Builder.Builder where
  to :: Builder -> Text
to = LazyText -> Text
Data.Text.Lazy.toStrict (LazyText -> Text) -> (Builder -> LazyText) -> Builder -> 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
. Builder -> LazyText
Data.Text.Lazy.Builder.toLazyText
  maybeFrom :: Text -> Maybe Builder
maybeFrom = Builder -> Maybe Builder
forall a. a -> Maybe a
Just (Builder -> Maybe Builder)
-> (Text -> Builder) -> Text -> Maybe Builder
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
. Text -> Builder
Data.Text.Lazy.Builder.fromText

instance IsMany Data.Text.Lazy.Builder.Builder Text

instance IsMany Text Data.Text.Lazy.Builder.Builder

instance Is Data.Text.Lazy.Builder.Builder Text

instance Is Text Data.Text.Lazy.Builder.Builder