Safe Haskell	None
Language	Haskell2010

Database.Beam.Migrate.Serialization

Contents

Serialization helpers
Deserialization helpers

Description

Serialization and deserialization helpers for beam data types.

Used to read and write machine-readable schema descriptions.

Synopsis

newtype BeamSerializedDataType = BeamSerializedDataType {
- fromBeamSerializedDataType :: Value
}
newtype BeamSerializedConstraintDefinition = BeamSerializedConstraintDefinition {
- fromBeamSerializedConstraintDefinition :: Value
}
newtype BeamSerializedConstraintAttributes = BeamSerializedConstraintAttributes {
- fromBeamSerializedConstraintAttributes :: [Value]
}
newtype BeamSerializedConstraint = BeamSerializedConstraint {
- fromBeamSerializedConstraint :: Value
}
newtype BeamSerializedMatchType = BeamSerializedMatchType {
- fromBeamSerializedMatchType :: Value
}
newtype BeamSerializedReferentialAction = BeamSerializedReferentialAction {
- fromBeamSerializedReferentialAction :: Value
}
newtype BeamSerializedExpression = BeamSerializedExpression {
- fromBeamSerializedExpression :: Text
}
beamSerializeJSON :: Text -> Value -> Value
serializePrecAndDecimal :: Maybe (Word, Maybe Word) -> Value
newtype BeamDeserializers cmd = BeamDeserializers {
- beamArbitraryDeserializers :: DMap BeamDeserializerLabel BeamDeserializer
}
beamDeserialize :: forall a cmd. Typeable a => BeamDeserializers cmd -> Value -> Parser a
beamDeserializeMaybe :: Typeable a => BeamDeserializers cmd -> Maybe Value -> Parser (Maybe a)
beamDeserializer :: Typeable ty => (forall cmd'. BeamDeserializers cmd' -> Value -> Parser ty) -> BeamDeserializers cmd
sql92Deserializers :: forall cmd. IsSql92DdlCommandSyntax cmd => BeamDeserializers cmd
sql99DataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql99DataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd
sql2003BinaryAndVarBinaryDataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql2003BinaryAndVarBinaryDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd
sql2008BigIntDataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql2008BigIntDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd

Serialization helpers

Below we provide various instances of Beam SQL syntax types that produce an aeson Value that reflects the call tree. This allows us to read back these data types in various syntaxes.

Because these are formatted as standard beam syntaxes, backends can easily serialize their data to disk. For an example of what we mean by this, see the instance of IsSql92DataTypeSyntax for SqliteDataTypeSyntax in beam-sqlite.

newtype BeamSerializedDataType Source #

An IsSql92DataTypeSyntax for JSON. Supports all superclasses of IsSql92DataTypeSyntax declared in beam-core.

Constructors

BeamSerializedDataType
Fields fromBeamSerializedDataType :: Value

Instances

