<#> | Agda.TypeChecking.Primitive |
<$ | Agda.Utils.Monad |
<$> | Agda.Utils.Functor, Agda.Utils.Monad |
<&> | Agda.Utils.Functor, Agda.Utils.Lens |
<*> | Agda.Utils.Monad |
<++ | Agda.Utils.Parser.ReadP |
<+> | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
<.> | Agda.Utils.Functor |
<: | Agda.Compiler.Epic.Injection |
<> | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
<@> | Agda.TypeChecking.Primitive |