Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Alias stage = Alias {}
- data CaseTransform = TitleCase
- data Declaration stage
- = DAlias (Alias stage)
- | DEnum TEnum
- | DOpaque Opaque
- | DStructLww (StructLww stage)
- | DStructSet (StructSet stage)
- data Field (stage :: Stage) = Field {
- ronType :: UseType stage
- annotations :: FieldAnnotations
- ext :: XField stage
- type family XField (stage :: Stage)
- newtype FieldAnnotations = FieldAnnotations {}
- defaultFieldAnnotations :: FieldAnnotations
- data MergeStrategy
- data Opaque = Opaque {
- isObject :: Bool
- name :: Text
- annotations :: OpaqueAnnotations
- opaqueAtoms :: Text -> OpaqueAnnotations -> RonType
- opaqueAtoms_ :: Text -> RonType
- opaqueObject :: Text -> OpaqueAnnotations -> RonType
- newtype OpaqueAnnotations = OpaqueAnnotations {
- haskellType :: Maybe Text
- defaultOpaqueAnnotations :: OpaqueAnnotations
- data RonType
- type family Schema (stage :: Stage) where ...
- data Stage
- data Struct (encoding :: StructEncoding) stage = Struct {
- name :: Text
- fields :: Map Text (Field stage)
- annotations :: StructAnnotations
- data StructAnnotations = StructAnnotations {}
- defaultStructAnnotations :: StructAnnotations
- data StructEncoding
- type StructLww = Struct SELww
- type StructSet = Struct SESet
- data TAtom
- newtype TComposite = TEnum TEnum
- data TEnum = Enum {}
- data TObject
- data TypeExpr
- type TypeName = Text
- type family UseType (stage :: Stage) where ...
Documentation
data CaseTransform Source #
Instances
Show CaseTransform Source # | |
Defined in RON.Schema showsPrec :: Int -> CaseTransform -> ShowS # show :: CaseTransform -> String # showList :: [CaseTransform] -> ShowS # | |
FromEDN CaseTransform Source # | |
Defined in RON.Schema.EDN parseEDN :: TaggedValue -> Parser CaseTransform # parseEDNv :: Value -> Parser CaseTransform # |
data Declaration stage Source #
DAlias (Alias stage) | |
DEnum TEnum | |
DOpaque Opaque | |
DStructLww (StructLww stage) | |
DStructSet (StructSet stage) |
Instances
(Show (UseType stage), Show (XField stage)) => Show (Declaration stage) Source # | |
Defined in RON.Schema showsPrec :: Int -> Declaration stage -> ShowS # show :: Declaration stage -> String # showList :: [Declaration stage] -> ShowS # | |
FromEDN (Declaration Parsed) Source # | |
Defined in RON.Schema.EDN parseEDN :: TaggedValue -> Parser (Declaration Parsed) # |
data Field (stage :: Stage) Source #
Field | |
|
newtype FieldAnnotations Source #
Instances
Show FieldAnnotations Source # | |
Defined in RON.Schema showsPrec :: Int -> FieldAnnotations -> ShowS # show :: FieldAnnotations -> String # showList :: [FieldAnnotations] -> ShowS # | |
FromEDN FieldAnnotations Source # | |
Defined in RON.Schema.EDN parseEDN :: TaggedValue -> Parser FieldAnnotations # parseEDNv :: Value -> Parser FieldAnnotations # |
data MergeStrategy Source #
Instances
Show MergeStrategy Source # | |
Defined in RON.Schema showsPrec :: Int -> MergeStrategy -> ShowS # show :: MergeStrategy -> String # showList :: [MergeStrategy] -> ShowS # | |
FromEDN MergeStrategy Source # | |
Defined in RON.Schema.EDN parseEDN :: TaggedValue -> Parser MergeStrategy # parseEDNv :: Value -> Parser MergeStrategy # |
Opaque | |
|
opaqueAtoms :: Text -> OpaqueAnnotations -> RonType Source #
opaqueAtoms_ :: Text -> RonType Source #
opaqueObject :: Text -> OpaqueAnnotations -> RonType Source #
newtype OpaqueAnnotations Source #
Instances
Show OpaqueAnnotations Source # | |
Defined in RON.Schema showsPrec :: Int -> OpaqueAnnotations -> ShowS # show :: OpaqueAnnotations -> String # showList :: [OpaqueAnnotations] -> ShowS # |
data Struct (encoding :: StructEncoding) stage Source #
Struct | |
|
data StructAnnotations Source #
Instances
Show StructAnnotations Source # | |
Defined in RON.Schema showsPrec :: Int -> StructAnnotations -> ShowS # show :: StructAnnotations -> String # showList :: [StructAnnotations] -> ShowS # | |
FromEDN StructAnnotations Source # | |
Defined in RON.Schema.EDN |
data StructEncoding Source #
newtype TComposite Source #
TODO(2019-08-04, cblp) do we need is as a group?
Instances
Show TComposite Source # | |
Defined in RON.Schema showsPrec :: Int -> TComposite -> ShowS # show :: TComposite -> String # showList :: [TComposite] -> ShowS # |