Zero | |
1 (Data Constructor) | Agda.Utils.IndexedList |
2 (Data Constructor) | Agda.Utils.Size |
3 (Type/Class) | Agda.Interaction.JSON |
zero | Agda.Termination.Semiring |
zeroCohesion | Agda.Syntax.Common |
zeroElement | Agda.Termination.Semiring |
zeroFlexRig | Agda.TypeChecking.Free.Lazy |
ZeroHoles | Agda.Utils.AffineHole |
zeroModality | Agda.Syntax.Common |
zeroName | Agda.TypeChecking.Level |
zeroQuantity | Agda.Syntax.Common |
zeroRelevance | Agda.Syntax.Common |
zeroWidthText | Agda.Syntax.Common.Pretty |
ZigZagMode | Agda.Syntax.Common.Pretty |
zip | Agda.Utils.List1 |
zipAssocWith | Agda.Termination.SparseMatrix |
zipMatrices | Agda.Termination.SparseMatrix |
zipNameSpace | Agda.Syntax.Scope.Base |
Zipper | Agda.Utils.Zipper |
zipScope | Agda.Syntax.Scope.Base |
zipScope_ | Agda.Syntax.Scope.Base |
zipWith | Agda.Utils.List1 |
zipWith' | Agda.Utils.List |
zipWithKeepRest | Agda.Utils.List |
zipWithM | Agda.Utils.List1 |
zipWithM_ | Agda.Utils.List1 |