Eq BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedDataType -> BeamSerializedDataType -> Bool # (/=) :: BeamSerializedDataType -> BeamSerializedDataType -> Bool #
Show BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedDataType -> ShowS # show :: BeamSerializedDataType -> String # showList :: [BeamSerializedDataType] -> ShowS #
ToJSON BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods toJSON :: BeamSerializedDataType -> Value # toEncoding :: BeamSerializedDataType -> Encoding # toJSONList :: [BeamSerializedDataType] -> Value # toEncodingList :: [BeamSerializedDataType] -> Encoding #
IsSql2003BinaryAndVarBinaryDataTypeSyntax BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods binaryType :: Maybe Word -> BeamSerializedDataType # varBinaryType :: Maybe Word -> BeamSerializedDataType #
IsSql2008BigIntDataTypeSyntax BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods bigIntType :: BeamSerializedDataType #
IsSql99DataTypeSyntax BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods characterLargeObjectType :: BeamSerializedDataType # binaryLargeObjectType :: BeamSerializedDataType # booleanType :: BeamSerializedDataType # arrayType :: BeamSerializedDataType -> Int -> BeamSerializedDataType # rowType :: [(Text, BeamSerializedDataType)] -> BeamSerializedDataType #
IsSql92DataTypeSyntax BeamSerializedDataType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods domainType :: Text -> BeamSerializedDataType # charType :: Maybe Word -> Maybe Text -> BeamSerializedDataType # varCharType :: Maybe Word -> Maybe Text -> BeamSerializedDataType # nationalCharType :: Maybe Word -> BeamSerializedDataType # nationalVarCharType :: Maybe Word -> BeamSerializedDataType # bitType :: Maybe Word -> BeamSerializedDataType # varBitType :: Maybe Word -> BeamSerializedDataType # numericType :: Maybe (Word, Maybe Word) -> BeamSerializedDataType # decimalType :: Maybe (Word, Maybe Word) -> BeamSerializedDataType # intType :: BeamSerializedDataType # smallIntType :: BeamSerializedDataType # floatType :: Maybe Word -> BeamSerializedDataType # doubleType :: BeamSerializedDataType # realType :: BeamSerializedDataType # dateType :: BeamSerializedDataType # timeType :: Maybe Word -> Bool -> BeamSerializedDataType # timestampType :: Maybe Word -> Bool -> BeamSerializedDataType #

newtype BeamSerializedConstraintDefinition Source #

IsSql92ColumnConstraintDefinitionSyntax type for JSON

Constructors

BeamSerializedConstraintDefinition
Fields fromBeamSerializedConstraintDefinition :: Value

Instances

Eq BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedConstraintDefinition -> BeamSerializedConstraintDefinition -> Bool # (/=) :: BeamSerializedConstraintDefinition -> BeamSerializedConstraintDefinition -> Bool #
Show BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedConstraintDefinition -> ShowS # show :: BeamSerializedConstraintDefinition -> String # showList :: [BeamSerializedConstraintDefinition] -> ShowS #
IsSql92ColumnConstraintDefinitionSyntax BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization Associated Types type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition :: * Source # type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition :: * Source # Methods constraintDefinitionSyntax :: Maybe Text -> Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition -> Maybe (Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition) -> BeamSerializedConstraintDefinition Source #
type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization type Sql92ColumnConstraintDefinitionConstraintSyntax BeamSerializedConstraintDefinition = BeamSerializedConstraint
type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition Source #
Instance details Defined in Database.Beam.Migrate.Serialization type Sql92ColumnConstraintDefinitionAttributesSyntax BeamSerializedConstraintDefinition = BeamSerializedConstraintAttributes

newtype BeamSerializedConstraintAttributes Source #

IsSql92ConstraintAttributesSyntax type for JSON

Constructors

BeamSerializedConstraintAttributes
Fields fromBeamSerializedConstraintAttributes :: [Value]

Instances

Eq BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes -> Bool # (/=) :: BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes -> Bool #
Show BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedConstraintAttributes -> ShowS # show :: BeamSerializedConstraintAttributes -> String # showList :: [BeamSerializedConstraintAttributes] -> ShowS #
Semigroup BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (<>) :: BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes # sconcat :: NonEmpty BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes # stimes :: Integral b => b -> BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes #
Monoid BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods mempty :: BeamSerializedConstraintAttributes # mappend :: BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes -> BeamSerializedConstraintAttributes # mconcat :: [BeamSerializedConstraintAttributes] -> BeamSerializedConstraintAttributes #
IsSql92ConstraintAttributesSyntax BeamSerializedConstraintAttributes Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods initiallyDeferredAttributeSyntax :: BeamSerializedConstraintAttributes Source # initiallyImmediateAttributeSyntax :: BeamSerializedConstraintAttributes Source # notDeferrableAttributeSyntax :: BeamSerializedConstraintAttributes Source # deferrableAttributeSyntax :: BeamSerializedConstraintAttributes Source #

newtype BeamSerializedConstraint Source #

IsSql92ColumnConstraintSyntax type for JSON

Constructors

