hydra-kernel-0.17.6: src/main/haskell/Hydra/Encode/Paths.hs

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

-- | Term encoders for hydra.paths

module Hydra.Encode.Paths where

import qualified Hydra.Core as Core
import qualified Hydra.Encode.Core as EncodeCore
import qualified Hydra.Overlay.Haskell.Lib.Lists as Lists
import qualified Hydra.Overlay.Haskell.Lib.Pairs as Pairs
import qualified Hydra.Paths as Paths
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, lines, map, pure, sum, unlines)
import qualified Data.Scientific as Sci
import Data.Void

-- | Encoder for hydra.paths.SubtermAttribute
subtermAttribute :: Paths.SubtermAttribute -> Core.Term
subtermAttribute x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtermAttribute"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtermPath (Paths.subtermAttributePath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (termAttribute (Paths.subtermAttributeTarget x))}]})

-- | Encoder for hydra.paths.SubtermEdge
subtermEdge :: Paths.SubtermEdge -> Core.Term
subtermEdge x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtermEdge"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtermPath (Paths.subtermEdgePath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (EncodeCore.name (Paths.subtermEdgeTarget x))}]})

-- | Encoder for hydra.paths.SubtermGraph
subtermGraph :: Paths.SubtermGraph -> Core.Term
subtermGraph x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtermGraph"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "nodes"),
          Core.fieldTerm = ((\xs -> Core.TermList (Lists.map subtermNode xs)) (Paths.subtermGraphNodes x))}]})

-- | Encoder for hydra.paths.SubtermLink
subtermLink :: Paths.SubtermLink -> Core.Term
subtermLink x =
    case x of
      Paths.SubtermLinkEdge v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "edge"),
          Core.fieldTerm = (subtermEdge v0)}})
      Paths.SubtermLinkProperty v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "property"),
          Core.fieldTerm = (subtermProperty v0)}})
      Paths.SubtermLinkAttribute v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "attribute"),
          Core.fieldTerm = (subtermAttribute v0)}})

-- | Encoder for hydra.paths.SubtermNode
subtermNode :: Paths.SubtermNode -> Core.Term
subtermNode x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtermNode"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "name"),
          Core.fieldTerm = (EncodeCore.name (Paths.subtermNodeName x))},
        Core.Field {
          Core.fieldName = (Core.Name "type"),
          Core.fieldTerm = (EncodeCore.typeScheme (Paths.subtermNodeType x))},
        Core.Field {
          Core.fieldName = (Core.Name "links"),
          Core.fieldTerm = ((\xs -> Core.TermList (Lists.map subtermLink xs)) (Paths.subtermNodeLinks x))}]})

-- | Encoder for hydra.paths.SubtermPath
subtermPath :: Paths.SubtermPath -> Core.Term
subtermPath x =
    Core.TermWrap (Core.WrappedTerm {
      Core.wrappedTermTypeName = (Core.Name "hydra.paths.SubtermPath"),
      Core.wrappedTermBody = ((\xs -> Core.TermList (Lists.map subtermStep xs)) (Paths.unSubtermPath x))})

-- | Encoder for hydra.paths.SubtermProperty
subtermProperty :: Paths.SubtermProperty -> Core.Term
subtermProperty x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtermProperty"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtermPath (Paths.subtermPropertyPath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (EncodeCore.term (Paths.subtermPropertyTarget x))}]})

-- | Encoder for hydra.paths.SubtermStep
subtermStep :: Paths.SubtermStep -> Core.Term
subtermStep x =
    case x of
      Paths.SubtermStepAnnotatedAnnotation -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "annotatedAnnotation"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepAnnotatedBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "annotatedBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepApplicationArgument -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "applicationArgument"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepApplicationFunction -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "applicationFunction"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepCasesCase v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "casesCase"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtermStepCasesDefault -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "casesDefault"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepEitherLeft -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "eitherLeft"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepEitherRight -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "eitherRight"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepInjectField v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "injectField"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtermStepLambdaBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "lambdaBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepLetBinding v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "letBinding"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtermStepLetBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "letBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepListElement v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "listElement"),
          Core.fieldTerm = (Core.TermLiteral (Core.LiteralInteger (Core.IntegerValueInt32 v0)))}})
      Paths.SubtermStepMapKey v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "mapKey"),
          Core.fieldTerm = (Core.TermLiteral (Core.LiteralInteger (Core.IntegerValueInt32 v0)))}})
      Paths.SubtermStepMapValue v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "mapValue"),
          Core.fieldTerm = (Core.TermLiteral (Core.LiteralInteger (Core.IntegerValueInt32 v0)))}})
      Paths.SubtermStepOptionalGiven -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "optionalGiven"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepPairFirst -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "pairFirst"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepPairSecond -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "pairSecond"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepRecordField v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "recordField"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtermStepSetElement v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "setElement"),
          Core.fieldTerm = (Core.TermLiteral (Core.LiteralInteger (Core.IntegerValueInt32 v0)))}})
      Paths.SubtermStepTypeApplicationBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "typeApplicationBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepTypeLambdaBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "typeLambdaBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtermStepWrapBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtermStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "wrapBody"),
          Core.fieldTerm = Core.TermUnit}})

-- | Encoder for hydra.paths.SubtypeAttribute
subtypeAttribute :: Paths.SubtypeAttribute -> Core.Term
subtypeAttribute x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtypeAttribute"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtypePath (Paths.subtypeAttributePath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (typeAttribute (Paths.subtypeAttributeTarget x))}]})

-- | Encoder for hydra.paths.SubtypeEdge
subtypeEdge :: Paths.SubtypeEdge -> Core.Term
subtypeEdge x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtypeEdge"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtypePath (Paths.subtypeEdgePath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (EncodeCore.name (Paths.subtypeEdgeTarget x))}]})

