<#> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
<$ | Agda.Utils.Monad |
<$!> | Agda.Utils.Monad |
<$> | Agda.Utils.Functor, Agda.Utils.Monad |
<&> | Agda.Utils.Functor, Agda.Utils.Lens |
<*!> | Agda.Utils.Monad |
<*> | Agda.Utils.Monad |
<+> | |
1 (Function) | Agda.Syntax.Common.Pretty |
2 (Function) | Agda.Compiler.JS.Pretty |
3 (Function) | Agda.TypeChecking.Pretty |
<..> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
<.> | Agda.Utils.Functor |
<=< | Agda.Interaction.JSON |
<> | Agda.Utils.Semigroup, Agda.Syntax.Common.Pretty, Agda.TypeChecking.Pretty |
<?> | |
1 (Function) | Agda.Syntax.Common.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
3 (Function) | Agda.Interaction.JSON |
<@> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
<@@> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
<| | Agda.Utils.List1 |