src/Xanthous/Entities/Character.hs


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

module Xanthous.Entities.Character
  ( Character(..)
  , mkCharacter
  ) where

import Xanthous.Prelude
import Test.QuickCheck

import Xanthous.Entities

data Character where
  Character :: Character
  deriving stock (Show, Eq, Ord, Generic)
  deriving anyclass (CoArbitrary, Function)
  deriving Draw via (DrawCharacter "@" Character)

instance Arbitrary Character where
  arbitrary = pure Character

mkCharacter :: Character
mkCharacter = Character