Sasha.Internal.Word8Set
memberCode :: Code Q Word8 -> Word8Set -> Code Q Bool Source #
Optimized routing to check membership when Word8Set is statically known.
Word8Set
memberCode c ws = [||member $$c $$(liftTyped ws) ||]
memberCode
member