Safe Haskell	None
Language	Haskell2010

RON.Schema

Synopsis

newtype Declaration = DStructLww StructLww
data Field = Field {
- fieldType :: RonType
- fieldAnnotations :: FieldAnnotations
}
data FieldAnnotations = FieldAnnotations
newtype OpaqueAnnotations = OpaqueAnnotations {
- oaHaskellType :: Maybe Text
}
data RonType
- = TAtom TAtom
- | TComposite TComposite
- | TObject TObject
- | TOpaque TOpaque
type Schema = [Declaration]
data StructAnnotations = StructAnnotations {
- saHaskellDeriving :: Set Text
- saHaskellFieldPrefix :: Text
}
data StructLww = StructLww {
- structName :: Text
- structFields :: Map Text Field
- structAnnotations :: StructAnnotations
}
data TAtom
- = TAInteger
- | TAString
newtype TComposite = TOption RonType
data TObject
- = TORSet RonType
- | TRga RonType
- | TStructLww StructLww
- | TVersionVector
data TOpaque = Opaque {
- opaqueIsObject :: Bool
- opaqueAnnotations :: OpaqueAnnotations
}
atomInteger :: RonType
atomString :: RonType
boole :: RonType
char :: RonType
def :: Default a => a
field :: RonType -> Field
opaqueAtoms :: OpaqueAnnotations -> RonType
opaqueObject :: OpaqueAnnotations -> RonType
option :: RonType -> RonType
orSet :: RonType -> RonType
rgaString :: RonType
structLww :: StructLww -> RonType
versionVector :: RonType

Documentation

newtype Declaration Source #

Constructors

DStructLww StructLww

data Field Source #

Constructors

Field
Fields fieldType :: RonType fieldAnnotations :: FieldAnnotations

Instances

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

data FieldAnnotations Source #

Constructors

FieldAnnotations

Instances

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

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 #
Default OpaqueAnnotations Source #
Instance details Defined in RON.Schema Methods def :: OpaqueAnnotations #

data RonType Source #

Constructors

TAtom TAtom
TComposite TComposite
TObject TObject
TOpaque TOpaque

Instances

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

type Schema = [Declaration] Source #

data StructAnnotations Source #

Constructors

StructAnnotations
Fields saHaskellDeriving :: Set Text saHaskellFieldPrefix :: Text

Instances

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

data StructLww Source #

Constructors

StructLww
Fields structName :: Text structFields :: Map Text Field structAnnotations :: StructAnnotations

Instances

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

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 #

newtype TComposite Source #

Constructors

TOption RonType

Instances

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

data TObject Source #

Constructors

TORSet RonType
TRga RonType
TStructLww StructLww
TVersionVector

Instances

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

data TOpaque Source #

Constructors

Opaque
Fields opaqueIsObject :: Bool opaqueAnnotations :: OpaqueAnnotations

Instances

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

atomInteger :: RonType Source #

atomString :: RonType Source #

boole :: RonType Source #

char :: RonType Source #

def :: Default a => a #

The default value for this type.

field :: RonType -> Field Source #

opaqueAtoms :: OpaqueAnnotations -> RonType Source #

opaqueObject :: OpaqueAnnotations -> RonType Source #

option :: RonType -> RonType Source #

orSet :: RonType -> RonType Source #

rgaString :: RonType Source #

structLww :: StructLww -> RonType Source #

versionVector :: RonType Source #