~/jendhub

def check.quant

bolt@1.27.0.0 · src/rules/style/param.bend:26

import bolt@1.27.0.0/src/rules/style/param.bend as Param
import Base
import bolt@1.27.0.0/src/rules/tokens.bend as T

26# no type, or `: Quant`: a quantity parameter (`a` in `List<a, A>`). The
27# note is read with its string literals cut to their quote: a `:` inside a
28# string is no type
29def check.quant(+note: String) -> Bool:
30  +cn = T.code(note)
31  Bool.or(Bool.not(String.contains(cn, ":")), String.ends_with(cn, ": Quant"))

Uses (7)

Used by (1)