-module('Idris.Idris2.Control.ANSI.CSI').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'dn--un--cast_Cast__EraseDirection_String'/1,
  'un--scrollUp1'/0,
  'un--scrollUp'/1,
  'un--scrollDown1'/0,
  'un--scrollDown'/1,
  'un--eraseScreen'/1,
  'un--eraseLine'/1,
  'un--cursorUp1'/0,
  'un--cursorUp'/1,
  'un--cursorPrevLine1'/0,
  'un--cursorPrevLine'/1,
  'un--cursorNextLine1'/0,
  'un--cursorNextLine'/1,
  'un--cursorMove'/2,
  'un--cursorForward1'/0,
  'un--cursorForward'/1,
  'un--cursorDown1'/0,
  'un--cursorDown'/1,
  'un--cursorBack1'/0,
  'un--cursorBack'/1
]).
'dn--un--cast_Cast__EraseDirection_String'(V0) -> case V0 of {'Idris.Control.ANSI.CSI.Start'} -> (fun () -> <<"1"/utf8>> end()); {'Idris.Control.ANSI.CSI.End'} -> (fun () -> <<"0"/utf8>> end()); {'Idris.Control.ANSI.CSI.All'} -> (fun () -> <<"2"/utf8>> end()); _ -> ('erlang':'throw'("Error: Unreachable branch")) end.
'un--scrollUp1'() -> ('un--scrollUp'((1 + 0))).
'un--scrollUp'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"S"/utf8>>)))).
'un--scrollDown1'() -> ('un--scrollDown'((1 + 0))).
'un--scrollDown'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"T"/utf8>>)))).
'un--eraseScreen'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--cast_Cast__EraseDirection_String'(V0)), <<"J"/utf8>>)))).
'un--eraseLine'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('dn--un--cast_Cast__EraseDirection_String'(V0)), <<"K"/utf8>>)))).
'un--cursorUp1'() -> ('un--cursorUp'((1 + 0))).
'un--cursorUp'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"A"/utf8>>)))).
'un--cursorPrevLine1'() -> ('un--cursorPrevLine'((1 + 0))).
'un--cursorPrevLine'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"F"/utf8>>)))).
'un--cursorNextLine1'() -> ('un--cursorNextLine'((1 + 0))).
'un--cursorNextLine'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"E"/utf8>>)))).
'un--cursorMove'(V0, V1) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<";"/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V1)), <<"H"/utf8>>)))))))).
'un--cursorForward1'() -> ('un--cursorForward'((1 + 0))).
'un--cursorForward'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"C"/utf8>>)))).
'un--cursorDown1'() -> ('un--cursorDown'((1 + 0))).
'un--cursorDown'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"B"/utf8>>)))).
'un--cursorBack1'() -> ('un--cursorBack'((1 + 0))).
'un--cursorBack'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(<<"\x{1b}["/utf8>>, ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Prelude.Show':'dn--un--show_Show__Nat'(V0)), <<"D"/utf8>>)))).