Safe Haskell	None
Language	Haskell2010

RON.Schema

Documentation

data CaseTransform Source #

Constructors

TitleCase

Instances

Show CaseTransform Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> CaseTransform -> ShowS # show :: CaseTransform -> String # showList :: [CaseTransform] -> ShowS #
FromEDN CaseTransform Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser CaseTransform # parseEDNv :: Value -> Parser CaseTransform #

data Declaration stage Source #

Constructors

DEnum TEnum
DOpaque Opaque
DStructLww (StructLww stage)

Instances

Show (UseType stage) => Show (Declaration stage) Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> Declaration stage -> ShowS # show :: Declaration stage -> String # showList :: [Declaration stage] -> ShowS #
FromEDN (Declaration Parsed) Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser (Declaration Parsed) # parseEDNv :: Value -> Parser (Declaration Parsed) #

newtype Field stage Source #

Constructors

Field
Fields fieldType :: UseType stage

Instances

Show (UseType stage) => Show (Field stage) Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> Field stage -> ShowS # show :: Field stage -> String # showList :: [Field stage] -> ShowS #

data Opaque Source #

Constructors

Opaque
Fields opaqueIsObject :: Bool opaqueName :: Text opaqueAnnotations :: OpaqueAnnotations

Instances

Show Opaque Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> Opaque -> ShowS # show :: Opaque -> String # showList :: [Opaque] -> ShowS #
FromEDN Opaque Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser Opaque # parseEDNv :: Value -> Parser Opaque #

newtype OpaqueAnnotations Source #

Constructors

OpaqueAnnotations
Fields oaHaskellType :: Maybe Text

Instances

Show OpaqueAnnotations Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> OpaqueAnnotations -> ShowS # show :: OpaqueAnnotations -> String # showList :: [OpaqueAnnotations] -> ShowS #

data RonType Source #

Constructors

TAtom TAtom
TComposite TComposite
TObject TObject
TOpaque Opaque

Instances

Show RonType Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> RonType -> ShowS # show :: RonType -> String # showList :: [RonType] -> ShowS #

type family Schema (stage :: Stage) where ... Source #

Equations

Schema Parsed = [Declaration Parsed]
Schema Resolved = Map TypeName (Declaration Resolved)

data Stage Source #

Constructors

Parsed
Resolved

data StructAnnotations Source #

Constructors

StructAnnotations
Fields saHaskellFieldPrefix :: Text saHaskellFieldCaseTransform :: Maybe CaseTransform

Instances

Show StructAnnotations Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> StructAnnotations -> ShowS # show :: StructAnnotations -> String # showList :: [StructAnnotations] -> ShowS #
FromEDN StructAnnotations Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser StructAnnotations # parseEDNv :: Value -> Parser StructAnnotations #

data StructLww stage Source #

Constructors

StructLww
Fields structName :: Text structFields :: Map Text (Field stage) structAnnotations :: StructAnnotations

Instances

Show (UseType stage) => Show (StructLww stage) Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> StructLww stage -> ShowS # show :: StructLww stage -> String # showList :: [StructLww stage] -> ShowS #
FromEDN (StructLww Parsed) Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser (StructLww Parsed) # parseEDNv :: Value -> Parser (StructLww Parsed) #

data TAtom Source #

Constructors

TAInteger
TAString

Instances

Show TAtom Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> TAtom -> ShowS # show :: TAtom -> String # showList :: [TAtom] -> ShowS #

data TComposite Source #

Constructors

TOption RonType
TEnum TEnum

Instances

Show TComposite Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> TComposite -> ShowS # show :: TComposite -> String # showList :: [TComposite] -> ShowS #

data TEnum Source #

Constructors

Enum
Fields enumName :: Text enumItems :: [Text]

Instances

Show TEnum Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> TEnum -> ShowS # show :: TEnum -> String # showList :: [TEnum] -> ShowS #
FromEDN TEnum Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser TEnum # parseEDNv :: Value -> Parser TEnum #

data TObject Source #

Constructors

TORSet RonType
TRga RonType
TStructLww (StructLww Resolved)
TVersionVector

Instances

Show TObject Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> TObject -> ShowS # show :: TObject -> String # showList :: [TObject] -> ShowS #

data TypeExpr Source #

Constructors

Use TypeName
Apply TypeName [TypeExpr]

Instances

Show TypeExpr Source #
Instance details Defined in RON.Schema Methods showsPrec :: Int -> TypeExpr -> ShowS # show :: TypeExpr -> String # showList :: [TypeExpr] -> ShowS #
FromEDN TypeExpr Source #
Instance details Defined in RON.Schema.EDN Methods parseEDN :: TaggedValue -> Parser TypeExpr # parseEDNv :: Value -> Parser TypeExpr #

type TypeName = Text Source #

type family UseType (stage :: Stage) where ... Source #

Equations

UseType Parsed = TypeExpr
UseType Resolved = RonType

defaultOpaqueAnnotations :: OpaqueAnnotations Source #

defaultStructAnnotations :: StructAnnotations Source #

opaqueAtoms :: Text -> OpaqueAnnotations -> RonType Source #

opaqueAtoms_ :: Text -> RonType Source #

opaqueObject :: Text -> OpaqueAnnotations -> RonType Source #