{-# options_haddock prune #-}

-- |Description: Entity Effects, Internal
module Polysemy.Http.Effect.Entity where

-- |Generic error type for decoders.
data EntityError =
  EntityError {
    EntityError -> Text
body :: Text,
    EntityError -> Text
message :: Text
  }
  deriving (EntityError -> EntityError -> Bool
(EntityError -> EntityError -> Bool)
-> (EntityError -> EntityError -> Bool) -> Eq EntityError
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EntityError -> EntityError -> Bool
$c/= :: EntityError -> EntityError -> Bool
== :: EntityError -> EntityError -> Bool
$c== :: EntityError -> EntityError -> Bool
Eq, Int -> EntityError -> ShowS
[EntityError] -> ShowS
EntityError -> String
(Int -> EntityError -> ShowS)
-> (EntityError -> String)
-> ([EntityError] -> ShowS)
-> Show EntityError
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EntityError] -> ShowS
$cshowList :: [EntityError] -> ShowS
show :: EntityError -> String
$cshow :: EntityError -> String
showsPrec :: Int -> EntityError -> ShowS
$cshowsPrec :: Int -> EntityError -> ShowS
Show)

-- |Abstraction of json encoding, potentially usable for other content types like xml.
data EntityEncode d :: Effect where
  Encode :: d -> EntityEncode d m LByteString
  EncodeStrict :: d -> EntityEncode d m ByteString

makeSem_ ''EntityEncode

-- |Lazily encode a value of type @d@ to a 'LByteString'
encode ::
  ∀ d r .
  Member (EntityEncode d) r =>
  d ->
  Sem r LByteString

-- |Strictly encode a value of type @d@ to a 'ByteString'
encodeStrict ::
  ∀ d r .
  Member (EntityEncode d) r =>
  d ->
  Sem r ByteString

-- |Abstraction of json decoding, potentially usable for other content types like xml.
data EntityDecode d :: Effect where
  Decode :: LByteString -> EntityDecode d m (Either EntityError d)
  DecodeStrict :: ByteString -> EntityDecode d m (Either EntityError d)

makeSem_ ''EntityDecode

-- |Lazily decode a 'LByteString' to a value of type @d@
decode ::
  ∀ d r .
  Member (EntityDecode d) r =>
  LByteString ->
  Sem r (Either EntityError d)

-- |Strictly decode a 'ByteString' to a value of type @d@
decodeStrict ::
  ∀ d r .
  Member (EntityDecode d) r =>
  ByteString ->
  Sem r (Either EntityError d)

-- |Marker type to be used with 'Entities'
data Encode a

-- |Marker type to be used with 'Entities'
data Decode a

-- |Convenience constraint for requiring multiple entity effects, to be used like 'Polysemy.Members'.
--
-- @
-- foo :: Entities [Encode Int, Decode Double] r => Sem r ()
-- @
type family Entities es r :: Constraint where
  Entities '[] r = ()
  Entities (Encode d ': ds) r = (Member (EntityEncode d) r, Entities ds r)
  Entities (Decode d ': ds) r = (Member (EntityDecode d) r, Entities ds r)

-- |Convenience constraint for requiring multiple encoders.
--
-- @
-- foo :: Encoders [Int, Double] r => Sem r ()
-- @
type family Encoders es r :: Constraint where
  Encoders '[] r = ()
  Encoders (d ': ds) r = (Member (EntityEncode d) r, Encoders ds r)

-- |Convenience constraint for requiring multiple decoders.
--
-- @
-- foo :: Decoders [Int, Double] r => Sem r ()
-- @
type family Decoders ds r :: Constraint where
  Decoders '[] r = ()
  Decoders (d ': ds) r = (Member (EntityDecode d) r, Decoders ds r)