class Rouge::Lexers::Idris
Public Class Methods
ascii()
click to toggle source
# File lib/rouge/lexers/idris.rb, line 22 def self.ascii @ascii ||= %w( NUL SOH [SE]TX EOT ENQ ACK BEL BS HT LF VT FF CR S[OI] DLE DC[1-4] NAK SYN ETB CAN EM SUB ESC [FGRU]S SP DEL ) end
prelude_functions()
click to toggle source
# File lib/rouge/lexers/idris.rb, line 29 def self.prelude_functions @prelude_functions ||= %w( abs acos all and any asin atan atan2 break ceiling compare concat concatMap const cos cosh curry cycle div drop dropWhile elem encodeFloat enumFrom enumFromThen enumFromThenTo enumFromTo exp fail filter flip floor foldl foldl1 foldr foldr1 fromInteger fst gcd getChar getLine head id init iterate last lcm length lines log lookup map max maxBound maximum maybe min minBound minimum mod negate not null or pi pred print product putChar putStr putStrLn readFile recip repeat replicate return reverse scanl scanl1 sequence sequence_ show sin sinh snd span splitAt sqrt succ sum tail take takeWhile tan tanh uncurry unlines unwords unzip unzip3 words writeFile zip zip3 zipWith zipWith3 ) end
reserved_keywords()
click to toggle source
# File lib/rouge/lexers/idris.rb, line 14 def self.reserved_keywords @reserved_keywords ||= %w( _ data class instance namespace infix[lr]? let where of with type do if then else case in ) end