JsonToHaskell.Internal.Parser

Documentation

data RecordType

Constructors

Ref

Structure

type RecordFields r = HashMap Text (Struct r)

The representation of a record's field types

data Struct (r :: RecordType) where

The recursive representation of the "type" of a JSON value

Constructors

SArray :: Struct r -> Struct r

SRecord :: RecordFields 'Structure -> Struct 'Structure

SRecordRef :: Text -> Struct 'Ref

SMap :: Struct r -> Struct r

SBool :: Struct r

SNumber :: NumberType -> Struct r

SNull :: Struct r

SString :: Struct r

SValue :: Struct r

Instances

Eq (Struct r)

Defined in JsonToHaskell.Internal.Parser

Methods

(==) :: Struct r -> Struct r -> Bool

(/=) :: Struct r -> Struct r -> Bool

Ord (Struct r)

Defined in JsonToHaskell.Internal.Parser

Methods

compare :: Struct r -> Struct r -> Ordering

(<) :: Struct r -> Struct r -> Bool

(<=) :: Struct r -> Struct r -> Bool

(>) :: Struct r -> Struct r -> Bool

(>=) :: Struct r -> Struct r -> Bool

max :: Struct r -> Struct r -> Struct r

min :: Struct r -> Struct r -> Struct r

Show (Struct r)

Defined in JsonToHaskell.Internal.Parser

Methods

showsPrec :: Int -> Struct r -> ShowS

show :: Struct r -> String

showList :: [Struct r] -> ShowS

type AnalyzeM a = ReaderT Text (State (Map (RecordFields 'Structure) (NESet Text))) a

analyze :: Value -> Map (RecordFields 'Structure) (NESet Text)

Convert a Value into a Typed representation of its structure, tracking reasonable names for each subrecord along the way

canonicalizeRecordNames :: Map (RecordFields 'Structure) (NESet Text) -> Bimap Text (RecordFields 'Structure)

Given a mapping of structures to name candidates, pick names for each record, avoiding duplicates

chooseBestName :: NESet Text -> Set Text -> Text

Choose a "fresh" name given a list of candidates and a map of names which have already been chosen.

makeUnique :: Text -> Set Text -> Text

Given a name candidate, make it unique amongs the set of taken names by appending the lowest number which isn't yet taken. E.g. if "name" is taken, try "name2", "name3" ad infinitum

addReferences :: Bimap Text (RecordFields 'Structure) -> Struct 'Structure -> Struct 'Ref

Switch literal struct definitions with their "names"

toRecordName :: Text -> Text

Clean a name into a valid Haskell record name