Packages

idris2

0.2.1-alpha.1
0.2.1-alpha.1

Erlang code generator for Idris 2

Current section

Files

Jump to
Readme
1 Version
0 Dependencies
Dependants
Files
Activity
idris2 src Idris.Idris2.Control.ANSI.CSI.erl
Raw

src/Idris.Idris2.Control.ANSI.CSI.erl 

-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>>)))).