<#> | Agda.TypeChecking.Primitive |
<$> | Agda.Utils.Monad |
<*> | Agda.Utils.Monad |
<++ | Agda.Utils.ReadP |
<+> | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
<.> | Agda.Utils.Monad |
<> | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
<@> | Agda.TypeChecking.Primitive |