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