NominalLeaves.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only structural nominal leaves; do not edit.
module Generated.MappedNominalQueueOnly.Structural.NominalLeaves where

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

encodeTemplateIdLeaf :: Nominals.TemplateId -> Value
encodeTemplateIdLeaf = String . Nominals.templateIdText
{-# NOINLINE encodeTemplateIdLeaf #-}

parseTemplateIdLeaf :: Value -> Parser Nominals.TemplateId
parseTemplateIdLeaf = withText "TemplateId" (either (fail . T.unpack) pure . Nominals.parseTemplateId)
{-# NOINLINE parseTemplateIdLeaf #-}