BeamSerializedConstraint
Fields fromBeamSerializedConstraint :: Value

Instances

Eq BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedConstraint -> BeamSerializedConstraint -> Bool # (/=) :: BeamSerializedConstraint -> BeamSerializedConstraint -> Bool #
Show BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedConstraint -> ShowS # show :: BeamSerializedConstraint -> String # showList :: [BeamSerializedConstraint] -> ShowS #
IsSql92ColumnConstraintSyntax BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization Associated Types type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint :: * Source # type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint :: * Source # type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint :: * Source # Methods notNullConstraintSyntax :: BeamSerializedConstraint Source # uniqueColumnConstraintSyntax :: BeamSerializedConstraint Source # primaryKeyColumnConstraintSyntax :: BeamSerializedConstraint Source # checkColumnConstraintSyntax :: Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint -> BeamSerializedConstraint Source # referencesConstraintSyntax :: Text -> [Text] -> Maybe (Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint) -> Maybe (Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint) -> BeamSerializedConstraint Source #
type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization type Sql92ColumnConstraintMatchTypeSyntax BeamSerializedConstraint = BeamSerializedMatchType
type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization type Sql92ColumnConstraintReferentialActionSyntax BeamSerializedConstraint = BeamSerializedReferentialAction
type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint Source #
Instance details Defined in Database.Beam.Migrate.Serialization type Sql92ColumnConstraintExpressionSyntax BeamSerializedConstraint = BeamSerializedExpression

newtype BeamSerializedMatchType Source #

IsSql92MatchTypeSyntax type for JSON

Constructors

BeamSerializedMatchType
Fields fromBeamSerializedMatchType :: Value

Instances

Eq BeamSerializedMatchType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedMatchType -> BeamSerializedMatchType -> Bool # (/=) :: BeamSerializedMatchType -> BeamSerializedMatchType -> Bool #
Show BeamSerializedMatchType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedMatchType -> ShowS # show :: BeamSerializedMatchType -> String # showList :: [BeamSerializedMatchType] -> ShowS #
IsSql92MatchTypeSyntax BeamSerializedMatchType Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods fullMatchSyntax :: BeamSerializedMatchType Source # partialMatchSyntax :: BeamSerializedMatchType Source #

newtype BeamSerializedReferentialAction Source #

IsSql92ReferentialActionSyntax type for JSON

Constructors

BeamSerializedReferentialAction
Fields fromBeamSerializedReferentialAction :: Value

Instances

Eq BeamSerializedReferentialAction Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedReferentialAction -> BeamSerializedReferentialAction -> Bool # (/=) :: BeamSerializedReferentialAction -> BeamSerializedReferentialAction -> Bool #
Show BeamSerializedReferentialAction Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedReferentialAction -> ShowS # show :: BeamSerializedReferentialAction -> String # showList :: [BeamSerializedReferentialAction] -> ShowS #
IsSql92ReferentialActionSyntax BeamSerializedReferentialAction Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods referentialActionCascadeSyntax :: BeamSerializedReferentialAction Source # referentialActionSetNullSyntax :: BeamSerializedReferentialAction Source # referentialActionSetDefaultSyntax :: BeamSerializedReferentialAction Source # referentialActionNoActionSyntax :: BeamSerializedReferentialAction Source #

newtype BeamSerializedExpression Source #

IsSql92ExpressionSyntax is too complex for us to store in JSON. Additionally, many backends provide substantial amounts of extensions to the syntax that would make storing this highly unfeasible. Expressions are therefore represented as their full text rendering.

This means that expressions only match as equal if they match exactly. While this may seem overly pedantic, it's not much of a concern if your migrations are generated solely by beam-migrate. If you've modified the schema yourself, you may have to use IsCustomSqlSyntax to provide an exact expression.

Constructors

BeamSerializedExpression
Fields fromBeamSerializedExpression :: Text

Instances

