This module implements nice syntactic sugar based on Nim's macro system.
Macros
macro `=>`(p, b: untyped): untyped
-
Syntax sugar for anonymous procedures.
proc passTwoAndTwo(f: (int, int) -> int): int = f(2, 2) passTwoAndTwo((x, y) => x + y) # 4
Source Edit macro `->`(p, b: untyped): untyped
-
Syntax sugar for procedure types.
proc pass2(f: (float, float) -> float): float = f(2, 2) # is the same as: proc pass2(f: proc (x, y: float): float): float = f(2, 2)
Source Edit macro `[]`(lc: ListComprehension; comp, typ: untyped): untyped {...}{.deprecated.}
-
List comprehension, returns a sequence. comp is the actual list comprehension, for example x | (x <- 1..10, x mod 2 == 0). typ is the type that will be stored inside the result seq.
echo lc[x | (x <- 1..10, x mod 2 == 0), int] const n = 20 echo lc[(x,y,z) | (x <- 1..n, y <- x..n, z <- y..n, x*x + y*y == z*z), tuple[a,b,c: int]]
Deprecated since version 0.19.9
Source Edit macro dump(x: typed): untyped
-
Dumps the content of an expression, useful for debugging. It accepts any expression and prints a textual representation of the tree representing the expression - as it would appear in source code - together with the value of the expression.
As an example,
let x = 10 y = 20 dump(x + y)
will print x + y = 30.
Source Edit macro distinctBase(T: typedesc): untyped
-
reverses type T = distinct A; works recursively.
Examples:
type T = distinct int doAssert distinctBase(T) is int doAssert: not compiles(distinctBase(int)) type T2 = distinct T doAssert distinctBase(T2) is int
Source Edit