def tile_of

minebender-game@1.0.0.0 · LAWS.bend:598

import minebender-game@1.0.0.0/LAWS.bend as LAWS
import Base
import minebender-game@1.0.0.0/types.bend as T

598# How a cell looks given what the player sees there and their flag.
599def tile_of(s: T.Seen, flag: Bool) -> T.Tile:
600  match s:
601    case T.Hidden{}:
602      Bool.pick(T.Tile, flag, T.Flagged{}, T.Covered{})
603    case T.Shown{n}:
604      T.Number{n}
605    case T.Boom{}:
606      T.Blast{}

Uses (4)

Used by (5)