Time.hs

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

-- | Term encoders for hydra.core.time

module Hydra.Core.Encode.Time where

import qualified Hydra.Core.Encode.Model as EncodeModel
import qualified Hydra.Core.Model as Model
import qualified Hydra.Core.Time as Time
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.time.Timespec
timespec :: Time.Timespec -> Model.Term
timespec x =
    Model.TermRecord (Model.Record {
      Model.recordTypeName = (Model.Name "hydra.core.time.Timespec"),
      Model.recordFields = [
        Model.Field {
          Model.fieldName = (Model.Name "seconds"),
          Model.fieldTerm = ((\x2 -> Model.TermLiteral (Model.LiteralInteger (Model.IntegerValueInt64 x2))) (Time.timespecSeconds x))},
        Model.Field {
          Model.fieldName = (Model.Name "nanoseconds"),
          Model.fieldTerm = ((\x2 -> Model.TermLiteral (Model.LiteralInteger (Model.IntegerValueUint32 x2))) (Time.timespecNanoseconds x))}]})