Stellar.CLI

Reexports

Definitions

CLI : API

Totality: total
Visibility: public export

cli : HasIO io => (List String -> io String) -> io ()

Totality: total
Visibility: export

cli' : HasIO io => Costate (Lift io CLI) -> io ()

Totality: total
Visibility: export

parseString : Parser String

Visibility: export

checkNonEmpty : String -> Type

Totality: total
Visibility: public export

record Flag : Type

Totality: total
Visibility: public export
Constructor: 

MkFlag : {default Nothing _ : Maybe String} -> (fullFlag : String) -> checkNonEmpty fullFlag => Flag

Projections:

.check : ({rec:0} : Flag) -> checkNonEmpty (fullFlag {rec:0})

.fullFlag : Flag -> String

.prefix_ : Flag -> Maybe String

.prefix_ : Flag -> Maybe String

Totality: total
Visibility: public export

prefix_ : Flag -> Maybe String

Totality: total
Visibility: public export

.fullFlag : Flag -> String

Totality: total
Visibility: public export

fullFlag : Flag -> String

Totality: total
Visibility: public export

.check : ({rec:0} : Flag) -> checkNonEmpty (fullFlag {rec:0})

Totality: total
Visibility: public export

check : ({rec:0} : Flag) -> checkNonEmpty (fullFlag {rec:0})

Totality: total
Visibility: public export

fromString : (str : String) -> checkNonEmpty str => Flag

Totality: total
Visibility: export

record GenericCommand : Type

Totality: total
Visibility: public export
Constructor: 

MkGenericCommand : (input : Type) -> Parser input -> (output : Type) -> Show output -> String -> String -> GenericCommand

Projections:

.debug : GenericCommand -> String

.doc : GenericCommand -> String

.input : GenericCommand -> Type

.output : GenericCommand -> Type

.parseInput : ({rec:0} : GenericCommand) -> Parser (input {rec:0})

.printOutput : ({rec:0} : GenericCommand) -> Show (output {rec:0})

Hint: 

ToCommand GenericCommand

.input : GenericCommand -> Type

Totality: total
Visibility: public export

input : GenericCommand -> Type

Totality: total
Visibility: public export

.parseInput : ({rec:0} : GenericCommand) -> Parser (input {rec:0})

Totality: total
Visibility: public export

parseInput : ({rec:0} : GenericCommand) -> Parser (input {rec:0})

Totality: total
Visibility: public export

.output : GenericCommand -> Type

Totality: total
Visibility: public export

output : GenericCommand -> Type

Totality: total
Visibility: public export

.printOutput : ({rec:0} : GenericCommand) -> Show (output {rec:0})

Totality: total
Visibility: public export

printOutput : ({rec:0} : GenericCommand) -> Show (output {rec:0})

Totality: total
Visibility: public export

.debug : GenericCommand -> String

Totality: total
Visibility: public export

debug : GenericCommand -> String

Totality: total
Visibility: public export

.doc : GenericCommand -> String

Totality: total
Visibility: public export

doc : GenericCommand -> String

Totality: total
Visibility: public export

record FlagCommand : Type

Totality: total
Visibility: public export
Constructor: 

MkFlagCommand : (input : Type) -> Parser input => (output : Type) -> Show output => Flag -> String -> FlagCommand

Projections:

.doc : FlagCommand -> String

.flag : FlagCommand -> Flag

.input : FlagCommand -> Type

.output : FlagCommand -> Type

.parser : ({rec:0} : FlagCommand) -> Parser (input {rec:0})

.show : ({rec:0} : FlagCommand) -> Show (output {rec:0})

Hint: 

ToCommand FlagCommand

.input : FlagCommand -> Type

Totality: total
Visibility: public export

input : FlagCommand -> Type

Totality: total
Visibility: public export

.parser : ({rec:0} : FlagCommand) -> Parser (input {rec:0})

Totality: total
Visibility: public export

parser : ({rec:0} : FlagCommand) -> Parser (input {rec:0})

Totality: total
Visibility: public export

.output : FlagCommand -> Type

Totality: total
Visibility: public export

output : FlagCommand -> Type

Totality: total
Visibility: public export

.show : ({rec:0} : FlagCommand) -> Show (output {rec:0})

Totality: total
Visibility: public export

show : ({rec:0} : FlagCommand) -> Show (output {rec:0})

Totality: total
Visibility: public export

.flag : FlagCommand -> Flag

Totality: total
Visibility: public export

flag : FlagCommand -> Flag

Totality: total
Visibility: public export

.doc : FlagCommand -> String

Totality: total
Visibility: public export

doc : FlagCommand -> String

Totality: total
Visibility: public export

interface ToCommand : Type -> Type

Parameters: t
Methods:

toCmd : t -> GenericCommand

Implementations:

ToCommand GenericCommand

ToCommand FlagCommand

toCmd : ToCommand t => t -> GenericCommand

Totality: total
Visibility: public export

flagToGeneric : FlagCommand -> GenericCommand

Totality: total
Visibility: public export

.toAPI : GenericCommand -> API

Totality: total
Visibility: public export

Commands : Type

Totality: total
Visibility: public export

mapList1 : (a -> b) -> List1 a -> List1 b

Totality: total
Visibility: public export

fromGeneric : All (\x => x) xs -> All ToCommand xs => List1 GenericCommand

Totality: total
Visibility: public export

GetAPI : Commands -> API

Totality: total
Visibility: public export

GetAPI' : All (\x => x) xs -> All ToCommand xs => API

Totality: total
Visibility: public export

InOut : List1 API -> API

Totality: total
Visibility: public export

toChoice : (cmds : Commands) -> GetAPI cmds =&> InOut (mapList1 .toAPI cmds)

Totality: total
Visibility: export

.parseCommand : (cmd : GenericCommand) -> List String -> Maybe (cmd .input)

Totality: total
Visibility: export

parse1Any : (cmd : GenericCommand) -> CLI =&> Maybe (cmd .toAPI)

Totality: total
Visibility: export

parse1All : (cmd : GenericCommand) -> CLI =&> Maybe (cmd .toAPI)

Totality: total
Visibility: export

genCLI : (cmds : Commands) -> CLI =&> Maybe (GetAPI cmds)

Totality: total
Visibility: export

genCLI' : (cmds : Commands) -> CLI =&> Maybe (InOut (mapList1 .toAPI cmds))

Totality: total
Visibility: export