Generics.Eot.Tutorial

1st Example: Meta Information Without Types: Field Names

namesOfFields

data A

The Generic instance: Don't forget!!!

Eot: Isomorphic representations

data B

2nd Example: Deconstructing Values: Serialization

class EotSerialize eot

class Serialize a

genericSerialize

3rd Example: Constructing Values: Deserialization

class EotDeserialize eot

class Deserialize a

genericDeserialize

4th Example: Meta Information with types: generating SQL schemas

class EotCreateTableStatement meta eot

createTableStatement

data Person

data NoSelectors

DefaultSignatures

How DefaultSignatures work:

class ToString a

How to use DefaultSignatures for generic programming:

data C