Interface Generic<F>

Representation translator between Instance<F> and its associated Rep type.

All of implementations must satisfy the following laws:

Left identity: for all x; to(from(x)) equals to x.
Right identity: for all m; from(to(m)) equals to m.

interface Generic<F> {
from: <P>(data: Instance<F>) => Generic.GetRep<F, P>;
to: <P>(rep: Generic.GetRep<F, P>) => Instance<F>;
}

Type Parameters

F

Index

Properties

Properties

from

from: <P>(data: Instance<F>) => Generic.GetRep<F, P>

Converts data into the meta representation.

Type Declaration

- <P>(data: Instance<F>): Generic.GetRep<F, P>
- Type Parameters
  - P
  Parameters
  - data: Instance<F>
    To be converted.
  Returns Generic.GetRep<F, P>
  The corresponding meta representation.

to

to: <P>(rep: Generic.GetRep<F, P>) => Instance<F>

Converts rep into the concrete data.

Type Declaration

- <P>(rep: Generic.GetRep<F, P>): Instance<F>
- Type Parameters
  - P
  Parameters
  - rep: Generic.GetRep<F, P>
  Returns Instance<F>
  The corresponding concrete data.

Params

rep - To be converted.