SourceContext.hs

-- Note: this is an automatically generated file. Do not edit.

-- | DSL functions for hydra.ext.protobuf.sourceContext

module Hydra.Ext.Dsl.Protobuf.SourceContext where

import qualified Hydra.Core.Model as Model
import qualified Hydra.Core.Typed as Typed
import qualified Hydra.Ext.Protobuf.SourceContext as SourceContext
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, lines, map, pure, sum, unlines)
import qualified Data.Scientific as Sci
import Data.Void

-- | DSL constructor for hydra.ext.protobuf.sourceContext.SourceContext
sourceContext :: Typed.TypedTerm String -> Typed.TypedTerm SourceContext.SourceContext
sourceContext fileName =
    Typed.TypedTerm (Model.TermRecord (Model.Record {
      Model.recordTypeName = (Model.Name "hydra.ext.protobuf.sourceContext.SourceContext"),
      Model.recordFields = [
        Model.Field {
          Model.fieldName = (Model.Name "fileName"),
          Model.fieldTerm = (Typed.unTypedTerm fileName)}]}))

-- | DSL accessor for the fileName field of hydra.ext.protobuf.sourceContext.SourceContext
sourceContextFileName :: Typed.TypedTerm SourceContext.SourceContext -> Typed.TypedTerm String
sourceContextFileName x =
    Typed.TypedTerm (Model.TermApplication (Model.Application {
      Model.applicationFunction = (Model.TermProject (Model.Projection {
        Model.projectionTypeName = (Model.Name "hydra.ext.protobuf.sourceContext.SourceContext"),
        Model.projectionFieldName = (Model.Name "fileName")})),
      Model.applicationArgument = (Typed.unTypedTerm x)}))

-- | DSL name token for hydra.ext.protobuf.sourceContext.SourceContext
sourceContextSourceContext :: Typed.TypedName SourceContext.SourceContext
sourceContextSourceContext = Typed.TypedName (Model.Name "hydra.ext.protobuf.sourceContext.SourceContext")

-- | DSL updater for the fileName field of hydra.ext.protobuf.sourceContext.SourceContext
sourceContextWithFileName :: Typed.TypedTerm SourceContext.SourceContext -> Typed.TypedTerm String -> Typed.TypedTerm SourceContext.SourceContext
sourceContextWithFileName original newVal =
    Typed.TypedTerm (Model.TermRecord (Model.Record {
      Model.recordTypeName = (Model.Name "hydra.ext.protobuf.sourceContext.SourceContext"),
      Model.recordFields = [
        Model.Field {
          Model.fieldName = (Model.Name "fileName"),
          Model.fieldTerm = (Typed.unTypedTerm newVal)}]}))