def effect.io

bolt@1.27.0.0 · src/rules/pedantic/fuel.bend:54

import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

54# is the chain's first node the capitalized name `IO`?
55def effect.io(nn: Tree.Node) -> Bool:
56  match nn:
57    case Tree.NCons{Tree.Leaf{Lex.Tok{Lex.TUpper{}, +t, l, c}}, rest}:
58      String.eq(t, "IO")
59    case other:
60      False{}

Uses (5)

Used by (1)