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.erl
Raw

src/Idris.Idris2.Control.ANSI.erl 

-module('Idris.Idris2.Control.ANSI').

-compile('no_auto_import').

-compile('inline').

-compile({'inline_size',24}).

-export([

  'dn--un--show_Show__DecoratedString'/1,

  'dn--un--showPrec_Show__DecoratedString'/2,

  'dn--un--__Impl_Show_DecoratedString'/0,

  'un--underline'/1,

  'un--italicize'/1,

  'un--colored'/2,

  'un--bolden'/1,

  'un--background'/2

]).

'dn--un--show_Show__DecoratedString'(V0) -> ('Idris.Idris2.Prelude.Types.Strings':'un--++'(('Idris.Idris2.Control.ANSI.SGR':'un--escapeSGR'(case V0 of {'Idris.Control.ANSI.MkDString', E0, E1} -> (fun (V1, V2) -> V1 end(E0, E1)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end)), ('Idris.Idris2.Prelude.Types.Strings':'un--++'(case V0 of {'Idris.Control.ANSI.MkDString', E2, E3} -> (fun (V3, V4) -> V4 end(E2, E3)); _ -> ('erlang':'throw'("Error: Unreachable branch")) end, ('Idris.Idris2.Control.ANSI.SGR':'un--escapeSGR'([{'Idris.Control.ANSI.SGR.Reset'} | []])))))).

'dn--un--showPrec_Show__DecoratedString'(V0, V1) -> ('dn--un--show_Show__DecoratedString'(V1)).

'dn--un--__Impl_Show_DecoratedString'() -> {'Idris.Prelude.Show.dn--un--__mkShow', fun (V0) -> ('dn--un--show_Show__DecoratedString'(V0)) end, fun (V1) -> fun (V2) -> ('dn--un--showPrec_Show__DecoratedString'(V1, V2)) end end}.

'un--underline'(V0) -> {'Idris.Control.ANSI.MkDString', [{'Idris.Control.ANSI.SGR.SetStyle', {'Idris.Control.ANSI.SGR.SingleUnderline'}} | []], V0}.

'un--italicize'(V0) -> {'Idris.Control.ANSI.MkDString', [{'Idris.Control.ANSI.SGR.SetStyle', {'Idris.Control.ANSI.SGR.Italic'}} | []], V0}.

'un--colored'(V0, V1) -> {'Idris.Control.ANSI.MkDString', [{'Idris.Control.ANSI.SGR.SetForeground', V0} | []], V1}.

'un--bolden'(V0) -> {'Idris.Control.ANSI.MkDString', [{'Idris.Control.ANSI.SGR.SetStyle', {'Idris.Control.ANSI.SGR.Bold'}} | []], V0}.

'un--background'(V0, V1) -> {'Idris.Control.ANSI.MkDString', [{'Idris.Control.ANSI.SGR.SetBackground', V0} | []], V1}.