vegowotenks/pretty-parse
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: refactoring around unnamed fields

Browse source
This commit is contained in:
vegowotenks 2025-08-23 19:12:08 +02:00
parent 7d2259f197
commit cb99daeb49
1 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/Pretty/Serialize.hs
View file

@ -15,7 +15,7 @@
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE BangPatterns #-}
module Pretty.Serialize (Serializer, PrettySerialize(..), ShowPrettySerialize(..), run, emit, KeyValueSerialize(..), customField) where
module Pretty.Serialize (Serializer, PrettySerialize(..), ShowPrettySerialize(..), run, emit, KeyValueSerialize(..), recordField) where
import Data.Text.Lazy (LazyText)
import GHC.Generics (U1, K1 (K1), Generically (Generically), Generic (Rep), from, M1 (M1), Meta(MetaSel, MetaCons, MetaData), (:+:) (L1, R1), (:*:) ((:*:)))
@ -98,7 +98,7 @@ lineBreak = do
emit "\n"
emit $ StrictText.replicate (fromIntegral spaces) " "
recordField :: (Word -> Serializer ()) -> Serializer b -> Serializer b
recordField :: Serializer () -> Serializer b -> Serializer b
recordField labelField dumpField = do
maybeFieldIndex <- currentFieldIndex <$!> getSerializerState
@ -111,7 +111,7 @@ recordField labelField dumpField = do
lineBreak
-- what is the field called?
labelField n
labelField
emit ": "
result <- dumpField
@ -122,13 +122,10 @@ recordField labelField dumpField = do
pure result
unnamedField :: Serializer a -> Serializer a
unnamedField = recordField serializer
unnamedField = recordField $ pure ()
namedField :: StrictText -> Serializer a -> Serializer a
namedField name = recordField (const $ emit name)
customField :: Serializer () -> Serializer a -> Serializer a
customField = recordField . const
namedField name = recordField $ emit name
beginFields :: Maybe (Serializer ()) -> Serializer b -> Serializer b
beginFields name body = do
@ -265,7 +262,7 @@ instance (ExtractMappings a, Typeable a, PrettySerialize (KeyType a), PrettySeri
inDatatypeOf mapping $ do -- set type name
beginFields Nothing $ do -- don't set constructor name
forM_ (keyValuePairs mapping) $ \ (key, value) -> do -- emit fields
customField (serializer key) (serializer value)
recordField (serializer key) (serializer value)
deriving via KeyValueSerialize (Data.IArray.Array index element) instance (Data.IArray.Ix index, Typeable index, Typeable element, PrettySerialize index, PrettySerialize element) => PrettySerialize (Data.IArray.Array index element)
deriving via KeyValueSerialize (List a) instance (Typeable a, PrettySerialize a) => PrettySerialize (List a)