< | Noether.Lemmata.Prelude, Lemmata |
<# | Noether.Lemmata.TypeFu |
<## | Noether.Lemmata.TypeFu |
<$ | Noether.Lemmata.Prelude, Lemmata.Functor, Lemmata |
<$!> | Lemmata.Monad, Lemmata |
<$> | Noether.Lemmata.Prelude, Lemmata.Functor, Lemmata |
<&&> | Lemmata.Bool, Lemmata |
<* | Noether.Lemmata.Prelude, Lemmata |
<**> | Lemmata |
<*> | Noether.Lemmata.Prelude, Lemmata |
<+> | Noether.Lemmata.TypeFu.Map, Noether.Algebra.Inference |
<.> | Lemmata.Semiring, Lemmata |
<<$>> | Lemmata.Functor, Lemmata |
<<*>> | Lemmata.Applicative, Lemmata |
<= | |
1 (Type/Class) | Noether.Lemmata.TypeFu |
2 (Function) | Noether.Lemmata.Prelude, Lemmata |
<=# | Noether.Lemmata.TypeFu |
<=## | Noether.Lemmata.TypeFu |
<=< | Lemmata.Monad, Lemmata |
<=? | Noether.Lemmata.TypeFu |
<> | Noether.Lemmata.Prelude, Lemmata |
<|> | Lemmata |
<||> | Lemmata.Bool, Lemmata |