From 71b628c604556bc2d829f12980db99c9a526ec84 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Sat, 30 Nov 2019 19:55:43 -0500 Subject: Add messages on the ground Add support for a "GroundMessage" entity type, support for a Read command to read them, and randomly place an initial, tone-setting tutorial message on the ground near the character at the beginning of the game. --- src/Data/Aeson/Generic/DerivingVia.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/Data/Aeson/Generic/DerivingVia.hs') diff --git a/src/Data/Aeson/Generic/DerivingVia.hs b/src/Data/Aeson/Generic/DerivingVia.hs index f387f1deccb1..34f2a9403892 100644 --- a/src/Data/Aeson/Generic/DerivingVia.hs +++ b/src/Data/Aeson/Generic/DerivingVia.hs @@ -73,10 +73,17 @@ data Setting = FieldLabelModifier [StrFun] type FieldLabelModifier = 'FieldLabelModifier type ConstructorTagModifier = 'ConstructorTagModifier +-- | If 'True' the constructors of a datatype, with all nullary constructors, +-- will be encoded to just a string with the constructor tag. If 'False' the +-- encoding will always follow the 'SumEncoding'. type AllNullaryToStringTag = 'AllNullaryToStringTag type OmitNothingFields = 'OmitNothingFields type SumEnc = 'SumEnc +-- | Hide the field name when a record constructor has only one field, like a +-- newtype. type UnwrapUnaryRecords = 'UnwrapUnaryRecords +-- | Encode types with a single constructor as sums, so that +-- 'AllNullaryToStringTag' and 'SumEncoding' apply. type TagSingleConstructors = 'TagSingleConstructors class Demotable (a :: k) where -- cgit 1.4.1