hydra-kernel-0.18.0: src/main/haskell/Hydra/Core/Encode/Testing.hs

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

-- | Term encoders for hydra.core.testing

module Hydra.Core.Encode.Testing where

import qualified Hydra.Core.Encode.Model as EncodeModel
import qualified Hydra.Core.Model as Model
import qualified Hydra.Core.Testing as Testing
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.core.testing.Tag
tag :: Testing.Tag -> Model.Term
tag x =
    Model.TermWrap (Model.WrappedTerm {
      Model.wrappedTermTypeName = (Model.Name "hydra.core.testing.Tag"),
      Model.wrappedTermBody = ((\x2 -> Model.TermLiteral (Model.LiteralString x2)) (Testing.unTag x))})