SourceContext.hs

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

-- | DSL functions for hydra.protobuf.sourceContext

module Hydra.Dsl.Protobuf.SourceContext where

import qualified Hydra.Core as Core
import qualified Hydra.Phantoms as Phantoms
import qualified Hydra.Protobuf.SourceContext as SourceContext
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci

sourceContext :: Phantoms.TTerm String -> Phantoms.TTerm SourceContext.SourceContext
sourceContext fileName =
    Phantoms.TTerm (Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.protobuf.sourceContext.SourceContext"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "fileName"),
          Core.fieldTerm = (Phantoms.unTTerm fileName)}]}))

sourceContextFileName :: Phantoms.TTerm SourceContext.SourceContext -> Phantoms.TTerm String
sourceContextFileName x =
    Phantoms.TTerm (Core.TermApplication (Core.Application {
      Core.applicationFunction = (Core.TermProject (Core.Projection {
        Core.projectionTypeName = (Core.Name "hydra.protobuf.sourceContext.SourceContext"),
        Core.projectionField = (Core.Name "fileName")})),
      Core.applicationArgument = (Phantoms.unTTerm x)}))

sourceContextWithFileName :: Phantoms.TTerm SourceContext.SourceContext -> Phantoms.TTerm String -> Phantoms.TTerm SourceContext.SourceContext
sourceContextWithFileName original newVal =
    Phantoms.TTerm (Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.protobuf.sourceContext.SourceContext"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "fileName"),
          Core.fieldTerm = (Phantoms.unTTerm newVal)}]}))