Eq BeamSerializedExpression Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (==) :: BeamSerializedExpression -> BeamSerializedExpression -> Bool # (/=) :: BeamSerializedExpression -> BeamSerializedExpression -> Bool #
Show BeamSerializedExpression Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods showsPrec :: Int -> BeamSerializedExpression -> ShowS # show :: BeamSerializedExpression -> String # showList :: [BeamSerializedExpression] -> ShowS #

beamSerializeJSON :: Text -> Value -> Value Source #

Some backends serialize data that can only be read by that backend. If so, they should wrap these data in beamSerializeJSON, which provides a standard syntax for specifying backend specific data, as well as which backend the data are valid for.

The first argument is a string that is unique to a given backend

serializePrecAndDecimal :: Maybe (Word, Maybe Word) -> Value Source #

Helper for serializing the precision and decimal count parameters to decimalType, etc.

Deserialization helpers

Deserialization requires that knowledge of every type of data we can deserialize is stored in one place. While this is not much of an issue when compiling full Haskell applications, due to the type class mechanism, beam-migrate tools load backends dynamically. This means that we need a separate way to discover deserialization instances for types we care about.

Values of the BeamDeserializers type represent a set of deserializers all related to one kind of command syntax. You can ask for the deserializers to deserialize any type from an aeson Value. The deserialization will succeed only if a deserializer for the requested type exists and the deserializer was able to parse the Value.

BeamDeserializers compose monoidally. Thus, you can extend any BeamDeserializers with your own custom deserializers, by mappending it with a new BeamDeserializers, created by calling beamDeserializer.

newtype BeamDeserializers cmd Source #

Provides a collection of deserializers from aeson Values for arbitrary types. The cmd type parameter is a phantom type parameter. Notionally, all deserializers within this BeamDeserializers relate to the cmd syntax.

Constructors

BeamDeserializers
Fields beamArbitraryDeserializers :: DMap BeamDeserializerLabel BeamDeserializer

Instances

Semigroup (BeamDeserializers cmd) Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods (<>) :: BeamDeserializers cmd -> BeamDeserializers cmd -> BeamDeserializers cmd # sconcat :: NonEmpty (BeamDeserializers cmd) -> BeamDeserializers cmd # stimes :: Integral b => b -> BeamDeserializers cmd -> BeamDeserializers cmd #
Monoid (BeamDeserializers cmd) Source #
Instance details Defined in Database.Beam.Migrate.Serialization Methods mempty :: BeamDeserializers cmd # mappend :: BeamDeserializers cmd -> BeamDeserializers cmd -> BeamDeserializers cmd # mconcat :: [BeamDeserializers cmd] -> BeamDeserializers cmd #

beamDeserialize :: forall a cmd. Typeable a => BeamDeserializers cmd -> Value -> Parser a Source #

Deserialize the requested type from the given deserializers and aeson Value.

beamDeserializeMaybe :: Typeable a => BeamDeserializers cmd -> Maybe Value -> Parser (Maybe a) Source #

Helper function to deserialize data from a Maybe Value.

beamDeserializeMaybe _ Nothing = pure Nothing
beamDeserializeMaybe d (Just v) = Just $ beamDeserialize d v

beamDeserializer :: Typeable ty => (forall cmd'. BeamDeserializers cmd' -> Value -> Parser ty) -> BeamDeserializers cmd Source #

sql92Deserializers :: forall cmd. IsSql92DdlCommandSyntax cmd => BeamDeserializers cmd Source #

Deserializers for SQL92 syntaxes

sql99DataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql99DataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd Source #

Deserializes data types that are instances of IsSql99DataTypeSyntax

sql2003BinaryAndVarBinaryDataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql2003BinaryAndVarBinaryDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd Source #

Deserialize data types that are instances of IsSql2003BinaryAndVarBinaryDataTypeSyntax

sql2008BigIntDataTypeDeserializers :: forall cmd. (IsSql92DdlCommandSyntax cmd, IsSql2008BigIntDataTypeSyntax (Sql92DdlCommandDataTypeSyntax cmd)) => BeamDeserializers cmd Source #

Deserialize data types that are instance of IsSql2008BigIntDataTypeSyntax