NominalLeaves.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay structural nominal leaves; do not edit.
module Generated.CheckedMappingReplay.Structural.NominalLeaves where

import Data.Aeson (Value (..), withText)
import Data.Aeson.Types (Parser)
import Data.Text (Text)
import Data.Text qualified as T
import Generated.CheckedMappingReplay.Nominals qualified as Nominals

encodeRetainedIdLeaf :: Nominals.RetainedId -> Value
encodeRetainedIdLeaf = String . Nominals.retainedIdText
{-# NOINLINE encodeRetainedIdLeaf #-}

parseRetainedIdLeaf :: Value -> Parser Nominals.RetainedId
parseRetainedIdLeaf = withText "RetainedId" (either (fail . T.unpack) pure . Nominals.parseRetainedId)
{-# NOINLINE parseRetainedIdLeaf #-}

renderRetainedIdLeafKey :: Nominals.RetainedId -> Text
renderRetainedIdLeafKey = Nominals.retainedIdText
{-# NOINLINE renderRetainedIdLeafKey #-}

parseRetainedIdLeafKey :: Text -> Parser Nominals.RetainedId
parseRetainedIdLeafKey = either (fail . T.unpack) pure . Nominals.parseRetainedId
{-# NOINLINE parseRetainedIdLeafKey #-}