{-# OPTIONS_GHC -Wno-orphans #-}

module LawfulConversions.Relations.LazyTextAndLazyTextBuilder where

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

instance IsSome Data.Text.Lazy.Text Data.Text.Lazy.Builder.Builder where
  to :: Builder -> Text
to = Builder -> Text
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.fromLazyText

instance IsSome Data.Text.Lazy.Builder.Builder Data.Text.Lazy.Text where
  to :: Text -> Builder
to = Text -> Builder
Data.Text.Lazy.Builder.fromLazyText
  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
. Builder -> Text
Data.Text.Lazy.Builder.toLazyText

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

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

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

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