Rlang-QQ-0.1.0.0: quasiquoter for inline-R code
RlangQQ.NatQQ
Synopsis
n :: QuasiQuoterSource
HList uses it's own nat, distinct from Nat, for various reasons.
Nat
Specifying those HNat can be done like:
HNat
[n| 5 |]
which is shorter than the equivalent
hSucc $ hSucc $ hSucc $ hSucc $ hSucc hZero