The rationals are Encodable.

As a consequence we also get the instance Countable ℚ.

This is kept separate from Data.Rat.Defs in order to minimize imports.

@[implicit_reducible]

instance Rat.instEncodable : Encodable ℚ

Equations

• One or more equations did not get rendered due to their size.