NominalLeaves.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers structural nominal leaves; do not edit.
module Generated.BareContainers.Structural.NominalLeaves where

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

encodeItemIdLeaf :: Nominals.ItemId -> Value
encodeItemIdLeaf = String . Nominals.itemIdText
{-# NOINLINE encodeItemIdLeaf #-}

parseItemIdLeaf :: Value -> Parser Nominals.ItemId
parseItemIdLeaf = withText "ItemId" (either (fail . T.unpack) pure . Nominals.parseItemId)
{-# NOINLINE parseItemIdLeaf #-}