Collie.Options.Usual

Definitions

none : Arguments

Totality: total
Visibility: public export

lotsOf : Arguments -> Arguments

Totality: total
Visibility: public export

Regex : Type

Totality: total
Visibility: public export

regex : Arguments

Totality: total
Visibility: public export

FilePath : Type

Totality: total
Visibility: public export

filePath : Arguments

Totality: total
Visibility: public export

Regexp : Type

Totality: total
Visibility: public export

regexp : Arguments

Totality: total
Visibility: public export

Url : Type

Totality: total
Visibility: public export

url : Arguments

Totality: total
Visibility: public export

nat : Arguments

Totality: total
Visibility: public export

integer : Arguments

Totality: total
Visibility: public export