def simple.escape

yaml-for-bend@0.1.1.0 · scan.bend:802

import Base

802def simple.escape(e: Char) -> Maybe<&2, Char>:
803  match e:
804    case '0':
805      Some{Chr{0}}
806    case 'a':
807      Some{Chr{7}}
808    case 'b':
809      Some{Chr{8}}
810    case 't':
811      Some{Chr{9}}
812    case '\t':
813      Some{Chr{9}}
814    case 'n':
815      Some{Chr{10}}
816    case 'v':
817      Some{Chr{11}}
818    case 'f':
819      Some{Chr{12}}
820    case 'r':
821      Some{Chr{13}}
822    case 'e':
823      Some{Chr{27}}
824    case ' ':
825      Some{' '}
826    case '"':
827      Some{'"'}
828    case '/':
829      Some{'/'}
830    case '\\':
831      Some{'\\'}
832    case 'N':
833      Some{Chr{133}}
834    case '_':
835      Some{Chr{160}}
836    case 'L':
837      Some{Chr{8232}}
838    case 'P':
839      Some{Chr{8233}}
840    case _:
841      None{}