≡

• Effekt Library
• args
• commandLineArgs
• Args
• nativeArgs
• argCount
• argument
• commandLineArgs
• Args
• nativeArgs
• isEmpty
• head
• tail
• toList
• commandLineArgs
• argCount
• argument
• commandLineArgs

• args
Jump to source: libraries/common/args.effekt
Example usage: examples/stdlib/args
• commandLineArgs : List[String] / {}
• Args
• nativeArgs : Args / {}
• argCount (args: Args): Int / {}
• argument (args: Args, i: Int): String / {}
• commandLineArgs : List[String] / {}
• Args
• nativeArgs : Args / {}
• isEmpty (l: Args): Bool / {}
• head (l: Args): String / {}
• tail (l: Args): Args / {}
• toList (l: Args): List[String] / {}
• commandLineArgs : List[String] / {}
• argCount : Int / {}
• argument (i: Int): String / {}
• commandLineArgs : List[String] / {}