Interface Generic1<F>

Representation translator between kind 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 Generic1<F> {
from1: <P>(data: Get1<F, P>) => Generic.GetRep<F, P>;
to1: <P>(rep: Generic.GetRep<F, P>) => Get1<F, P>;
}

Type Parameters

F

Index

Properties

Properties

from1

from1: <P>(data: Get1<F, P>) => Generic.GetRep<F, P>

Converts data into the meta representation.

Type Declaration

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

to1

to1: <P>(rep: Generic.GetRep<F, P>) => Get1<F, P>

Converts rep into the concrete data.

Type Declaration

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

Params

rep - To be converted.