optics

Oct 31, 2024

Changes in this version

+ const Version

+ type Byte interface

+ type Float interface

+ type Int interface

type Lens

+ func BiMapB[S any, A, B Byte](attr ...string) Lens[S, B]

+ func BiMapF[S any, A, B Float](attr ...string) Lens[S, B]

+ func BiMapI[S any, A, B Int](attr ...string) Lens[S, B]

+ func BiMapS[S any, A, B String](attr ...string) Lens[S, B]

+ type String interface

May 12, 2024

Changes in this version

type Isomorphism

+ Forward func(*S, *T)

+ Inverse func(*T, *S)

type Lens

+ func BiMap[S, A, B any](lens Lens[S, A], fmap func(A) B, cmap func(B) A) Lens[S, B]

+ func Getter[S, A, B any](lens Lens[S, A], f func(A) B) Lens[S, B]

+ func Join[S, A, B any](a Lens[S, A], b Lens[A, B]) Lens[S, B]

+ func NewLensM[S interface{ ... }, K comparable, A any](key K) Lens[S, A]

+ func Setter[S, A, B any](lens Lens[S, A], f func(B) A) Lens[S, B]

May 9, 2024

Changes in this version

+ type Isomorphism interface

+ FromAtoB func(*A, *B)

+ FromBtoA func(*B, *A)

+ func Iso[A, B any](a Shape[A], b Shape[B]) Isomorphism[A, B]

+ type Shape map[string]Value[S]

+ func ForShape[S any](attr ...string) Shape[S]

+ type Value interface

Nov 26, 2023

Changes in this version

+ func ForSpectrum2[T, A, B any](attr ...string) (Reflector[A], Reflector[B])

+ func ForSpectrum3[T, A, B, C any](attr ...string) (Reflector[A], Reflector[B], Reflector[C])

+ func ForSpectrum4[T, A, B, C, D any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D])

+ func ForSpectrum5[T, A, B, C, D, E any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D], Reflector[E])

+ func ForSpectrum6[T, A, B, C, D, E, F any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D], Reflector[E], ...)

+ func ForSpectrum7[T, A, B, C, D, E, F, G any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D], Reflector[E], ...)

+ func ForSpectrum8[T, A, B, C, D, E, F, G, H any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D], Reflector[E], ...)

+ func ForSpectrum9[T, A, B, C, D, E, F, G, H, I any](attr ...string) (Reflector[A], Reflector[B], Reflector[C], Reflector[D], Reflector[E], ...)

type Reflector

+ func ForSpectrum1[T, A any](attr ...string) Reflector[A]

+ func NewReflector[S, A any](t hseq.Type[S]) Reflector[A]

+ Gett func(any) A

+ Putt func(any, A) any

Nov 12, 2023

Changes in this version

+ type Lens2 interface

+ Get func(*S) (A, B)

+ Put func(*S, A, B) *S

+ func ForShape2[T, A, B any](attr ...string) Lens2[T, A, B]

+ type Lens3 interface

+ Get func(*S) (A, B, C)

+ Put func(*S, A, B, C) *S

+ func ForShape3[T, A, B, C any](attr ...string) Lens3[T, A, B, C]

+ type Lens4 interface

+ Get func(*S) (A, B, C, D)

+ Put func(*S, A, B, C, D) *S

+ func ForShape4[T, A, B, C, D any](attr ...string) Lens4[T, A, B, C, D]

+ type Lens5 interface

+ Get func(*S) (A, B, C, D, E)

+ Put func(*S, A, B, C, D, E) *S

+ func ForShape5[T, A, B, C, D, E any](attr ...string) Lens5[T, A, B, C, D, E]

+ type Lens6 interface

+ Get func(*S) (A, B, C, D, E, F)

+ Put func(*S, A, B, C, D, E, F) *S

+ func ForShape6[T, A, B, C, D, E, F any](attr ...string) Lens6[T, A, B, C, D, E, F]

+ type Lens7 interface

+ Get func(*S) (A, B, C, D, E, F, G)

+ Put func(*S, A, B, C, D, E, F, G) *S

+ func ForShape7[T, A, B, C, D, E, F, G any](attr ...string) Lens7[T, A, B, C, D, E, F, G]

+ type Lens8 interface

+ Get func(*S) (A, B, C, D, E, F, G, H)

+ Put func(*S, A, B, C, D, E, F, G, H) *S

+ func ForShape8[T, A, B, C, D, E, F, G, H any](attr ...string) Lens8[T, A, B, C, D, E, F, G, H]

+ type Lens9 interface

+ Get func(*S) (A, B, C, D, E, F, G, H, I)

+ Put func(*S, A, B, C, D, E, F, G, H, I) *S

+ func ForShape9[T, A, B, C, D, E, F, G, H, I any](attr ...string) Lens9[T, A, B, C, D, E, F, G, H, I]

Apr 2, 2023

Changes in this version

+ func ForProduct2(attr ...string) (Lens[T, A], Lens[T, B])

+ func ForProduct3(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C])

+ func ForProduct4(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D])

+ func ForProduct5(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D], Lens[T, E])

+ func ForProduct6(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D], Lens[T, E], Lens[T, F])

+ func ForProduct7(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D], Lens[T, E], Lens[T, F], ...)

+ func ForProduct8(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D], Lens[T, E], Lens[T, F], ...)

+ func ForProduct9(attr ...string) (Lens[T, A], Lens[T, B], Lens[T, C], Lens[T, D], Lens[T, E], Lens[T, F], ...)

+ type Lens interface

+ Get func(*S) A

+ Put func(*S, A) error

+ func ForProduct1(attr ...string) Lens[T, A]

+ func NewLens(t hseq.Type[S]) Lens[S, A]

+ func NewLensStruct(t hseq.Type[S]) Lens[S, A]

+ func NewLensStructFloat64(t hseq.Type[S]) Lens[S, float64]

+ func NewLensStructInt(t hseq.Type[S]) Lens[S, int]

+ func NewLensStructString(t hseq.Type[S]) Lens[S, string]

+ type Morphism interface

+ Put func(*S) error

+ PutValue func(reflect.Value) error

+ func Morph(lens Lens[S, A], a A) Morphism[S]

+ type Morphisms []Morphism[S]

+ func (m Morphisms[S]) Put(s *S) error

+ type Reflector interface

+ GetValue func(reflect.Value) A

+ PutValue func(reflect.Value, A) error