Qutescript.Command

Definitions

data Key : Type

Totality: total
Visibility: public export
Constructors:

Chr : Char -> Key

Tab : Key

Esc : Key

Return : Key

Hints:

FromChar Key

Interpolation Key

data Target : Type

Totality: total
Visibility: public export
Constructors:

Normal : Target

Tab : Target

BackgroundTab : Target

Window : Target

Hint: 

Interpolation Target

tgt : Target -> String

Totality: total
Visibility: export

data Privacy : Type

Totality: total
Visibility: public export
Constructors:

Private : Privacy

NotPrivate : Privacy

Hint: 

Interpolation Privacy

data Security : Type

Totality: total
Visibility: public export
Constructors:

Secure : Security

NotSecure : Security

Hint: 

Interpolation Security

data Rel : Type

Totality: total
Visibility: public export
Constructors:

Related : Rel

NotRelated : Rel

Hint: 

Interpolation Rel

data Globality : Type

Totality: total
Visibility: public export
Constructors:

Global : Globality

NotGlobal : Globality

Hint: 

Interpolation Globality

data Command : Type

Totality: total
Visibility: public export
Constructors:

Back : Target -> Command

ClickElement : Target -> String -> String -> Command

Close : Command

FakeKeys : Globality -> List Key -> Command

Forward : Target -> Command

Help : Target -> String -> Command

InsertText : String -> Command

Open : Target -> Rel -> Privacy -> Security -> String -> Command

Hint: 

Interpolation Command

open' : String -> Command

Totality: total
Visibility: public export

openIn : Target -> String -> Command

Totality: total
Visibility: public export

fakeKeys : List Key -> Command

Totality: total
Visibility: public export

fakeKey : Key -> Command

Totality: total
Visibility: public export