A type used as a tag to distinguish the Cole era.

A type used as a tag to distinguish the Sophie era.

A type used as a tag to distinguish the Evie era.

A type used as a tag to distinguish the Jen era.

A type used as a tag to distinguish the Aurum era.

This GADT provides a value-level representation of all the Bcc eras. This enables pattern matching on the era to allow them to be treated in a non-uniform way.

This can be used in combination with the IsBccEra class to get access to this value.

In combination this can often enable code that handles all eras, and does so uniformly where possible, and non-uniformly where necessary.

The class of Bcc eras. This allows uniform handling of all Bcc eras, but also non-uniform by making case distinctions on the BccEra constructors, or the BccEraStyle constructors via bccEraStyle.

Like the AnyBccEra constructor but does not demand a IsBccEra class constraint.

This pairs up some era-dependent type with a BccEra value that tells us what era it is, but hides the era type. This is useful when the era is not statically known, for example when deserialising from a file.

While the Cole and Sophie eras are quite different, there are several eras that are based on Sophie with only minor differences. It is useful to be able to treat the Sophie-based eras in a mostly-uniform way.

Values of this type witness the fact that the era is Sophie-based. This can be used to constrain the era to being a Sophie-based on. It allows non-uniform handling making case distinctions on the constructor.

The class of eras that are based on Sophie. This allows uniform handling of Sophie-based eras, but also non-uniform by making case distinctions on the SophieBasedEra constructors.

This pairs up some era-dependent type with a SophieBasedEra value that tells us what era it is, but hides the era type. This is useful when the era is not statically known, for example when deserialising from a file.

Converts a SophieBasedEra to the broader BccEra.

A type family that connects our era type tags to equivalent type tags used in the Sophie ledger library.

This type mapping connect types from this API with types in the Sophie ledger library which allows writing conversion functions in a more generic way.

This is the same essential information as BccEra but instead of a flat set of alternative eras, it is factored into the legcy Cole era and the current Sophie-based eras.

This way of factoring the eras is useful because in many cases the major differences are between the Cole and Sophie-based eras, and the Sophie-based eras can often be treated uniformly.

The BccEraStyle for a BccEra.

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.