Home Explore Help
Register Sign In
fr33domlover
/
funbot
Watch 5
Star 9
Fork 5
Files Issues 41 Pull Requests 0 Wiki
Branch: master
Branches Tags
funbot
/
config
/
models

models 2.0 KB
Permalink History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081 
  1. -- This file is part of funbot.
    2. 

  2. --
    3. 

  3. -- Written in 2017 by fr33domlover <fr33domlover@riseup.net>.
    4. 

  4. --
    5. 

  5. -- ♡ Copying is an act of love. Please copy, reuse and share.
    6. 

  6. --
    7. 

  7. -- The author(s) have dedicated all copyright and related and neighboring
    8. 

  8. -- rights to this software to the public domain worldwide. This software is
    9. 

  9. -- distributed without any warranty.
    10. 

  10. --
    11. 

  11. -- You should have received a copy of the CC0 Public Domain Dedication along
    12. 

  12. -- with this software. If not, see
    13. 

  13. -- <http://creativecommons.org/publicdomain/zero/1.0/>.
    14. 

  14. 

  15. -------------------------------------------------------------------------------
    16. 

  16. -- Meta
    17. 

  17. -------------------------------------------------------------------------------
    18. 

  18. 

  19. SchemaVersion
    20. 

  20.     number Int
    21. 

  21. 

  22. -------------------------------------------------------------------------------
    23. 

  23. -- The rest
    24. 

  24. -------------------------------------------------------------------------------
    25. 

  25. 

  26. -- | A message left to an offline user, for them to read later.
    27. 

  27. Memo
    28. 

  28.     time    UTCTime
    29. 

  29.     sender  Nickname
    30. 

  30.     recip   Nickname
    31. 

  31.     recvIn  Channel    Maybe
    32. 

  32.     sendIn  Channel    Maybe
    33. 

  33.     content MsgContent
    34. 

  34.     ask     Bool
    35. 

  35. 

  36. -- | A nickname the bot has seen in a channel.
    37. 

  37. Kith
    38. 

  38.     channel  Channel
    39. 

  39.     nickname Nickname
    40. 

  40.     spoke    Bool
    41. 

  41. 

  42.     UniqueKith channel nickname
    43. 

  43. 

  44. -- | A mapping between a label and a location, usually a URL.
    45. 

  45. GlobalLocation
    46. 

  46.     label   LocationLabel
    47. 

  47.     content LocationText
    48. 

  48. 

  49.     UniqueGlobalLocation label
    50. 

  50. 

  51. -- | A mapping between a label and a location in a specific channel.
    52. 

  52. LocalLocation
    53. 

  53.     channel Channel
    54. 

  54.     label   LocationLabel
    55. 

  55.     content LocationText
    56. 

  56. 

  57.     UniqueLocalLocation channel label
    58. 

  58. 

  59. -- | A person in a channel who can welcome and help new people.
    60. 

  60. Folk
    61. 

  61.     channel  Channel
    62. 

  62.     nickname Nickname
    63. 

  63. 

  64.     UniqueFolk channel nickname
    65. 

  65. 

  66. -- | A special string which the bot can detect and translate into a longer
    67. 

  67. -- form, e.g. a full URL.
    68. 

  68. Shortcut
    69. 

  69.     label  ShortcutLabel
    70. 

  70.     prefix Text
    71. 

  71.     before Text
    72. 

  72.     after  Text
    73. 

  73. 

  74.     UniqueShortcut label
    75. 

  75. 

  76. ShortcutChannel
    77. 

  77.     shortcut ShortcutId
    78. 

  78.     channel  Channel
    79. 

  79. 

  80.     UniqueShortcutChannel shortcut channel
    81. 

  81.