PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.config/io.github.srs.config.yaml/io.github.srs.config.yaml.serializer/io.github.srs.config.yaml.serializer.encoders/Environment

Environment

io.github.srs.config.yaml.serializer.encoders.Environment
object Environment

Encodes an Environment to a JSON object.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Givens

Givens

given given_Encoder_Environment: Encoder[Environment]

Given an Environment, it encodes it to a JSON object.

Given an Environment, it encodes it to a JSON object.

Attributes

Returns

a JSON object representing the environment

Generated with