class Rouge::Lexers::Idris

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

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

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