Collie.Usage

Definitions

Printer : Type

Totality: total
Visibility: public export

namedBlock : String -> String -> Nat -> Nat -> Printer

Totality: total
Visibility: export

usageModifiers : Fields Modifier -> Nat -> Nat -> Printer

Totality: total
Visibility: export

usageCommand : Command cmdName -> Nat -> Nat -> Printer

Totality: total
Visibility: export

.usage : {default 80 _ : Nat} -> Command cmdName -> String

Totality: total
Visibility: export