NominalLeaves.hs

-- @generated by keiro-dsl 0.21.0.0 (language keiro-dsl 6) from context keyword-segments structural nominal leaves; do not edit.
module Generated.KeywordSegments.Structural.NominalLeaves where

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

encodeSubscriptionIdLeaf :: Nominals.SubscriptionId -> Value
encodeSubscriptionIdLeaf = String . Nominals.subscriptionIdText
{-# NOINLINE encodeSubscriptionIdLeaf #-}

parseSubscriptionIdLeaf :: Value -> Parser Nominals.SubscriptionId
parseSubscriptionIdLeaf = withText "SubscriptionId" (either (fail . T.unpack) pure . Nominals.parseSubscriptionId)
{-# NOINLINE parseSubscriptionIdLeaf #-}