Jacob Barber Jacoby6000

Smithplates SQL union/Pydantic warning reproduction

This standalone model stores a Smithy union in an @sqlJson column. A custom query decodes the JSON column to a mapping and constructs the generated SQL row dataclass. Serializing that generated row through Pydantic emits PydanticSerializationUnexpectedValue for every union variant, even though the mapping has the correct Smithy wire shape.

Reproduce

Requirements/Descriptions

An EON
- The brains of openpilot, contains an LeEco LE Pro 3 with firmware that allows it to run openpilot and the battery removed
- Should have a heat sink and fan on the rear
- May/May not have IR LEDs and IR Filter removed from the front facing camera.
A connector
- The connector intercepts signals on CAN and feeds it to the harness box
- Connectors vary, even among the same manufacturer
A harness box

Pros for recusion schemes

More fold methods: cata, cataM, gcata, gcataM, hylo, hyloM, ghylo, ghyloM, histo, histoM, ghisto, ghistoM, and more.

Easier to maintain; adding nodes means you just have to update your algebras and your functor instance. With the hand-written ones you’d have to update each of those methods, as well as your algebras.

If you want to mix together/extend the ADT, you can do so using a simple coproduct (like Either)

BNF Grammar of Regular Expressions

Following the precedence rules given previously, a BNF grammar for Perl-style regular expressions can be constructed as follows.

<RE> ::= <union> | <simple-RE>
<union> ::= <RE> "|" <simple-RE>
<simple-RE> ::= <concatenation> | <basic-RE>
<concatenation> ::= <simple-RE> <basic-RE>
<basic-RE> ::= <star> | <plus> | <elementary-RE>
<star> ::= <elementary-RE> "*"
::= "+"

	module Bot.Interaction.Options
	( getOptionByName
	, processStringOption
	, processBoolOption
	, processIntOption
	, processNumberOption
	, processUserOption
	, processRoleOption
	, getStringOption
	, getBoolOption

	public class ModdedChivalry2LauncherFactory {
	public static Func<ModdedLaunchOptions, IEnumerable<string>, Either<ProcessLaunchFailure, Process>> CreateDefaultLauncher(IProcessLauncher, launcher, string workdir, IModManager modManager) => (moddedLaunchOpts, args) => {
	// ... impl ...
	}
	}

	public class SomeViewModel {
	// ...
	private Func<ModdedLaunchOptions, IEnumerable<string>, Either<ProcessLaunchFailure, Process>> Launcher { get; }

	import requests

	# max_records is there so you can get back partial result sets, if you want. Useful for testing.
	def get_all_course_data(max_records=None):
	page_number = 1
	page_size = 100
	more_records_exist = True
	all_courses = []

	while more_records_exist:

	trait MathProvider[A] {
	def plus(a: A, b: A): A
	def minus(a: A, b: A): A
	def divide(a: A, b: A): A
	def multiply(a: A, b: A): A
	}

	Miss Bell
	Lars Hupel
	John DeGoes
	Tony Morris
	Emily Pilmore

	import cats.implicits._
	import cats.{FlatMap, Monad, Applicative, Apply, Functor}

	/**
	* A concretion/simplification of StateT for logging.
	*/
	class LoggerT[F[_], Ctx, A](val run: F[(Ctx, A)]) {
	def value(implicit: F: Functor[F]): F[A] = run.map(_._2)
	def context(implicit: F: Functor[F]): F[A] = run.map(_._1)