~/jendhub

def refine_op

bolt@1.27.0.0 · src/syntax/lex.bend:265

import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import Base

265# a whole operator's kind
266def refine_op(+tt: String) -> TokKind:
267  Bool.pick(TokKind, String.eq(tt, ":"), TColon{},
268    Bool.pick(TokKind, String.eq(tt, "="), TEq{},
269      Bool.pick(TokKind, String.eq(tt, "<-"), TBind{},
270        Bool.pick(TokKind, String.eq(tt, "->"), TArrow{},
271          Bool.pick(TokKind, String.eq(tt, "=>"), TLam{},
272            Bool.pick(TokKind, Bool.or(String.eq(tt, "@"), Bool.or(String.eq(tt, "@+"), String.eq(tt, "@-"))), TAll{},
273              Bool.pick(TokKind, String.eq(tt, "&"), TAmp{}, TOp{})))))))

Uses (5)

Used by (1)