Index
| Integer | NatOptics.NonNegative, NatOptics.Positive |
| intPrism | |
| 1 (Function) | NatOptics.NonNegative |
| 2 (Function) | NatOptics.Positive |
| Iso' | NatOptics.NonNegative |
| natIso | NatOptics.NonNegative |
| natPrism | |
| 1 (Function) | NatOptics.NonNegative |
| 2 (Function) | NatOptics.Positive |
| Natural | NatOptics.NonNegative, NatOptics.Positive |
| NonNegative | NatOptics.NonNegative |
| Positive | NatOptics.Positive |
| preview | NatOptics.NonNegative, NatOptics.Positive |
| Prism' | NatOptics.NonNegative, NatOptics.Positive |
| refine | |
| 1 (Function) | NatOptics.NonNegative |
| 2 (Function) | NatOptics.Positive |
| review | NatOptics.NonNegative, NatOptics.Positive |
| stringPrism | |
| 1 (Function) | NatOptics.NonNegative |
| 2 (Function) | NatOptics.Positive |
| textPrism | |
| 1 (Function) | NatOptics.NonNegative |
| 2 (Function) | NatOptics.Positive |
| view | NatOptics.NonNegative, NatOptics.Positive |