blob: faa9964a3833384135c2dc08edea377bb963edbe (
plain) (
blame)
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 = 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
|