extraCodec property
The codec used to encode and decode extra into a serializable format.
When navigating using GoRouter.go or GoRouter.push, one can provide
an extra
parameter along with it. If the extra contains complex data,
consider provide a codec for serializing and deserializing the extra data.
See also:
- Navigation topic.
- extra_codec example.
Implementation
final Codec<Object?, Object?>? extraCodec;