NominalLeaves.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains structural nominal leaves; do not edit.
module Generated.IdAdmissionDomains.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.IdAdmissionDomains.Nominals qualified as Nominals

encodeLegacyIdLeaf :: Nominals.LegacyId -> Value
encodeLegacyIdLeaf = String . Nominals.legacyIdText
{-# NOINLINE encodeLegacyIdLeaf #-}

parseLegacyIdLeaf :: Value -> Parser Nominals.LegacyId
parseLegacyIdLeaf = withText "LegacyId" (either (fail . T.unpack) pure . Nominals.parseLegacyId)
{-# NOINLINE parseLegacyIdLeaf #-}

renderLegacyIdLeafKey :: Nominals.LegacyId -> Text
renderLegacyIdLeafKey = Nominals.legacyIdText
{-# NOINLINE renderLegacyIdLeafKey #-}

parseLegacyIdLeafKey :: Text -> Parser Nominals.LegacyId
parseLegacyIdLeafKey = either (fail . T.unpack) pure . Nominals.parseLegacyId
{-# NOINLINE parseLegacyIdLeafKey #-}