src/Xanthous/Resource.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

--------------------------------------------------------------------------------
module Xanthous.Resource
  ( Name(..)
  ) where
--------------------------------------------------------------------------------
import Xanthous.Prelude
--------------------------------------------------------------------------------
import Test.QuickCheck
import Test.QuickCheck.Arbitrary.Generic
--------------------------------------------------------------------------------

data Name = MapViewport
            -- ^ The main viewport where we display the game content
          | Character
            -- ^ The character
          | MessageBox
            -- ^ The box where we display messages to the user
          | Prompt
            -- ^ The game's prompt
  deriving stock (Show, Eq, Ord, Generic)
  deriving anyclass (NFData, CoArbitrary, Function)

instance Arbitrary Name where
  arbitrary = genericArbitrary