| Interface | Description |
|---|---|
| DataFixer | |
| DSL | |
| DSL.TypeReference | |
| FamilyOptic<A,B> | |
| FunctionType<A,B> |
A function from an input type to an output type.
|
| OpticFinder<FT> | |
| Products | |
| TypeRewriteRule |
| Class | Description |
|---|---|
| DataFix | |
| DataFixerBuilder | |
| DataFixerUpper | |
| DataFixUtils | |
| DSL.Instances | |
| FieldFinder<FT> | |
| FunctionType.Instance.Mu | |
| FunctionType.Mu |
The witness type for
FunctionType. |
| FunctionType.ReaderInstance<R> | |
| FunctionType.ReaderInstance.Mu<A> | |
| FunctionType.ReaderMu<A> |
The witness type for the partially applied
FunctionType<A, _> |
| OpticParts<A,B> |
apply(i).sType == family.apply(i)
|
| Products.P1<F extends K1,T1> | |
| Products.P10<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10> | |
| Products.P11<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11> | |
| Products.P12<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12> | |
| Products.P13<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13> | |
| Products.P14<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14> | |
| Products.P15<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15> | |
| Products.P16<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> | |
| Products.P2<F extends K1,T1,T2> | |
| Products.P3<F extends K1,T1,T2,T3> | |
| Products.P4<F extends K1,T1,T2,T3,T4> | |
| Products.P5<F extends K1,T1,T2,T3,T4,T5> | |
| Products.P6<F extends K1,T1,T2,T3,T4,T5,T6> | |
| Products.P7<F extends K1,T1,T2,T3,T4,T5,T6,T7> | |
| Products.P8<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8> | |
| Products.P9<F extends K1,T1,T2,T3,T4,T5,T6,T7,T8,T9> | |
| RewriteResult<A,B> | |
| Typed<A> | |
| TypedOptic<S,T,A,B> | |
| TypeRewriteRule.All | |
| TypeRewriteRule.CheckOnce | |
| TypeRewriteRule.Everywhere | |
| TypeRewriteRule.IfSame<B> | |
| TypeRewriteRule.One | |
| TypeRewriteRule.OrElse | |
| TypeRewriteRule.Seq | |
| View<A,B> |
| Enum | Description |
|---|---|
| FunctionType.Instance | |
| TypeRewriteRule.Nop |