-- | Encoder for hydra.paths.SubtypeGraph
subtypeGraph :: Paths.SubtypeGraph -> Core.Term
subtypeGraph x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtypeGraph"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "nodes"),
          Core.fieldTerm = ((\xs -> Core.TermList (Lists.map subtypeNode xs)) (Paths.subtypeGraphNodes x))}]})

-- | Encoder for hydra.paths.SubtypeLink
subtypeLink :: Paths.SubtypeLink -> Core.Term
subtypeLink x =
    case x of
      Paths.SubtypeLinkEdge v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "edge"),
          Core.fieldTerm = (subtypeEdge v0)}})
      Paths.SubtypeLinkProperty v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "property"),
          Core.fieldTerm = (subtypeProperty v0)}})
      Paths.SubtypeLinkAttribute v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeLink"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "attribute"),
          Core.fieldTerm = (subtypeAttribute v0)}})

-- | Encoder for hydra.paths.SubtypeNode
subtypeNode :: Paths.SubtypeNode -> Core.Term
subtypeNode x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtypeNode"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "name"),
          Core.fieldTerm = (EncodeCore.name (Paths.subtypeNodeName x))},
        Core.Field {
          Core.fieldName = (Core.Name "links"),
          Core.fieldTerm = ((\xs -> Core.TermList (Lists.map subtypeLink xs)) (Paths.subtypeNodeLinks x))}]})

-- | Encoder for hydra.paths.SubtypePath
subtypePath :: Paths.SubtypePath -> Core.Term
subtypePath x =
    Core.TermWrap (Core.WrappedTerm {
      Core.wrappedTermTypeName = (Core.Name "hydra.paths.SubtypePath"),
      Core.wrappedTermBody = ((\xs -> Core.TermList (Lists.map subtypeStep xs)) (Paths.unSubtypePath x))})

-- | Encoder for hydra.paths.SubtypeProperty
subtypeProperty :: Paths.SubtypeProperty -> Core.Term
subtypeProperty x =
    Core.TermRecord (Core.Record {
      Core.recordTypeName = (Core.Name "hydra.paths.SubtypeProperty"),
      Core.recordFields = [
        Core.Field {
          Core.fieldName = (Core.Name "path"),
          Core.fieldTerm = (subtypePath (Paths.subtypePropertyPath x))},
        Core.Field {
          Core.fieldName = (Core.Name "target"),
          Core.fieldTerm = (EncodeCore.type_ (Paths.subtypePropertyTarget x))}]})

-- | Encoder for hydra.paths.SubtypeStep
subtypeStep :: Paths.SubtypeStep -> Core.Term
subtypeStep x =
    case x of
      Paths.SubtypeStepAnnotatedBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "annotatedBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepApplicationArgument -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "applicationArgument"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepApplicationFunction -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "applicationFunction"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepEffectValue -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "effectValue"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepEitherLeft -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "eitherLeft"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepEitherRight -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "eitherRight"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepForallBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "forallBody"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepFunctionCodomain -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "functionCodomain"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepFunctionDomain -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "functionDomain"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepListElement -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "listElement"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepMapKeys -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "mapKeys"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepMapValues -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "mapValues"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepOptionalElement -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "optionalElement"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepPairFirst -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "pairFirst"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepPairSecond -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "pairSecond"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepRecordField v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "recordField"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtypeStepSetElement -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "setElement"),
          Core.fieldTerm = Core.TermUnit}})
      Paths.SubtypeStepUnionField v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "unionField"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.SubtypeStepWrapBody -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.SubtypeStep"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "wrapBody"),
          Core.fieldTerm = Core.TermUnit}})

-- | Encoder for hydra.paths.TermAttribute
termAttribute :: Paths.TermAttribute -> Core.Term
termAttribute x =
    case x of
      Paths.TermAttributeCasesTypeName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "casesTypeName"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeInjectTypeName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "injectTypeName"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeLambdaDomainGiven v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "lambdaDomainGiven"),
          Core.fieldTerm = (EncodeCore.type_ v0)}})
      Paths.TermAttributeLambdaParameter v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "lambdaParameter"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeLetBindingTypeSchemeGiven v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "letBindingTypeSchemeGiven"),
          Core.fieldTerm = (Core.TermPair (Pairs.bimap EncodeCore.name EncodeCore.typeScheme v0))}})
      Paths.TermAttributeProjectFieldName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "projectFieldName"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeProjectTypeName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "projectTypeName"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeRecordTypeName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "recordTypeName"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeTypeApplicationType v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "typeApplicationType"),
          Core.fieldTerm = (EncodeCore.type_ v0)}})
      Paths.TermAttributeTypeLambdaParameter v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "typeLambdaParameter"),
          Core.fieldTerm = (EncodeCore.name v0)}})
      Paths.TermAttributeWrapTypeName v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TermAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "wrapTypeName"),
          Core.fieldTerm = (EncodeCore.name v0)}})

-- | Encoder for hydra.paths.TypeAttribute
typeAttribute :: Paths.TypeAttribute -> Core.Term
typeAttribute x =
    case x of
      Paths.TypeAttributeAnnotatedAnnotation v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TypeAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "annotatedAnnotation"),
          Core.fieldTerm = (EncodeCore.term v0)}})
      Paths.TypeAttributeForallParameter v0 -> Core.TermInject (Core.Injection {
        Core.injectionTypeName = (Core.Name "hydra.paths.TypeAttribute"),
        Core.injectionField = Core.Field {
          Core.fieldName = (Core.Name "forallParameter"),
          Core.fieldTerm = (EncodeCore.name v0)}})